Program Outline

last modified: 31 Oct 2021

All times are CET.

Monday, Nov 8 Tuesday, Nov 9 Wednesday, Nov 10 Thursday, Nov 11 Friday, Nov 12
7:30 - 09:00
Mystery Adventure (Group 3)
9:00 - 9:30
Opening Session		 9:00 - 10:00
Technical sessions
Explanation 1
Temporal & Spatial Reasoning		 9:00 - 10:00
Invited talk
Uli Sattler		 9:15 - 10:00
Technical sessions
Synthesis & Planning
Explanation 2		 9:00 - 10:00
Invited talk
Jochen Renz
9:30 - 10:30
Invited talk
Francesca Toni		 10:00 - 10:30
Posters		 10:00 - 10:15
Break		 10:00 - 10:30
Posters		 10:00 - 10:15
Break
10:30 - 10:45
Break		 10:30 - 11:00
Break with Activity		 10:15 - 11:25
Technical sessions
Robotics / Knowledge Graphs
Multi-Agent Systems		 10:30 - 10:45
Break		 10:15 - 11:00
Technical sessions
Epistemic Logic
App. & Systems 2
10:45 - 11:45
Technical sessions
Planning
Argumentation 1		 11:00 - 11:30
Informal Discussions		 11:25 - 11:55
Posters		 10:45 - 11:15
Informal Discussions		 11:00 - 11:30
Posters
11:45 - 12:15
Posters
Midday Break
14:15 - 14:45
Diversity & Inclusion Session		 13:45 - 14:30
Technical sessions
Belief Change
App. & Systems 1		 14:00 - 15:00
Technical sessions
Description Logics
Argumentation 3
14:30 - 15:30
Technical sessions
Ontology-Mediated Query Ans.
Argumentation 2		 14:45 - 15:15
Break with Activity		 14:30 - 15:00
Posters		 15:00 - 15:30
Posters
15:30 - 16:00
Informal discussions		 15:30 - 16:00
Posters		 15:15 - 16:15
Technical sessions
Answer Set / Logic Programming
KR & Machine Learning		 15:00 - 15:15
Break		 15:30 - 15:45
Break
16:00 - 16:15
Break		 16:00 - 16:15
Break		 16:15 - 16:45
Posters		 15:15 - 16:15
Invited Talk
Josh Tenenbaum		 15:45 - 16:30
Closing Session
16:15 - 17:15
Technical sessions
Reasoning about Actions
KR Languages		 16:15 - 17:15
DC Lightning + Posters		 16:45 - 17:15
Informal Discussions		 16:15 - 16:30
Break
17:15 - 17:45
Posters		 17:15 - 17:30
Break		 17:15 - 17:30
Break		 16:30 - 17:30
Future of KR Session
17:45 - 18:00
Break		 17:30 - 18:30
Invited Talk
Martin Grohe		 17:30 - 19:00
Mystery Adventure (group 1)
18:00 - 19:00
Opening Reception		 20:30 - 22:00
Mystery Adventure (group 2)		 19:00 - 20:00
Social dinner

Workshops and Tutorials

Wednesday, Nov 3 Thursday, Nov 4 Friday, Nov 5
09:00 - 12:00
Solving equations in modal and description logics

09:00 - 12:00
Complex Event Recognition and Forecasting

09:30 - 16:00
Knowledge Representation for Hybrid and Compositional AI (KRHCAI) 		09:00 - 12:00
Planning with multi-agent, flexible, temporal, epistemic and contingent (MAFTEC) aspects

09:00 - 12:00
Completeness, Recall, and Negation in Open-World Knowledge Bases

10:00 - 13:30
The 2nd International Workshop on Second-Order Quantifier Elimination and Related Topics (part 1) 		08:00 - 12:00
CME: the 1st International Workshop on Computational Machine Ethics

09:00 - 14:00
Proof-Theoretic Approaches to Logical Argumentation

09:00 - 12:00
Belief Revision and Judgment Aggregation in Ontologies
14:00 - 17:00
KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness

14:00 - 17:00
Answer Set Programming: From Theory to Practice 		13:00 - 20:00
Explainable Logic-Based Knowledge Representation (XLoKR 2021) - day 1

14:00 - 18:00
Ontology Uses and Contribution to Artificial Intelligence

15:00 - 18:30
The 2nd International Workshop on Second-Order Quantifier Elimination and Related Topics (part 2) 		13:00 - 20:00
Explainable Logic-Based Knowledge Representation (XLoKR 2021) - day 2

13:00 - 20:00
Doctoral Consortium

14:00 - 17:00
The 6th International Workshop on Semantics-Powered Health Data Analytics (SEPDA 2021)