Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

KR 2018 will also feature workshop and tutorial programmes, solicited by means of an open call (TBA).

The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will be a forum for the exchange and discussion of new ideas, issues, and results on the principles and practice of KR.

Call for paper

Important date

2018-05-13
Abstract submission deadline
2018-05-20
Draft paper submission deadline
2018-07-11
Draft paper acceptance notification
2018-08-03
Final paper submission deadline

Submission Topics

Topics of interest include, but are not limited to:

  • Argumentation

  • 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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Oct 30

    2018

    to

    Nov 02

    2018

  • May 13 2018

    Abstract Submission Deadline

  • May 20 2018

    Draft paper submission deadline

  • Jul 11 2018

    Draft Paper Acceptance Notification

  • Aug 03 2018

    Final Paper Deadline