The program is available as a PDF file, in the Google calendar or in the iCal format.
17.9.2012
| 8:00 | 9:00 |
Registration
|
|
|---|---|---|---|
| 9:00 | 9:15 |
Opening
|
|
| 9:15 | 10:15 |
Ben Taskar
|
Invited Talk |
| 10:15 | 10:45 |
Coffee break & posters
|
|
| 10:45 | 11:15 |
Graphs
|
Session |
| 10:45 | 11:00 |
Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida and Yuko Itokawa
|
Short paper |
| 11:00 | 11:15 |
Yuta Yoshimura and Takayoshi Shoudai
|
Short paper |
| 11:15 | 12:00 |
Data Mining
|
Session |
| 11:15 | 11:30 |
Dhafer Lahbib, Marc Boullé and Dominique Laurent
|
Short paper |
| 11:30 | 11:45 |
Alexander van Den Berghe, Jan Van Haaren, Stefan Van Baelen, Yolande Berbers and Wouter Joosen
|
Short paper |
| 11:45 | 12:00 |
Esther Galbrun and Angelika Kimmig
|
Published paper |
| 12:00 | 14:00 |
Lunch
|
|
| 14:00 | 15:05 |
Hybrid architectures
|
Session |
| 14:00 | 14:25 |
Manoel Franca, Gerson Zaverucha and Artur Garcez
|
Long paper |
| 14:25 | 14:50 |
Tianxiang Gao and Yuke Zhu
|
Long paper |
| 14:50 | 15:05 |
Irma Ravkic, Jan Ramon and Jesse Davis
|
Short paper |
| 15:05 | 16:10 |
Cognition
|
Session |
| 15:05 | 15:30 |
Reza Farid and Claude Sammut
|
Long paper |
| 15:30 | 15:55 |
Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama and Hirotoshi Iwasaki
|
Long paper |
| 15:55 | 16:10 |
Katsutosh Kanamori and Hayato Ohwada
|
Short paper |
| 16:10 | 16:40 |
Coffee break & posters
|
|
| 16:40 | 17:20 |
Robotics
|
Session |
| 16:40 | 17:05 |
Solly Brown and Claude Sammut
|
Long paper |
| 17:05 | 17:20 |
Bogdan Moldovan, Laura Antanas and Mcelory Hoffmann
|
Short paper |
| 20:00 | 21:00 |
Welcome reception
|
18.9.2012
| 9:00 | 10:00 |
Luc De Raedt
|
Invited Talk |
|---|---|---|---|
| 10:00 | 10:30 |
Coffee break & posters
|
|
| 10:30 | 11:40 |
Logical Foundations (session)
|
|
| 10:30 | 10:55 |
Stephen Muggleton, Dianhuan Lin, Niels Pahlavi and Alireza Tamaddoni-Nezhad
|
Long paper |
| 10:55 | 11:10 |
Yoshitaka Yamamoto, Koji Iwanuma and Katsumi Inoue
|
Short paper |
| 11:10 | 11:25 |
Chiaki Sakama
|
Short paper |
| 11:25 | 11:40 |
Katsumi Inoue and Chiaki Sakama
|
Short paper |
| 11:40 | 13:40 |
Lunch
|
|
| 13:40 | 14:45 |
Special languages
|
Session |
| 13:40 | 14:05 |
Tiago Gomes and Vítor Santos Costa
|
Long paper |
| 14:05 | 14:30 |
Francesca Alessandra Lisi
|
Long paper |
| 14:30 | 14:45 |
Angelos Charalambidis and Stasinos Konstantopoulos
|
Short paper |
| 14:45 | 15:30 |
Subsumption
|
Session |
| 14:45 | 15:00 |
Ondrej Kuzelka, Andrea Szaboova and Filip Zelezny
|
Short paper |
| 15:00 | 15:15 |
Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma
|
Short paper |
| 15:15 | 15:30 |
Noriaki Nishio, Atsuko Mutoh and Nobuhiro Inuzuka
|
Short paper |
| 15:30 | 16:00 |
Coffee break & posters
|
|
| 16:00 | 17:20 |
Propositionalization
|
Session |
| 16:00 | 16:25 |
Soufiane El Jelali, Agnès Braud and Nicolas Lachiche
|
Long paper |
| 16:25 | 16:50 |
Amrita Saha, Ashwin Srinivasan and Ganesh Ramakrishnan
|
Long paper |
| 16:50 | 17:05 |
Quang-Thang Dinh, Matthieu Exbrayat and Christel Vrain
|
Short paper |
| 17:05 | 17:20 |
Matic Perovšek, Anže Vavpetič and Nada Lavrač
|
Short paper |
| 18:00 | 23:00 |
Guided tour and conference dinner
|
Social event |
19.9.2012
| 9:00 | 10:00 |
Geraint A. Wiggins
|
Invited Talk |
|---|---|---|---|
| 10:00 | 10:30 |
Coffee break & posters
|
|
| 10:30 | 11:25 |
Markov Logic
|
Session |
| 10:30 | 10:55 |
Hassan Khosravi
|
Long paper |
| 10:55 | 11:10 |
Naveen Nair, Ajay Nagesh and Ganesh Ramakrishnan
|
Short paper |
| 11:10 | 11:25 |
Daan Fierens, Kristian Kersting, Jian Chen and Jesse Davis
|
Short paper |
| 11:25 | 12:10 |
Bioinformatics
|
Session |
| 11:25 | 11:40 |
Antonio Goncalves, Irene Ong, Jeffrey Lewis and Vitor Costa
|
Short paper |
| 11:40 | 11:55 |
Andrei Doncescu and Katsumi Inoue
|
Short paper |
| 11:55 | 12:10 |
Ashwin Srinivasan, Tanveer Faruquie, Indrajit Bhattacharya and Ross King
|
Short paper |
| 12:10 | 12:20 |
Conference Closing
|
|
| 12:20 | 14:20 |
Lunch
|
|
| 14:10 | 15:40 |
Community Meeting
|