17th International Conference on Principles of Knowledge Representation and Reasoning
September 12-18, 2020
last modified: 22 Feb 2020
Call For Papers
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.
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.
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.
Topics of interest include, but are not limited to:
Applications of KR
Belief revision and update, belief merging, information fusion
In addition to the main conference track, KR2020 will host the following tracks and sessions:
Applications and Systems Track : This track invites submissions of papers on emerging and deployed applications of KR, describing all aspects of the development, deployment, and evaluation of KR systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned.
Recent Published Research Track : This track provides a forum to discuss important results related to KR that appeared recently in selective journals and conferences, but have not been previously presented at KR.
Special Session: KR and Machine Learning (ML) : This special session invites submissions of papers on synergistic integration of KR and ML methods.
Special Session: KR and Robotics : This special session invites submissions of papers on synergistic integration of KR and Robotics methods.
Special Session: Women in KR: This special session will recognize contributions of female KR researchers.
Submission of title and abstract: 4 March 2020 Paper submission deadline: 11 March 2020 Author response period: 4-6 May 2020 Notification: 27 May 2020 Camera-ready papers: 24 June 2020 Conference dates: 12-18 September 2020
Recent Published Research Track, Workshops and Tutorials, and Doctoral Consortium will have different submission and notification dates, which will be announced separately.