The 22nd International Conference on
Principles of Knowledge Representation and Reasoning,
KR 2025
11 - 17 November 2025, Melbourne, Australia
Co-located with CPAIOR 2025, ICAPS 2025 and NMR 2025.
Deadline for submissions : 7 May 2025 (abstract)
12 May 2025 (paper)
Conference website: http://www.kr.org/KR2025
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.
KR 2025 will include three special thematic tracks, a Recently Published
Research Track, tutorials, workshops, and a Doctoral Consortium. Details about
all these events and the corresponding calls can be found on the website.
For the 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 –
Submission of title and abstract: May 7, 2025
Paper submission deadline: May 12, 2025
Author response period: June 25 – July 1, 2025
Notification of acceptance: July 10, 2025
Camera-ready due: August 15, 2025
Conference dates: November 11 – 17, 2025
-- Submission Guidelines for the 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 acknowledgments. Papers must be written in English and formatted
using the provided style files
(https://kr.org/KR2025/files/KR25_authors_kit.zip). The PDF file should be
submitted through EasyChair: https://easychair.org/conferences/?conf=kr2025
Authors of papers in the Main Track may submit a separate PDF file with
additional information supporting their claims (such as proof details,
additional experimental results, further details on experimental design, etc).
Such supplementary material should be submitted via the conference management
system. The paper must be self-contained, as the supplementary material will
not be published. Reviewers will have the option, but not the obligation, to
consult the supplementary material.
Accepted papers will be published in the KR 2025 proceedings. At least one
author of each accepted paper is required to participate in the conference and
present the work.
Top papers from KR 2025 will be invited to the award-winning paper tracks of
Artificial Intelligence (AIJ) and of 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.
