The 2008-2011 JSPS Grant-in-Aid for Scientific Research (A)

Inference-based Hypothesis-finding and
its Application to Systems Biology

The 8th Meeting


March 8-9, 2012


The KANAZAWA Chamber of Commerce and Industry
9-13 Oyama-cho, Kanazawa-city, 920-8639, Japan


Katsumi Inoue National Institute of Informatics, Japan
Taisuke Sato Tokyo Institute of Technology, Japan
Susumu Kunifuji Japan Advanced Institute of Science and Technology, Japan
Andrei Doncescu LAAS-CNRS, France
Yoshitaka Kameya Tokyo Institute of Technology, Japan
Chiaki Sakama Wakayama University, Japan
Koji Iwanuma University of Yamanashi, Japan
Hidetomo Nabeshima University of Yamanashi, Japan
Yoshitaka Yamamoto University of Yamanashi, Japan
Gauvain Bourgne National Institute of Informatics, Japan
Masakazu Ishihata Tokyo Institute of Technology, Japan
Kenshiro Suzuki University of Yamanashi, Japan
Yuki Kidoku University of Yamanashi, Japan
Masahiro Yamaguchi Tokyo Institute of Technology, Japan
Folschette Maxime École Centrale de Nantes, France
Tony Ribeiro Université d'Angers, France
Le Thi Anh Thu Pham Ho Chi Minh City University of Information Technology, Vietnam
Teeradaj Racharak Asian Institute of Technology, Thailand
Takehide Soh Transdisciplinary Research Integration Center, Japan


7th (Wednesday)

19:00-21:00 Reception (Discussion with Prof. Kunifuji) *1

8th (Thursday)

10:00 - 10:40 Emergent Knowledge Processes in Systems Biology
Andrei Doncescu
10:50 - 11:20 Modelling and Analysis of Large Biological Regulatory Networks thanks to the Process Hitting Framework
Folschette Maxime, Olivier Roux, and Morgan Magnin
11:20 - 11:50 Predicting Double Gene Knockout Effects by Minimal Pathway Enumeration
Takehide Soh and Katsumi Inoue
13:30 - 14:00 Viterbi Training in PRISM
Yoshitaka Kameya
14:00 - 14:30 Multi-mode Bayesian Learning in PRISM
Taisuke Sato
Short Break
15:00 - 15:30 Bayesian Networks and BDDs
Masakazu Ishihata
15:30 - 16:00 Partition-Based Incremental Consequence Finding - Application to Accessibility Problems in Biological Networks
Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet
Short Break
16:30 - 17:00 A Collaborative Planning System using HTN and Logic Programming
Teeradaj Racharak
17:00 - 17:30 A Heuristic Search for Inverse Subsumption
Yoshitaka Yamamoto
18:30-20:30 Dinner*2

9th (Friday)

10:00 - 10:30 A Logical Formulation for Negotiation among Dishonest Agents
Chiaki Sakama, Tran Cao Son, and Enrico Pontelli
10:30 - 11:00 結論発見システムSOLARの分割統治法に基づく高速化 (in Japanese)
Yuki Kidoku and Hidetomo Nabeshima
11:00 - 11:30 充足可能性判定器に基づく命題論理の結論発見手法 (in Japanese)
Kenshiro Suzuki, Hidetomo Nabeshima and Koji Iwanuma
11:30 - 12:00 Parameter Learning using Slice Sampling in Symbolic Probabilistic Models (in Japanese)
Masahiro Yamaguchi and Taisuke Sato
12:00 - 12:30 Discussion

*1 Terakiya
1-1-1, Nomachi, Kanazawa, Ishikawa
*2 KKR Hotel Kanazawa
2-32, Otemachi, Kanazawa, Ishikawa


Takehide Soh (E-mail soh at

Back to Project Home
Webmaster: Takehide Soh (E-mail soh at