Call for papers

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within Artificial Intelligence. KR  builds on the fundamental thesis that knowledge can 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including agents, automated planning and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, robotics, computational biology, and cyber security.

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.

KR 2023 will consist of a number of tracks and events: the Main Track, the Applications & Systems Track, the special session on KR & ML, the special session on KR, Robotics & Planning, the Recently Published Research (RPR) Track, the Tutorials & Workshops, the Doctoral Consortium, and the Diversity and Inclusion Session. Details about all these events will be made  available later. Contributions to the Main Track, the Applications & Systems Track, the special session on KR & ML, and the special session on KR, Robotics & Planning will take the form of papers that will be published in the proceedings of KR 2023. We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show 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. Further details about the submission guidelines and the selection criteria to be considered for the special session on KR & ML, and the special session on KR, Robotics & Planning will be available in due time.

Submission Guidelines

The Main Track, the Applications & Systems Track, as well as the special session on KR & ML and the special session on KR, Robotics & Planning 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 page.