September 12-13, 2011
Meeting Room 103 on the 1st floor,
Matsumoto Hotel Kagetsu
4-8-9 Oote Matsumoto Nagano 390-0874, Japan
(Local Information)
| Katsumi Inoue | National Institute of Informatics, Japan |
| Taisuke Sato | Tokyo Institute of Technology, Japan |
| 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 |
| Lena Wiese | National Institute of Informatics, Japan |
| Masahiro Yamaguchi | Tokyo Institute of Technology, Japan |
| Nam Dang | National Institute of Informatics, Japan |
| Maheen Bakhtyar | Asian Institute of Technology, Thailand |
| Takehide Soh | The Graduate University for Advanced Studies, Japan |
12th (Monday)
| Session 1: Induction | |
| 10:30 - 11:10 |
DNA Hypotheses for Explanatory Induction
Katsumi Inoue [slide] |
| 11:10 - 11:50 |
Comparison of Upward and Downward Generalization in CF-induction
Yoshitaka Yamamoto*, Katsumi Inoue and Koji Iwanuma, [slide] |
| Session 2: Abduction | |
| 13:30 - 14:10 |
Dishonest Reasoning by Abduction
Chiaki Sakama [slide] |
| 14:10 - 14:50 |
Confidentiality-Preserving Data Publishing by Extended Abduction
Lena Wiese* and Katsumi Inoue [slide] |
| Session 3: Query Answering | |
| 15:10 - 15:50 |
Query Generalization and Semantic Filtering of Unrelated
Answers in Cooperative Query Answering
Maheen Bakhtyar*, Lena Wiese and Katsumi Inoue [slide] |
| 15:50 - 16:30 |
Cooperative Query Answering with SOLAR: Syntax-based
Relaxation
Nam Dang*, Lena Wiese and Katsumi Inoue [slide] |
| Session 4: Systems Biology | |
| 16:40 - 17:20 |
Predicting Gene Knockout Effects by Minimal Pathway
Enumeration
Takehide Soh* and Katsumi Inoue [slide] |
| 17:20 - 18:00 |
Automated Problem Decomposition for Efficient Reasoning
in Metabolic Pathways
Gauvain Bourgne* and Katsumi Inoue [slide] |
| Special Session | |
| 18:00 - 18:30 |
A General MCMC Method for Logic-based Probabilistic Modeling
Taisuke Sato [slide] |
13th (Tuesday)
| Session 5: Discretization and Probabilistic Reasoning | |
| 9:00 - 9:40 |
Towards Efficient Top-K mining of F-scored Emerging Patterns
Yoshitaka Kameya [slide] |
| 9:40 - 10:20 |
Probabilistic Inference based on Slice Sampling in Symbolic-probabilistic Models (in Japanese)
Masahiro Yamaguchi* and Taisuke Sato [slide] |
| 10:30 - 12:00 | Discussion |