Taisuke Sato
Taisuke Sato
AIST/NII
Verified email at aist.go.jp
Title
Cited by
Cited by
Year
Unfold/fold transformation of logic programs
H Tamaki, T Sato
Proceedings of the Second International Conference on Logic Programming 127, 138, 1984
6461984
OLD resolution with tabulation
H Tamaki, T Sato
Third International Conference on Logic Programming, 84-98, 1986
6011986
A statistical learning method for logic programs with distribution semantics
T Sato
Proceedings of the 12th International Conference on Logic Programming (ICLP …, 1995
435*1995
Parameter learning of logic programs for symbolic-statistical modeling
T Sato, Y Kameya
Journal of Artificial Intelligence Research 15, 391-454, 2001
3242001
PRISM: a language for symbolic-statistical modeling
T Sato, Y Kameya
International Joint Conference on Artificial Intelligence 15, 1330-1339, 1997
2281997
Genetic programming using a minimum description length principle
H Iba, H De Garis, T Sato
Advances in genetic programming 1, 265-284, 1994
2191994
System identification using structured genetic algorithms
H Iba, T Kurita, H Garis, T Sato
Proceedings of the 5th International Conference on Genetic Algorithms, 279-286, 1993
1471993
A numerical approach to genetic programming for system identification
H Iba, H deGaris, T Sato
Evolutionary computation 3 (4), 417-452, 1995
1171995
Enumeration of success patterns in logic programs
T Sato, H Tamaki
Theoretical Computer Science 34 (1-2), 227-240, 1984
951984
PRISM: A symbolic-statistical modeling language
T Sato
Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence, 1330-1335, 1997
941997
Transformational logic program synthesis
T Sato, H Tamaki
International Conference on Fifth Generation Computer Systems, 195-201, 1984
911984
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
872003
Completed logic programs and their consistency
T Sato
The Journal of Logic Programming 9 (1), 33-44, 1990
661990
Variational Bayesian grammar induction for natural language
K Kurihara, T Sato
International Colloquium on Grammatical Inference, 84-96, 2006
652006
New advances in logic-based probabilistic modeling by PRISM
T Sato, Y Kameya
Probabilistic inductive logic programming, 118-155, 2008
642008
Evaluating abductive hypotheses using an EM algorithm on BDDs
K Inoue, T Sato, M Ishihata, Y Kameya, H Nabeshima
Twenty-First International Joint Conference on Artificial Intelligence, 2009
582009
Efficient EM learning with tabulation for parameterized logic programs
Y Kameya, T Sato
International Conference on Computational Logic, 269-284, 2000
572000
System identification approach to genetic programming
H Iba, T Sato, H de Garis
Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE …, 1994
521994
Linear tabling strategies and optimizations
NF Zhou, T Sato, YD Shen
Theory and Practice of Logic programming 8 (1), 81-109, 2008
512008
Generative Modeling with Failure in PRISM.
T Sato, Y Kameya, NF Zhou
IJCAI, 847-852, 2005
492005
The system can't perform the operation now. Try again later.
Articles 1–20