Submission

All submissions must be written in English and formatted using the style files linked below. Papers must be submitted in PDF format, through the EasyChair conference system:
https://easychair.org/conferences/?conf=kr2020

For the main conference track and additional tracks/sessions:
(except for the Recent Published Research Track)

We invite:

• Full papers of up to 9 pages, including abstract, figures, and appendices (if any), but excluding references and acknowledgements.
• Short papers of up to 4 pages, excluding references and acknowledgements.

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, and to papers uploaded at public repositories (e.g., arXiv).

Please note that the submission of an abstract by the abstract submission deadline is mandatory.

The accepted full papers and short papers will be published by IJCAI Inc. in the KR2020 proceedings.

For the Recent Published Research Track:

We invite submissions consisting of:

• a cover page (single page) listing the title, the authors, a complete reference to the original paper, and a public or privately accessible url from which the paper can be downloaded, and
• an extended abstract of the paper of either one page (preferred) or two pages, following the format for regular KR 2020 paper submissions. The abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results.

Author kit:

Submissions are not anonymous (i.e., reviewing will be single-blind) and have to be formatted using the following style files:
https://kr2020.inf.unibz.it/downloads/KR_authors_kit_v1.2.tar.gz

Please note that the style files have been updated to version 1.2 (27-Feb-2020). In case you have downloaded a previous version of the styles, please replace them with the current one, which generates numbered sections, and where the instructions now correctly indicate that submissions are not anonymous.