Call for Papers KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning

                                CALL FOR PAPERS=20

                                *** KR 2016 ***

                       15th International Conference on=20
             Principles of Knowledge Representation and Reasoning

                           Cape Town, South Africa
                               25-29 April 2016
                                             =20
                            http://kr.org/KR2016/=20

Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 =
(http://www.kr.org/NMR/)


KR 2016 IMPORTANT DATES=20
-----------------------=20
 *  Submission of title and abstract: 21 November 2015
 *  Paper submission deadline: 28 November 2015
 *  Notification of acceptance: 21 January 2016
 *  Camera-ready papers due: 19 February 2016
 *  Conference: 25-29 April 2016
------------------------=20

Knowledge Representation and Reasoning (KRR) is an exciting, =
well-established=20
field of research. In KRR a fundamental assumption is that an agent's=20
knowledge is explicitly represented in a declarative form, suitable for=20=

processing by dedicated reasoning engines. This assumption, that much of
what an agent deals with is knowledge-based, is common in many modern=20
intelligent systems. Consequently, KRR has contributed to the theory and=20=

practice of various areas in AI, such as automated planning and natural=20=

language understanding, among others, as well as to fields beyond AI,=20
including databases, software engineering, the semantic web, =
computational=20
biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth =
presentation=20
of progress in the theory and principles underlying the representation =
and=20
computational management of knowledge.  We solicit papers presenting =
novel
results on the principles of KRR that clearly contribute to the formal=20=

foundations of relevant problems or show the applicability of results to=20=

implemented or implementable systems.

We welcome papers from other areas that show clear use of, or =
contributions=20
to, the principles or practice of KRR.  We also encourage "reports from =
the=20
field" of applications, experiments, developments, and tests. Such =
papers=20
should be explicitly identified as reports from the field by the =
authors, to=20
ensure appropriate reviewing, and must include a section on evaluation.


TOPICS=20
------=20
Topics of interest include, but are not limited to:=20
 *  Argumentation=20
 *  Belief change: revision and update, belief merging, etc.=20
 *  Commonsense reasoning=20
 *  Contextual reasoning=20
 *  Description logics=20
 *  Diagnosis, abduction, explanation=20
 *  Inconsistency- and exception- tolerant reasoning, paraconsistent =
logics=20
 *  KR and autonomous agents: multi-agent systems, cognitive robotics, =
agent models=20
 *  KR and data management, data analytics=20
 *  KR and decision making, game theory, social choice=20
 *  KR and machine learning, inductive logic programming, knowledge =
discovery and acquisition=20
 *  KR and natural language processing=20
 *  KR and the Web, Semantic Web=20
 *  Logic programming, answer set programming, constraint logic =
programming=20
 *  Nonmonotonic logics, default logics, conditional logics=20
 *  Ontology formalisms and models=20
 *  Philosophical foundations of KR=20
 *  Preferences: modeling and representation, preference-based reasoning=20=

 *  Reasoning about action and change: action languages, situation =
calculus, causality=20
 *  Reasoning about knowledge and belief, dynamic epistemic logic, =
epistemic and doxastic logics=20
 *  Reasoning systems and solvers, knowledge compilation=20
 *  Spatial reasoning and temporal reasoning, qualitative reasoning=20
 *  Uncertainty, representations of vagueness, many-valued and fuzzy =
logics=20

SUBMISSION INFORMATION=20
----------------------
Submissions must be original, and should not have been previously =
published,=20
accepted for publication, or currently be under review. Authors may not =
submit=20
their paper elsewhere during the KR 2016 reviewing period. These =
considerations=20
apply only to journals and conferences, and not to workshops and forums =
with a=20
limited audience and without archival proceedings. In case of doubt, =
please=20
contact the Program Chairs.

Papers must be submitted in AAAI style and PDF format. The maximum =
length of a=20
submission is 9 pages including abstract, figures, and appendices (if =
any) but=20
excluding references. Reviewing will be non-blind.

AAAI author instructions:=20
http://www.aaai.org/Publications/Author/author.php

AAAI author kit:=20
http://www.aaai.org/Publications/Templates/AuthorKit.zip

The conference proceedings will be published by AAAI Press.=20

For complete details, see the 'Submission information' page at =
http://www.kr.org/KR2016=20

PRIZES
------
The best paper of the conference will receive the 2016 Ray Reiter Best =
Paper
Prize, and the best student paper, whose main author is a student, will
receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few =
selected
papers from KR 2016 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.

CONFERENCE CHAIRS=20
-----------------=20
 *  General: Chitta Baral (Arizona State University, USA)=20
 *  Program: James Delgrande (Simon Fraser University, Canada), Frank =
Wolter (University of Liverpool, UK)=20
 *  Local Organization: Thomas Meyer (University of Cape Town and CAIR, =
South Africa)=20
 *  Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee =
(Arizona State University, USA)=20
 *  Sponsorship and Publicity: Ivan Varzinczak (Federal University of =
Rio de Janeiro, Brazil)=20

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