An invited talk should take no longer than 60 minutes (including presentation and questions).
A regular talk should take no longer than 20 minutes (including presentation and questions).
A poster announcement should take no longer than 2 minutes.
9:00 – 10:00 | Invited talk (Session chair: Enrico Franconi) Rajeev Goré. Global Caching, Inverse Roles and Fixpoint Logics | ||||||||||||||||||
10:00 – 10:10 | Short break | ||||||||||||||||||
10:10 – 11:00 | Non-monotonic DLs (Session chair: Roman Kontchakov)
| ||||||||||||||||||
11:00 – 11:30 | Coffee break | ||||||||||||||||||
11:30 – 13:00 | Standard DL Reasoning (Session chair: Boris Konev)
| ||||||||||||||||||
13:00 – 14:30 | Lunch | ||||||||||||||||||
14:30 – 15:00 | Revision and Paraconsistent Reasoning (Session chair: Meghyn Bienvenu)
| ||||||||||||||||||
15:00 – 15:30 | Coffee break | ||||||||||||||||||
15:30 – 16:00 | Probabilistic and Fuzzy DLs (Session chair: Jeff Z. Pan)
| ||||||||||||||||||
16:00 – 18:00 | Poster and demo session | ||||||||||||||||||
20:00 – 23:00 | Dinner at Oriel College |