[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
_* Please note that the deadline for title and abstract submission for KR 2023 appearing in WikiCFP website is incorrect! The correct deadline for title and abstract submission is March 3, 2023. *_ 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece First Call for Papers Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including agents, automated planning and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, robotics, computational biology, and cyber security. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2023 will consist of a number of tracks and events: the Main Track, the Applications & Systems Track, the special session on KR & ML, the special session on KR, Robotics & Planning, the Recently Published Research (RPR) Track, the Tutorials & Workshops, the Doctoral Consortium, and the Diversity and Inclusion Session. Details about all these events will be made available later (possibly in separate calls). Contributions to the Main Track, the Applications & Systems Track, the special session on KR & ML, and the special session on KR, Robotics & Planning will take the form of papers that will be published in the proceedings of KR 2023. We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show 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. Further details about the submission guidelines and the selection criteria to be considered for the Applications & Systems Track, the special session on KR & ML, and the special session on KR, Robotics & Planning will be given later (possibly in separate calls). 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 appendices (if any) 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: https://easychair.org/conferences/?conf=kr2023 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
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece First Call for Papers Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including agents, automated planning and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, robotics, computational biology, and cyber security. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2023 will consist of a number of tracks and events: the Main Track, the Applications & Systems Track, the special session on KR & ML, the special session on KR, Robotics & Planning, the Recently Published Research (RPR) Track, the Tutorials & Workshops, the Doctoral Consortium, and the Diversity and Inclusion Session. Details about all these events will be made available later (possibly in separate calls). Contributions to the Main Track, the Applications & Systems Track, the special session on KR & ML, and the special session on KR, Robotics & Planning will take the form of papers that will be published in the proceedings of KR 2023. We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show 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. Further details about the submission guidelines and the selection criteria to be considered for the Applications & Systems Track, the special session on KR & ML, and the special session on KR, Robotics & Planning will be given later (possibly in separate calls). 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 appendices (if any) 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: https://easychair.org/conferences/?conf=kr2023 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