10-14 June 2012
Rome, Italy

13th International Conference on
Principles of Knowledge Representation and Reasoning

CFP out

abstract
submission

paper
submission

author response
Jan 11-13

notification

early registration
opens

camera
ready

late registration
opens

conference

Nov 30

Dec 9

Feb 3

Feb 10

Mar 4

Apr 15

Jun 10-14

Program

	Sunday 10 - tutorials
10:00-13:15	Torsten Schaub: Modeling and Solving in Answer Set Programming	Gottlob/Greco/Scarcello: Graph-Based Methods for Problem Decomposition
13:15-14:30	lunch
14:30-17:45	Jerome Lang: Introduction to Social Choice	Alfio Gliozzo: IBM Watson
17:45-20:00	Reception

	Monday 11	Tuesday 12	Wednesday 13	Thursday 14
09:00-10:00	Leora Morgenstern: Remembrance of John McCarthy	Craig Boutilier: Preference Elicitation and Preference Learning	Moshe Vardi: The Rise and Fall of Linear Temporal Logic	2 x 2 papers: Argumentation Spatial & Temporal Reas.
10:00-10:30	coffee	coffee	coffee	coffee
10:30-12:30	2 x 4 papers: Belief Revision I DM & Preferences	2 x 4 papers: Description Logics I ASP and LP	2 x 4 papers: Epistemic Logics AR and Computation	10:30-11:30 2 x 2 papers: Actions and Change Description Logics II 11:45-11:30 2x3 papers: Actions and Change (cont.) Description Logic II (cont.) 13:15 End of Conference
12:30-14:00	lunch	lunch	lunch
14:00-15:30	Short paper presentations	2 x 3 papers: Incons. & Similarity KR and KBS	2 x 3 papers: Belief Revision II Abstraction & Diag.
15:30-16:00	coffee	15:30-late Excursion & Banquet	coffee
16:00-17:00	2 x 2 papers: Uncertainty Reports from the Field		Posters - Short Papers & Doctoral Consortium
17:00-18:30	Vladimir Lifschitz: Great Moments in KR		17:30 Maurizio Lenzerini: Ontology-based Data Management