J-GLOBAL         Last updated: Jul 24, 2015 at 15:25
Doctor of Engineering
Research funding number

Research Interests


Research Areas


Academic & Professional Experience

Professor, Tokyo Institute of Technology Graduate School of Information Science and Engineering, Department of Computer Science, Graduate School of Information Science and Engineering Computer Science


Graduate School, Division of Science and Engineering, Tokyo Institute of Technology

Awards & Honors

Distinguished Research Award, Association for Logic Programming
Best Paper Restropective Award, Association for Logic Programming

Published Papers

Taisuke Sato,Philipp Meyer
TPLP   14(6) 909-937   2014   [Refereed]
Taisuke Sato,Keiichi Kubota,Yoshitaka Kameya
CoRR   abs/1410.3935    2014   [Refereed]
Taisuke Sato,Keiichi Kubota
CoRR   abs/1303.5659    2013   [Refereed]
Yoshitaka Kameya,Taisuke Sato
Proceedings of the Twelfth SIAM International Conference on Data Mining, Anaheim, California, USA, April 26-28, 2012.   816-827   2012   [Refereed]
Taisuke Sato,Masakazu Ishihata,Katsumi Inoue
Machine Learning   83(2) 241-264   2011   [Refereed]
Masakazu Ishihata,Taisuke Sato,Shin-ichi Minato
AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings   203-212   2011   [Refereed]
Gabriel Synnaeve,Katsumi Inoue,Andrei Doncescu,Hidetomo Nabeshima,Yoshitaka Kameya,Masakazu Ishihata,Taisuke Sato
BIOINFORMATICS 2011 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Rome, Italy, 26-29 January, 2011   47-54   2011   [Refereed]
Yoshitaka Kameya,Satoru Nakamura,Tatsuya Iwasaki,Taisuke Sato
IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011   873-875   2011   [Refereed]
Taisuke Sato
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011   1472-1477   2011   [Refereed]
Masakazu Ishihata,Yoshitaka Kameya,Taisuke Sato
Inductive Logic Programming - 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers   189-203   2011   [Refereed]


Sato, T., Kameya, Y., Kurihara, K.
Annals of Mathematics and Artificial Intelligence   54(1-3) 135-158   2009
Efficient Fixpoint Computation in Linear Tabling
Zhou Neng-Fa Sato Taisuke
Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2003)   275-283   2003
A New Perspective of PRISM Relational Modeling
Sato Taisuke Zhou Neng-Fa
Proceedings of IJCAI-03 workshop on Learning Statistical Models from Relational Data (SRL2003)   133-139   2003
Toward logical-probabilistic modeling of complex systems
Sato, T. Motomura, Y.
Proc. of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet      2002
Parameter Learning of Logic Programs for Symbolic-statistical Modeling
Sato, T. Kameya, Y.
Journal of Artificial Intelligence Research   15 391-454   2001

Books etc

Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future
Springer   2002   

Conference Activities & Talks

Generative modeling by PRISM
The 25th International Conference on Logic Programming (ICLP-2009),   2009   
Evaluating abductive hypotheses using an EM algorithm on BDDs
The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)   2009   
Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs
Proceedings of the 20th International Joint Conference on Artificial Intelligence   2007   
Inside-outside probability computation for belief propagation
Proceedings of the 20th International Joint Conference on Artificial Intelligence   2007   
Parallel EM Learning for Symbolic-Statistical Models
Proceedings of the International Workshop on Data-Mining and Statistical Science   2006   

Research Grants & Projects

symbolic-statistical modeling
statistical parsing
inductive logic programming