APB E023

https://navigator.tu-dresden.de/etplan/apb/00/raum/542100.2310

Session 1 (Sep 20 08:30-08:45) Welcome & Opening
Session 2 (Sep 20 08:45-09:35) Keynote: Franz Baader
Session 3 (Sep 20 09:35-10:11) Description Logics and Existential Rules
Session 4 (Sep 20 10:40-12:00) Planning
Session 5 (Sep 20 12:00-12:31) Temporal Reasoning
Session 6 (Sep 20 14:00-14:55) Description Logics II
Session 7 (Sep 20 14:55-15:15) Spatial Reasoning
Session 8 (Sep 20 15:40-17:10) Argumentation
Session 9 (Sep 20 17:30-18:20) Keynote: Katie Atkinson
Session 10 (Sep 21 08:40-10:10) Reasoning about Causes and Dependencies
Session 11 (Sep 21 10:40-11:16) Weighted Automata and Data Graphs
Session 12 (Sep 21 11:16-12:41) Reasoning About Knowledge and Beliefs
Session 13 (Sep 21 14:10-15:00) Keynote: Vaishak Belle
Session 14 (Sep 21 15:00-15:31) Logics for Explainable and Trustworthy AI I
Session 15 (Sep 21 16:00-17:20) Logics for Explainable and Trustworthy AI II
Session 16 (Sep 22 09:00-09:50) Keynote: Mario Alviano
Session 17 (Sep 22 09:50-10:21) Answer Set Programming I
Session 18 (Sep 22 10:50-11:40) Answer Set Programming II
Session 19 (Sep 22 11:40-12:35) Non-Monotonic Reasoning
Session 20 (Sep 22 14:00-14:50) Defeasible Reasoning
Session 21 (Sep 22 14:55-15:26) Partial Functions and Inconsistency Measures
Session 22 (Sep 22 15:30-16:10) Best Paper and Best Student Paper Award & Closing