Conference Information
KR 2018 : International Conference on the Principles of Knowledge Representation and Reasoning
Submission Date:
Notification Date:
Conference Date:
Tempe, Arizona, USA
CCF: b   CORE: a*   QUALIS: a2   Viewed: 6013   Tracked: 11   Attend: 0

Conference Location
Call For Papers
Knowledge Representation and Reasoning (KR) is an exciting, well-established 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, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, 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. 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 welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from thefield" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation.

The best paper of the conference will receive the 2018 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2018 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2018 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP.

Topics of interest include, but are not limited to:

    Belief revision and update, belief merging, etc.
    Commonsense reasoning
    Contextual reasoning
    Description logics
    Diagnosis, abduction, explanation
    Inconsistency- and exception tolerant reasoning, paraconsistent logics
    KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
    KR and data management, data analytics
    KR and decision making, game theory, social choice
    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
    Nonmonotonic logics, default logics, conditional logics
    Ontology formalisms and models
    Philosophical foundations of KR
    Preferences: modeling and representation, preference-based reasoning
    Reasoning about action and change: action languages, situation calculus, causality
    Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics
    Reasoning systems and solvers, knowledge compilation
    Spatial reasoning and temporal reasoning, qualitative reasoning
    Uncertainty, representations of vagueness, many-valued and fuzzy logics 
Last updated by Dou Sun in 2017-08-13
Related Publications
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
CICSPInternational Conference on Computational Intelligence, Communication and Signal Processing2017-09-172017-09-202017-09-25
caPAKDDPacific-Asia Conference on Knowledge Discovery and Data Mining2017-10-312018-01-282018-05-15
ACSEInternational Conference on Advances in Computer Science and Engineering2013-01-142013-02-042013-04-10
b4EITInternational Conference on Electro/Information Technology2016-02-152016-03-152016-05-19
TMCMInternational Conference on Test, Measurement and Computational Method2017-05-11 2017-05-21
aa*a1KDDACM SIGKDD Conference on Knowledge Discovery and Data Mining2017-02-172017-05-192017-08-13
MEMSYSInternational Symposium on Memory Systems  2017-10-02
IUCCInternational Conference on Ubiquitous Computing and Communications2017-07-152017-09-152017-12-12
bba1ITC''International Test Conference2017-02-242017-06-052017-10-31
ICDHInternational Conference on Digital Home2014-07-312014-08-302014-11-28