The International Conference on Principles of Knowledge Representation and Reasoning
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR 2025 will include special thematic tracks and a Recently Published Research Track, tutorials, workshops, and a Doctoral Consortium. Details about all these events and the corresponding calls will be on the website in due time.
Latest News
- Mar 14, 2025 - Calls for nominations for the Early Career, Test of Time and Distinguished Service awards are open.
- Feb 12, 2025 - Call for Tutorial and Workshop Proposals is now open! For more details, check the Tutorial and Workshop Proposals page.
- Jan 29, 2025 - The First Call for Papers for KR 2025 is now open! Submissions are due in early May. See the Main Track page.