Follow
Taisuke Sato
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
7021984
OLD resolution with tabulation
H Tamaki, T Sato
Third International Conference on Logic Programming, 84-98, 1986
6331986
A statistical learning method for logic programs with distribution semantics
T Sato
Proceedings of the 12th International Conference on Logic Programming (ICLP …, 1995
5131995
Parameter learning of logic programs for symbolic-statistical modeling
T Sato, Y Kameya
Journal of Artificial Intelligence Research 15, 391-454, 2001
3412001
PRISM: a language for symbolic-statistical modeling
T Sato, Y Kameya
International Joint Conference on Artificial Intelligence 15, 1330-1339, 1997
2701997
Genetic programming using a minimum description length principle
H Iba, H De Garis, T Sato
Advances in genetic programming 1, 265-284, 1994
2291994
System identification using structured genetic algorithms
H Iba
Proc. 5th Int'l Conf. on Genetic Algorithms, Illinois, USA, 279-286, 1993
1511993
A numerical approach to genetic programming for system identification
H Iba, H deGaris, T Sato
Evolutionary computation 3 (4), 417-452, 1995
1281995
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1132003
Enumeration of success patterns in logic programs
T Sato, H Tamaki
Theoretical Computer Science 34 (1-2), 227-240, 1984
1051984
PRISM: A symbolic-statistical modeling language
T Sato
Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence, 1330-1335, 1997
1001997
Transformational logic program synthesis
T Sato, H Tamaki
International Conference on Fifth Generation Computer Systems, 195-201, 1984
941984
Variational Bayesian grammar induction for natural language
K Kurihara, T Sato
ICGI 4201, 84-96, 2006
722006
Completed logic programs and their consistency
T Sato
The Journal of Logic Programming 9 (1), 33-44, 1990
681990
New advances in logic-based probabilistic modeling by PRISM
T Sato, Y Kameya
Probabilistic Inductive Logic Programming: Theory and Applications, 118-155, 2008
662008
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
622009
System identification approach to genetic programming
H Iba, T Sato, H de Garis
Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE …, 1994
611994
Efficient EM learning with tabulation for parameterized logic programs
Y Kameya, T Sato
Computational Logic—CL 2000: First International Conference London, UK …, 2000
572000
Linear tabling strategies and optimizations
NF Zhou, T Sato, YD Shen
Theory and Practice of Logic programming 8 (1), 81-109, 2008
562008
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
512010
The system can't perform the operation now. Try again later.
Articles 1–20