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

征稿已开启

已截稿

注册已开启

已截止

活动简介

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.

征稿信息

重要日期

2018-05-13

摘要截稿日期

2018-05-20

初稿截稿日期

2018-07-11

初稿录用日期

2018-08-03

终稿截稿日期

征稿范围

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