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
7091984
OLD resolution with tabulation
H Tamaki, T Sato
Third International Conference on Logic Programming, 84-98, 1986
6491986
A statistical learning method for logic programs with distribution semantics
T Sato
Proceedings of the 12th International Conference on Logic Programming (ICLP …, 1995
5741995
Parameter learning of logic programs for symbolic-statistical modeling
T Sato, Y Kameya
Journal of Artificial Intelligence Research 15, 391-454, 2001
3512001
PRISM: a language for symbolic-statistical modeling
T Sato, Y Kameya
International Joint Conference on Artificial Intelligence 15, 1330-1339, 1997
2911997
Genetic programming using a minimum description length principle
H Iba, H De Garis, T Sato
Advances in genetic programming 1, 265-284, 1994
235*1994
System identification using structured genetic algorithms
H Iba
Proc. 5th Int'l Conf. on Genetic Algorithms, Illinois, USA, 279-286, 1993
1541993
A numerical approach to genetic programming for system identification
H Iba, H deGaris, T Sato
Evolutionary computation 3 (4), 417-452, 1995
1371995
Enumeration of success patterns in logic programs
T Sato, H Tamaki
Automata, Languages and Programming, 640-652, 1983
1081983
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1062003
PRISM: A symbolic-statistical modeling language
T Sato
Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence, 1330-1335, 1997
1031997
Transformational logic program synthesis
T Sato, H Tamaki
International Conference on Fifth Generation Computer Systems, 195-201, 1984
981984
Variational Bayesian grammar induction for natural language
K Kurihara, T Sato
International Colloquium on Grammatical Inference, 84-96, 2006
732006
New advances in logic-based probabilistic modeling by PRISM
T Sato, Y Kameya
Probabilistic Inductive Logic Programming: Theory and Applications, 118-155, 2008
692008
System identification approach to genetic programming
H Iba, T Sato, H de Garis
Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE …, 1994
691994
Completed logic programs and their consistency
T Sato
The Journal of Logic Programming 9 (1), 33-44, 1990
691990
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.
K Inoue, T Sato, M Ishihata, Y Kameya, H Nabeshima
IJCAI, 810-815, 2009
642009
Linear tabling strategies and optimizations
NF Zhou, T Sato, YD Shen
Theory and Practice of Logic programming 8 (1), 81-109, 2008
572008
Efficient EM learning with tabulation for parameterized logic programs
Y Kameya, T Sato
Computational Logic—CL 2000: First International Conference London, UK …, 2000
572000
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
542010
The system can't perform the operation now. Try again later.
Articles 1–20