Unfold/fold transformation of logic programs H Tamaki, T Sato Proceedings of the Second International Conference on Logic Programming 127, 138, 1984 | 712 | 1984 |
OLD resolution with tabulation H Tamaki, T Sato Third International Conference on Logic Programming, 84-98, 1986 | 646 | 1986 |
A statistical learning method for logic programs with distribution semantics T Sato Proceedings of the 12th International Conference on Logic Programming (ICLP …, 1995 | 574 | 1995 |
Parameter learning of logic programs for symbolic-statistical modeling T Sato, Y Kameya Journal of Artificial Intelligence Research 15, 391-454, 2001 | 352 | 2001 |
PRISM: a language for symbolic-statistical modeling T Sato, Y Kameya International Joint Conference on Artificial Intelligence 15, 1330-1339, 1997 | 291 | 1997 |
Genetic programming using a minimum description length principle H Iba, H De Garis, T Sato Advances in genetic programming 1, 265-284, 1994 | 238* | 1994 |
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 | 153 | 1993 |
A numerical approach to genetic programming for system identification H Iba, H deGaris, T Sato Evolutionary computation 3 (4), 417-452, 1995 | 140 | 1995 |
Enumeration of success patterns in logic programs T Sato, H Tamaki Automata, Languages and Programming, 640-652, 1983 | 111 | 1983 |
Efficient fixpoint computation in linear tabling NF Zhou, T Sato Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 104 | 2003 |
PRISM: A symbolic-statistical modeling language T Sato Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence, 1330-1335, 1997 | 101 | 1997 |
Transformational logic program synthesis T Sato, H Tamaki International Conference on Fifth Generation Computer Systems, 195-201, 1984 | 99 | 1984 |
Variational Bayesian grammar induction for natural language K Kurihara, T Sato International Colloquium on Grammatical Inference, 84-96, 2006 | 73 | 2006 |
Completed logic programs and their consistency T Sato The Journal of Logic Programming 9 (1), 33-44, 1990 | 70 | 1990 |
New advances in logic-based probabilistic modeling by PRISM T Sato, Y Kameya Probabilistic Inductive Logic Programming: Theory and Applications, 118-155, 2008 | 69 | 2008 |
System identification approach to genetic programming H Iba, T Sato, H de Garis Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE …, 1994 | 65 | 1994 |
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. K Inoue, T Sato, M Ishihata, Y Kameya, H Nabeshima IJCAI, 810-815, 2009 | 64 | 2009 |
Linear tabling strategies and optimizations NF Zhou, T Sato, YD Shen Theory and Practice of Logic programming 8 (1), 81-109, 2008 | 56 | 2008 |
Efficient EM learning with tabulation for parameterized logic programs Y Kameya, T Sato Computational Logic—CL 2000: First International Conference London, UK …, 2000 | 56 | 2000 |
Propositionalizing the EM algorithm by BDDs M Ishihata, Y Kameya, T Sato, S Minato Transactions of the Japanese Society for Artificial Intelligence 25 (3), 475-484, 2010 | 54 | 2010 |