Welcome to the Sato Laboratory's website.
Please click the menu above for more information.
- Taisuke Sato received the Distinguished Research Award for his work on OLDT Resolution (done jointly with Hisao Tamaki) at ICLP2012 (Sep. 6, 2012).
- Gabriel Synnaeve received the Best Student Paper Award on the paper (Feb. 5, 2011):
Synnaeve, G., Inoue, K., Doncescu, A., Nabeshima, H., Kameya, Y., Ishihata, M. and Sato, T.:
Kinetic models and qualitative abstraction for relational
learning in systems biology.
Proceedings of the International Conference on Bioinformatics Models, Methods and
- PRISM, a programming language/system for symbolic-statistical modeling,
is downloadable from
- Version 2.1 was released on Sept. 1, 2012.
Last Update: Sept. 1, 2012