KR 2018 : 16th International Conference on Principles of Knowledge Representation and Reasoning

  in Conferences   Posted on July 25, 2017

Conference Information

Submission Deadline Sunday 20 May 2018 Proceedings indexed by :
Conference Dates Oct 30, 2018 - Nov 2, 2018
Conference Address Tempe, United States
Conference & Submission Link
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 176
Category Rankings
Databases & Information Systems 46
Machine Learning & Arti. Intelligence 48
Computational Theory and Mathematics 16

Google Scholar H5-index:

Conference Call for Papers


*** 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 [],

KR 2018 IMPORTANT DATES (Tentative)


* 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

tentative 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)

Other Conferences in United States

CPP 2020 : Certified Programs and Proofs

Deadline :
Mon 21 Oct 2019
Jan 20, 2020 - Jan 21, 2020 - New Orleans
United States

PPoPP 2019 : 47th ACM SIGPLAN Symposium on Principles of Programming Languages

Deadline :
Mon 21 Oct 2019
Jan 19, 2020 - Jan 25, 2020 - New Orleans
United States


Deadline :
Tue 29 Oct 2019
Jun 24, 2019 - Jun 28, 2019 - Phoenix
United States

CC 2020 : Compiler Construction

Deadline :
Wed 30 Oct 2019
Feb 22, 2020 - Feb 26, 2020 - San Diego
United States

CAE 2020 : Content & Activity Engineering 2020

Deadline :
Fri 01 Nov 2019
Feb 3, 2020 - Feb 5, 2020 - San Diego
United States