Welcome to KR 2022

Welcome to the website of the 19th International Conference on Principles of Knowledge Representation and Reasoning to be held on July 31 - August 5, 2022, in Haifa, Israel with the main conference on August 2-5, 2022, and tutorials and workshops on July 31 – August 1, 2022.

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.

Co-located Events

KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, and will be co-located with the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022) and the 35th International Workshop on Description Logics (DL 2022).