header
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
Latest news

7 May 2012: Program available!
10 Apr 2012: Due to problems with the site during the Easter weekend, the early registration deadline as been extended to April 14, 2012.
16 Mar 2012: Suggested hotels within a walking distance to the conference site announced.
08 Mar 2012: Info on the 2012 Ray Reiter Best Paper Prize and the Artificial Intelligence journal KR 2012 fast track are available.
02 Mar 2012: Doctoral Consortium: We expect to be able to support all students participating in the DC with the amount of about 350€.
15 Feb 2012: Tutorials announced.
10 Feb 2012: Early registration opens.
03 Feb 2012: List of accepted papers. We accepted 53 (26%) regular papers and 18 additional short papers.
12 Dec 2011: Paper submission is now closed. We received 202 papers! Author response period: Jan 11-13. Notification of acceptance: Feb 3.
08 Dec 2011: Paper submission deadline extended.
25 Nov 2011: Early registration fees announced.
20 Nov 2011: Leora Morgenstern will give a talk in remembrance of John McCarthy.
15 Nov 2011: Invited speakers announced.

Invited Speakers


Welcome to the 13th International Conference on Principles of Knowledge Representation and Reasoning to be held in Rome, Italy, June 10-14, 2012.
Website: http://kr.org/KR2012/

Co-located with DL 2012, NMR 2012, AI*IA 2012, CILC 2012, KiBP 2012

Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2012 will be a forum for the exchange and discussion of new ideas, issues, and results on the principles and practice of KR&R.