SECOND CALL FOR PAPERS KR 2026 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026
July 20-23, 2026 - Lisbon, Portugal Workshops: July 18-19 and 24-25 http://www.kr.org/KR2026 Part of the Federated Logic Conference (FLoC 2026): https://www.floc26.org/ -- 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. In addition to the Main track, KR 2026 will include two special thematic tracks: - KR meets Machine Learning and Explanation - KR in the Wild. KR 2026 will also include a Recently Published Research track, a Video track, tutorials, workshops, and a Doctoral Consortium. Calls for papers dedicated to these special tracks and other events will be distributed in due course and made available on the website. MAIN TRACK 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. -- Important Dates (Main track) -- Submission of title and abstract: February 8, 2026 Paper submission deadline: February 13, 2026 Author response period: March 24-28, 2026 Notification of acceptance: April 13, 2026 Camera-ready due: May 3, 2026 -- Submission Guidelines (Main Track) -- Submissions should be anonymous and will be subject to double-blind peer review. Contributions may be regular papers (up to 9 pages) or short papers (up to 4 pages), including abstract, figures, and appendices (if any) but excluding references and acknowledgements. Papers must be written in English and must be formatted according to the style files that will be provided on the website. Accepted papers will be published in the KR 2026 proceedings. At least one author of each accepted paper is required to participate in the conference and present the work. Top papers from KR 2026 will be invited to the award-winning paper tracks of Artificial Intelligence (AIJ) and the Journal of Artificial Intelligence Research (JAIR). Thus, award winners will have the possibility of choosing between AIJ and JAIR. All submissions will be treated confidentially until the publication date.
