Submission

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.

Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, or to papers uploaded at public repositories (e.g., arXiv).

Papers must be written in English and formatted using the style files provided in the submission page. Submissions are not anonymous (i.e., reviewing will be single-blind) and must be submitted in PDF format, through the EasyChair conference system.

The paper title, author names, contact details, and a brief abstract must be submitted electronically through the EasyChair conference system by the abstract submission deadline. It will be possible to make minor edits to the title and abstract until the full paper submission deadline. Submissions with “placeholder” abstracts will be removed without consideration.

Full papers must be submitted through the same site by the paper submission deadline. The list of author names provided at submission time is final. Authors may not be added to, or removed from, papers following submission.

Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. The main 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.

Selection Process

The program committee consists of PC members (reviewers) and Area Chairs (ACs), who overview the reviewing and meta-reviewing process.

Selection criteria include the novelty and originality of ideas, correctness, clarity, significance of results, potential impact and quality of the presentation.

Papers violating the format (e.g., by decreasing margins or font sizes) or describing contributions that do not significantly meet the topics of the conference will be desk rejected by the program chairs, without any opportunity to submit an author response.  By submitting a paper, authors acknowledge that they are aware of the possibility of receiving a summary rejection notification.

Papers that are not desk rejected will be reviewed by a group of  PC members (PCs) and the reviewing process will be supervised by an Area Chair (AC).

The review process will include the opportunity for authors to respond to the reviews by pointing out factual errors in the reviews and answering specific questions by the reviewers. Author responses should be concise, and are not intended to create a dialogue between reviewers and authors. Author responses will be visible to PCs and ACs.

The final decisions will be made by the program co-chairs. There will be no appeal for the decisions made.

Accepted papers will be published in the KR 2023 proceedings. At least one author of each accepted paper is required to participate in the conference and present the work.

Prizes for best papers (the Ray Reiter Best Paper Prize and the Marco Cadoli Best Student Paper Prize) will be possibly awarded, and runners-up will be possibly pointed out. Top papers from KR 2023 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 in strict confidence until the publication date.