March 14-15, 2011
Nanki-Shirahama-Onsen Shirahama Gyoen
1011 Shirahama-cho, Nishimuro-gun, Wakayama, 649-2211,
Japan
(Local Information)
| Katsumi Inoue | National Institute of Informatics, Japan |
| Taisuke Sato | 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 |
| Andrei Doncescu | LAAS-CNRS, France |
| Gauvain Bourgne | National Institute of Informatics, Japan |
| Lena Wiese | National Institute of Informatics, Japan |
| Johannes Oetsch | Vienna University of Technology, Austria |
| Barthélémy Dworkin | Université Paul Sabatier, France |
| Masakazu Ishihata | Tokyo Institute of Technology, Japan |
| Toshiaki Hirohashi | Tokyo Institute of Technology, Japan |
| Kenshiro Suzuki | University of Yamanashi, Japan |
| Yuki Kidoku | University of Yamanashi, Japan |
| Takumi Muramatsu | University of Yamanashi, Japan |
| Takehide Soh | The Graduate University for Advanced Studies, Japan |
14th (Monday)
| 9:20 - 9:30 | Opening |
| Session 1: Induction / Abduction | |
| 9:30 - 10:00 |
Survey of Inductive Methods based on Bottom and Top Theories
Katsumi Inoue [slide] |
| 10:00 - 10:30 |
Towards Pathway Completion on Glucose Repression by SOLAR
Yoshitaka Yamamoto [slide] |
| 10:30 - 11:00 |
Informative Answers for Horn Clause Theories and
Conjunctive Queries
Lena Wiese* and Katsumi Inoue |
| 11:00 - 11:30 |
Partition-based Consequence Finding in Biological Networks
Gauvain Bourgne* and Katsumi Inoue [slide] |
| Session 2: Systems Biology | |
| 13:30 - 14:00 |
Hypothesis Finding on the p53 Pathway
Andrei Doncescu [slide] |
| 14:00 - 14:30 |
Predicting Gene Knockout Effects by Minimal Pathway
Finding
Takehide Soh* and Katsumi Inoue [slide] |
| Session 3: Probabilistic/Nonmonotonic Reasoning | |
| 14:30 - 15:00 |
On Testing Answer-set Programs
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch*, Jörg Pührer and Hans Tompits [slide] |
| 15:30 - 16:00 |
The Many Faces of Deception
Chiaki Sakama [slide] |
| 16:00 - 16:30 |
Evaluating Abductive Hypotheses using Logic-based Probabilistic Models with Bayesian Inference
Masakazu Ishihata [slide] |
| 16:30 - 17:00 |
On acyclic Bayesian networks (in Japanese)
Toshiaki Hirohashi [slide] |
15th (Tuesday)
| Session 4: Theorem Proving | |
| 9:30 - 10:00 |
Equality Reasoning Based on Ordered Modification
Method and Restart Connection Tableaux (in Japanese)
Koji Iwanuma |
| 10:00 - 10:30 |
A SAT Solver based on SOL Tableau Calculus (Preliminary Report) (in Japanese)
Kenshiro Suzuki [slide] |
| 10:30 - 11:00 |
A Divide-and-Conquer Strategy for SOL Tableau Calculus (in Japanese)
Yuki Kidoku [slide] |
| 11:00 - 11:30 |
A Portfolio Strategy for the Consequence Finding System SOLAR (in Japanese)
Takumi Muramatsu [slide] |
| 11:30 - 12:00 | Discussion |