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
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
All Comments
Important Date
-
Conference Date
Oct 30
2018
toNov 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
Contact Information
Submit Comment