Event | When | Where | Deadline |
KR 2023 |
Principles of Knowledge Representation and Reasoning |
Sep 2, 2023 - Sep 8, 2023 |
Rhodos, Greece |
Mar 14, 2023 (Mar 7, 2023) |
KR 2022 |
Principles of Knowledge Representation and Reasoning |
Jul 31, 2022 - Aug 5, 2022 |
Haifa, Israel |
Feb 9, 2022 (Feb 2, 2022) |
KR 2021 |
18th International Conference on Principles of Knowledge Representation and Reasoning |
Nov 6, 2021 - Nov 12, 2021 |
Hanoi, Vietnam |
Mar 31, 2021 (Mar 24, 2021) |
KR 2020 |
International Conference on the Principles of Knowledge Representation and Reasoning |
Sep 12, 2020 - Sep 18, 2020 |
Rhodes, Greece |
Mar 11, 2019 (Mar 4, 2019) |
KR 2018 |
16th International Conference on Principles of Knowledge Representation and Reasoning |
Oct 30, 2018 - Nov 2, 2018 |
Tempe, Arizona |
May 20, 2018 (May 13, 2018) |
KR 2016 |
15th International Conference on Principles of Knowledge Representation and Reasoning |
Apr 25, 2016 - Apr 29, 2016 |
Cape Town, South Africa |
Nov 28, 2015 (Nov 21, 2015) |
KR 2012 |
13th International Conference on the Principles of Knowledge Representation and Reasoning |
Jun 10, 2012 - Jun 14, 2012 |
Rome, Italy |
Dec 9, 2011 (Nov 30, 2011) |
KR 2010 |
Twelfth International Conference on Principles of Knowledge Representation and Reasoning |
May 9, 2010 - May 13, 2010 |
Toronto, Canada |
Nov 30, 2009 |
KR 2008 |
Eleventh International Conference on Principles of Knowledge Representation and Reasoning |
Sep 16, 2008 - Sep 19, 2008 |
Sydney, NSW, Australia |
Apr 7, 2008 (Apr 3, 2008) |
|
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.
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 and practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
We invite two kinds of submissions:
* full papers of up to 9 pages, excluding references and acknowledgements.
* short papers of up to 4 pages, excluiding references and acknowledgements.
|