2010/ 9/ 6 - 2010/ 9 /7
Maholova Minds Miura
Web (Japanese only)
3231 Kami-miyada, Minami Shitaura-machi, Miura, Kanagawa, 238-0101, Japan
| Katsumi Inoue | National Institute of Informatics, Japan |
| Taisuke Sato | Tokyo Institute of Technology, Japan |
| Yoshitaka Kameya | Tokyo Institute of Technology, Japan |
| Koji Iwanuma | University of Yamanashi, Japan |
| Hidetomo Nabeshima | University of Yamanashi, Japan |
| Chiaki Sakama | Wakayama University, Japan |
| Yoshitaka Yamamoto | University of Yamanashi, Japan |
| Gauvain Bourgne | National Institute of Informatics, Japan |
| Grégoire Lejay | Univiersité Pierre et Marie Curie, France |
| Domenico Corapi | Imperial College London, UK |
| Takehide Soh | The Graduate University for Advanced Studies, Japan |
| Kenshiro Suzuki | University of Yamanashi, Japan |
| Masakazu Ishihata | Tokyo Institute of Technology, Japan |
9/6
| 14:00 - 14:30 |
Completing Causal Networks with Positive and Negative Effects
Katsumi Inoue and Hidetomo Nabeshima [slide] |
| 14:35 - 15:05 |
Application of Meta-level Abduction for the Treatment of Hypertension with SOLAR
Gregoire Lejay and Katsumi Inoue [slide] |
| 15:05 - 15:30 | Coffee break |
| 15:30 - 16:00 |
MARS: a Multi-agent Abductive Reasoning System based on SOLAR
Gauvain Bourgne, Katsumi Inoue and Nicolas Maudet [slide] |
| 16:05 - 16:35 |
Inductive Logic Programming as Abductive Search
Domenico Corapi, Alessandra Russo and Emil Lupu [slide] |
| 16:35 - 17:00 | Coffe break |
| 17:00 - 17:30 |
Experimental Results on Soving the Sub-pathway Finding Problem
Takehide Soh and Katsumi Inoue [slide] |
| 17:30 - 18:00 |
A Logical Account of Lying
Chiaki Sakama [slide] |
| 18:15 - 20:00 | Dinner |
| 20:00 - 21:00 | Discussion about the annual schedule of this project |
9/7
| 9:30 - 10:00 |
Όΰ©VXeSOLARΦΜ½dTυνͺΜ±ό (in Japanese)
Kenshiro Suzuki, Hidetomo Nabeshima [slide] |
| 10:05 - 10:35 |
An Efficient Equational Consequence Finding in SOLAR
Hidetomo Nabeshima [slide] |
| 10:35 - 11:00 | Coffee break |
| 11:00 - 11:30 |
A Further Consideration of Inverse Subsumption Based on Residue and Minimal Complements
Koji Iwanuma [slide] |
| 11:35 - 12:05 |
Towards Incremental hypothesis Enumeration
Yoshitaka Yamamoto [slide] |
| 12:05 - 13:30 | Lunch |
| 13:30 - 14:00 |
Towards Histogram-based Discretization of Time Series Data
Yoshitaka Kameya [slide] |
| 14:05 - 14:35 |
Variational Bayes for Propositonal logic-based
probabilistic models on BDDs
Masakazu Ishihata [slide] |
| 14:40 - 15:20 |
Some Exeriences with a New MCMC Method
Taisuke Sato [slide] |
| 15:20 - 15:30 | Closing |
Masakazu Ishihata (ishihata[at]mi.cs.titech.ac.jp)
Back to Project Home Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)