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.
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field, or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
Can be found on the respective page.
Typical topics of interest include the following, but the list is not exhaustive. The conference welcomes all topics concerned with the explicit representation or management of knowledge, and with the automated inference on the basis of such knowledge.
The Main Track will allow contributions of both regular papers (up to 9 pages) and short papers (up to 4 pages), including abstract, figures, and (if any) appendices but excluding references and acknowledgements, prepared and submitted according to the authors guidelines provided in the submission section.
Selected authors will be given the option to showcase their work in the Demo Track alongside their regular presentation slot in a session of the track.
Can be found on the respective page.
Inquiries should be sent by email to kr2024@cse.unsw.edu.au and will be handled by the KR 2024 Program chairs: