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
6541984
OLD resolution with tabulation
H Tamaki, T Sato
Third International Conference on Logic Programming, 84-98, 1986
6081986
A statistical learning method for logic programs with distribution semantics
T Sato
Proceedings of the 12th International Conference on Logic Programming (ICLP …, 1995
4111995
Parameter learning of logic programs for symbolic-statistical modeling
T Sato, Y Kameya
Journal of Artificial Intelligence Research 15, 391-454, 2001
3152001
PRISM: a language for symbolic-statistical modeling
T Sato, Y Kameya
International Joint Conference on Artificial Intelligence 15, 1330-1339, 1997
2461997
Genetic programming using a minimum description length principle
H Iba, H De Garis, T Sato
Advances in genetic programming 1, 265-284, 1994
2131994
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
1451993
A numerical approach to genetic programming for system identification
H Iba, H deGaris, T Sato
Evolutionary computation 3 (4), 417-452, 1995
1121995
Transformational logic program synthesis
T Sato, H Tamaki
International Conference on Fifth Generation Computer Systems, 195-201, 1984
961984
Enumeration of success patterns in logic programs
T Sato, H Tamaki
Theoretical Computer Science 34 (1-2), 227-240, 1984
961984
PRISM: A symbolic-statistical modeling language
T Sato
Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence, 1330-1335, 1997
891997
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
882003
Completed logic programs and their consistency
T Sato
The Journal of Logic Programming 9 (1), 33-44, 1990
651990
New advances in logic-based probabilistic modeling by PRISM
T Sato, Y Kameya
Probabilistic inductive logic programming, 118-155, 2008
622008
Variational Bayesian grammar induction for natural language
K Kurihara, T Sato
International Colloquium on Grammatical Inference, 84-96, 2006
612006
Efficient EM learning with tabulation for parameterized logic programs
Y Kameya, T Sato
International Conference on Computational Logic, 269-284, 2000
582000
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
562009
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
arXiv preprint arXiv:0705.3468, 2007
502007
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