17th International Conference on Principles of Knowledge Representation and Reasoning

September 12-18, 2020 - Rhodes, Greece

last modified: 07 Aug 2020

Program Outline

September 12 Saturday September 13 Sunday September 14 Monday September 15 Tuesday September 16 Wednesday September 17 Thursday September 18 Friday
Workshops/
Tutorials

(see below)
Workshops/
Tutorials

(see below)
Workshops/
Tutorials

(see below)

Doctoral Consortium
09:00

Invited Talk: Rachid Alami

Ray Reiter Best Paper Award

Invited Talk: Thomas Eiter

Marco Cadoli Best Student Paper Award

Invited Talk: Mateja Jamnik

Women in KR

Invited Talk: Marta Kwiatkowska

Test-of-Time Awards

coffee 10:30-11:00
Session 1: Application & Systems Session 7: Argumentation 1 Session 13: Belief Change and Revision Session 22: Strategies and Verification
Session 2: KR & Robotics Session 8: Plans, Strategies and Explainability Session 14: Epistemic Planning Session 23: Uncertainty and Preferences
Session 3: Ontologies Session 9: Query Answering 1 Session 15: Query Answering 2 Session 24: Description Logics 1
lunch 12:30-14:00
Session 4: Answer Set Programming 1 Session 10: Answer Set Programming 2 Session 16: Datalog and Existential Rules Session 25: Model Checking
Session 5: Uncertainty and Explainability Session 11: Nonmonotonic Reasoning and Belief Change Session 17: Argumentation 2 Session 26: Synthesis and Robotics
Session 6: KR & ML 1 Session 12: KR & ML 2 Session 18: Reasoning about Actions and Change Session 27: Description Logics 2
coffee 15:35-16:00
DC Lightning Talks Posters Session 19: Spatial and Temporal Reasoning
Session 20: Computational Aspects of KR
Session 21: Ontologies and Knowledge
break 17:15-17:30
Invited Talk: David Poole Invited Talk: Gary Marcus Future of KR meeting
18:30
Banquet

Workshops and Tutorials

September 12 Saturday September 13 Sunday September 14 Monday
09:00 - 10:30 Session-1 WS: MLR WS: Races Tutorial: Cognitive Logics - Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World (page) WS: XLoKR Tutorial: Dynamic Epistemic Logic and Epistemic Planning (page) WS: XLoKR
10:30 - 11:00 Coffee break
11:00 - 12:45 Session-2 WS: MLR WS: Races Tutorial: Cognitive Logics - Formal and Cognitive Methods for Reasoning in an Uncertain and Dynamic World (page) WS: XLoKR Tutorial: Dynamic Epistemic Logic and Epistemic Planning (page) WS: XLoKR
12:45 - 14:15 Lunch break
14:15 - 15:45 Session-3 WS: MLR WS: Races Tutorial: Practical Uses of Existential Rules in Knowledge Representation (page) WS: XLoKR Tutorial: Argumentative Explanations in AI (page) WS: AI2Forensics
15:45 - 16:15 Coffee break
16:15 - 18:00 Session-4 WS: MLR WS: Races Tutorial: Practical Uses of Existential Rules in Knowledge Representation (page) WS: XLoKR Tutorial: Argumentative Explanations in AI (page) WS: AI2Forensics