[DL] KR 2016: Preliminary Call for Papers

[Ivan José Varzinczak]

=====================================
Preliminary Call for Papers

*** KR 2016 ***

15th International Conference on Principles of
Knowledge Representation and Reasoning

Cape Town, South Africa
April 25-29, 2016

http://kr2016.cs.uct.ac.za

(Co-located with DL 2016 and NMR 2016)
=====================================

** Preliminary Dates **

Paper registration: 16 November 2015
Paper submission: 23 November 2015
Notification of acceptance: 18 January 2016
Final version due: 15 February 2016
Conference: 25-29 April 2016

=====================================

Knowledge Representation and Reasoning (KR&R) is an exciting, well-established field of research. In KR&R 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&R 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&R 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.  We solicit papers presenting novel results on the principles of KR&R 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&R. We also encourage "reports from the field" 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.

** Topics **

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

** Conference Chairs **

General:
Chitta Baral (Arizona State University, USA)

Program:
James Delgrande (Simon Fraser University, Canada)
Frank Wolter (University of Liverpool, UK)

Local Organization:
Thomas Meyer (University of Cape Town and CAIR, South Africa)
Arina Britz (CAIR and CSIR, South Africa)

Doctoral Consortium:
Meghyn Bienvenu (CNRS, France)
Joohyung Lee (Arizona State University, USA)

Sponsorship and Publicity Chair:
Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil)


--
Ivan José Varzinczak
Department of Computer Science - Institute of Mathematics
Federal University of Rio de Janeiro, Brazil
Homepage: http://member.acm.org/~ijv