17th International Conference on Principles of Knowledge Representation and Reasoning

September 12-18, 2020

last modified: 25 Sep 2020

Program Outline

September 12 Saturday September 13 Sunday September 14 Monday September 15 Tuesday September 16 Wednesday September 17 Thursday September 18 Friday
12:00 11:10    11:30   
Workshops/
Tutorials

(see below)		 Workshops/
Tutorials

(see below)		 Workshops/
Tutorials

(see below)


Doctoral Consortium
room C   		11:10 - 11:30

Opening Session


Invited Talk: Rachid Alami

Ray Reiter Best Paper Award


room A  

Invited Talk: Thomas Eiter

Marco Cadoli Best Student Paper Award


room A  

Invited Talk: Mateja Jamnik

Women in KR


room A  

Invited Talk: Marta Kwiatkowska

Test-of-Time Awards


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

(more info)		 19:00

(more info)

Workshops and Tutorials

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