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 |
| Lunch | |
| 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
076-247-6131
*2 KKR Hotel Kanazawa
2-32, Otemachi, Kanazawa, Ishikawa
076-264-3261
Takehide Soh (E-mail soh at nii.ac.jp)