20-24 July 2014 - Vienna, Austria
14th International Conference
on Principles of Knowledge
Representation and Reasoning
Nov 28 Dec 5 Jan 12-13 Jan 28 Mar 4 Apr 20 Jun 8 Jul 20-24

Latest news

24 July 2014: KR 2014 is over. We had in total 171 registered participants plus several external and internal volunteers, all of them making the conference a success! Thanks!
23 July 2014: Ray Reiter Best Paper and Marco Cadoli Student Paper Prize announced.
23 July 2014: KR Proceedings are on your USB Stick.
9 July 2014: Check out further VSL events and VSL material.
30 June 2014: Update on local informations and social events.
20 May 2014: New: Student Travel Grants (application until June 8).
24 Mar 2014: KR 2014 tutorials announced.
14 Feb 2014: List of all papers to be presented at KR 2014 now online.
30 Jan 2014: Notifications sent out. 58 (26.4%) papers accepted to the main technical program of KR 2014.
16 Dec 2013: KR 2014 received 220 papers! Author response period starts at Jan 11th.
21 Nov 2013: Final Call for submissions
29 Oct 2013: KR 2014 Invited Speakers announced
22 Oct 2013: Franz Baader will give a VSL/KR Keynote talk (supported by ECCAI)
08 Oct 2013: PC confirmed
15 Sep 2013: KR 2014 Call for Papers distributed
31 Aug 2013: KR 2014 official webpage launched

Welcome to the 14th International Conference on Principles of Knowledge Representation and Reasoning to be held at Vienna University of Technology, Gußhausstraße 29, Austria. July 20-24, 2014.

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. The 2014 edition will be held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic is expected to be the largest convention in the history of logic.


Important Dates

Check out all the important dates for KR 2014.
[read more]

Co-located Events

Several scientific events will be co-located with KR 2014.
[read more]
"KR 2014 will be part of the Vienna Summer of Logic, the largest convention in the history of logic."