University Club

Session 1 (May 08 09:00-09:20) Technical Program Opening
Session 2 (May 08 09:20-10:20) Keynote 1 (Georg Gottlob)
Session 3 (May 08 10:20-10:50) Description Logics (part A)
Session (May 08 10:50-11:10) Coffee Break
Session 4 (May 08 11:10-12:50) Description Logics (part B)
Session 5 (May 08 14:30-16:30) Modal and Default Logic (part A)
Session (May 08 16:30-16:50) Coffee Break
Session 6 (May 08 16:50-17:30) Modal and Default Logic (part B)
Session 7 (May 08 17:30-18:40) Temporal Logic
Session 8 (May 09 09:00-10:00) Keynote 2 (Henri Prade)
Session 9 (May 09 10:00-10:50) Belief Revision and Argumentation (part A)
Session 10 (May 09 11:10-12:50) Belief Revision and Argumentation (part B)
Session 11 (May 09 14:30-15:20) Best Papers
Session 12 (May 09 15:20-15:40) Ambassador Talk
Session 14 (May 10 09:30-10:50) Logic Programming (part A)
Session 15 (May 10 11:10-12:50) Logic Programming (part B)
Session 16 (May 10 14:30-16:30) Causal, Defeasible and Inductive Reasoning
Session (May 10 16:30-16:50) Coffee Break
Session 17 (May 10 16:50-17:40) Conditional, Probabilistic and Propositional Logic