KR: Principles of Knowledge Representation and Reasoning



Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
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)

Present CFP : 2018


*** KR 2018 ***

16th International Conference on
Principles of Knowledge Representation and Reasoning

Tempe, Arizona (USA)
October 30-November 2, 2018

Co-located with DL 2018 [] and NMR 2018 [],

* Submission of title and abstract: 13 May 2018
* Paper submission deadline: 20 May 2018
* Author response period: 25-27 June 2018
* Notification: 11 July 2018
* Camera-ready papers due: 3-10 August 2018
* Conference date: 30 October-2 November 2018


Knowledge Representation and Reasoning (KRR) is an exciting, well-established
field of research. In KRR 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, KRR has contributed to the theory and
practice of various areas in AI, such as automated planning, natural language
understanding, among others, as well as to fields beyond AI, including
databases, verification, and software engineering. In recent years KRR has
contributed to new and emerging fields including the semantic web,
computational biology, 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. Contrary to previous editions, KR 2018
will also feature an open call for workshop and tutorial proposals. The
deadline for submissions is 21 February 2018. Workshops and
tutorials will precede the KR technical program and will run on 27-29 October
2018. Please check the KR 2018 website for further information and updates.

We solicit papers presenting novel results on the principles of KRR 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 KRR. We also encourage "reports from the field"
of applications, experiments, developments, and tests.

Papers must be submitted in AAAI style and PDF format. We invite two kinds of

* full papers of up to 9 pages including abstract, figures, and appendices
(if any) but excluding references and acknowledgements, which may take up
to one additional page; submission of additional material (e.g. proofs) as
separate documents is allowed, but this material should not form an
integral part of the submission and will only be consulted at the
discretion of reviewers, PC members and (area and program) chairs, as

* short papers describing applications, systems and/or demos, of up to 4
pages including abstract, figures, and appendices (if any) but excluding
references and acknowledgements, which may take up to one additional page.

Topics of interest include, but are not limited to:
* Argumentation
* Belief revision and update, belief merging, information fusion
* Computational aspects of knowledge representation
* Concept formation, similarity-based reasoning
* Contextual reasoning
* Description logics
* Decision making
* Explanation finding, diagnosis, causal reasoning, abduction
* Inconsistency- and exception tolerant reasoning, paraconsistent logics
* KR and autonomous agents: intelligent agents, cognitive robotics,
multi-agent systems
* KR and game theory
* KR and machine learning, inductive logic programming, knowledge
discovery and acquisition
* KR and natural language processing
* KR and the Web, Semantic Web
* Logic programming, answer set programming, constraint logic programming
* Multi- and order-sorted representations and reasoning
* Nonmonotonic logics, default logics, conditional logics
* Philosophical foundations of KR
* Ontology formalisms and models
* Preference modeling and representation, reasoning about preferences,
* preference-based reasoning
* Qualitative reasoning, reasoning about physical systems
* Reasoning about actions and change, action languages, situation calculus,
dynamic logic
* Reasoning about knowledge and belief, epistemic and doxastic logics
* Spatial reasoning and temporal reasoning
* Uncertainty, representations of vagueness, many-valued and fuzzy logics

General: Frank Wolter (University of Liverpool, UK)
Program: Michael Thielscher (The University of New South Wales, Australia)
Francesca Toni (Imperial College London, UK)
Local Organization: Joohyung Lee (Arizona State University, USA)
Tran Cao Son (New Mexico State University, USA)
Doctoral Consortium: Sebastian Rudolph (Technische Universit├Ąt Dresden, Germany)
Madalina Croitoru (University Montpellier II and INRIA, France)
Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia)
Ivan Varzinczak (Univ. Artois & CNRS, France)
Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA)
Marco Maratea (University of Genova, Italy)


Related Resources

AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
CanadianAI 2020   33rd Canadian Conference on Artificial Intelligence
DBKDA 2020   The Twelfth International Conference on Advances in Databases, Knowledge, and Data Applications
KRR@SAC 2020   Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
TIME 2019   26th International Symposium on Temporal Representation and Reasoning
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
UAI 2019   Conference on Uncertainty in Artificial Intelligence
ICCC 2019   Tenth International Conference on Computational Creativity
KI 2019   42nd German Conference on Artificial Intelligence
KRR@SAC 2019   KRR@SAC 2019 : Knowledge Representation and Reasoning (track of the 34th ACM/SIGAPP Symposium On Applied Computing)