Call for Papers: 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

The deadlines are AoE - Anywhere on Earth (UTC-12).

Submission Guidelines for the Main Track

Submissions should be anonymous and will be subject to double-blind peer review. Anonymity aims to enable reviewers to form an initial, unbiased assessment of the paper — not to prevent them from identifying the authors if they actively seek to do so. Anonymity should never come at the expense of the paper's quality, hinder the review process, or obstruct the communication of innovative ideas. For instance, authors should not exclude key references to their previous work, only avoid using I/we and my/our when referring to them. Authors are also encouraged to share and discuss their work as usual, including posting drafts online (e.g., on ArXiv).

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 formatted using the provided style files. The PDF file should be submitted through EasyChair: https://easychair.org/conferences/?conf=kr2025.

Authors of papers may submit a separate PDF or ZIP file with additional information supporting their claims (such as proof details, additional experimental results, further details on experimental design, etc). The ZIP file may include content such as PDFs, code, or data. 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 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.