Welcome to the website of the 17th International Conference on Principles of Knowledge Representation and Reasoning to be held virtually on September 12-18, 2020.
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.
ICLP 2020: the 36th International Conference on Logic Programming (Sept 18-24, 2020 - Rende, Italy).
SETN 2020: the 11th Hellenic Conference on Artificial Intelligence (Sept 2-4, 2020 - Athens, Greece).
IJCLR 2020: the 1st International Joint Conference on Learning & Reasoning (Sept 2021 - Athens, Greece).
A page was created for the KR2020 special session on Women in KR
The KR 2020 proceedings can be found at the (temporary) link listed in the Accepted Papers page
The 2020 KR Test-of-Time Awards are announced
The winners of the Ray Reiter Best Paper Award and of the Marco Cadoli Best Student Paper Award are announced