[PlanetKR] Call for Participation KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning

Ivan José Varzinczak ijv at acm.org
Sun Apr 3 22:06:00 EST 2016

                            CALL FOR PARTICIPATION 

                                *** KR 2016 ***

                       15th International Conference on 
             Principles of Knowledge Representation and Reasoning

                           Cape Town, South Africa
                               25-29 April 2016

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

** Registration is now open **

Knowledge Representation and Reasoning (KRR) is an exciting, well-established 
field of research. In KRR 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, KRR has contributed to the theory and 
practice of various areas in AI, such as automated planning and natural 
language understanding, among others, as well as to fields beyond AI, 
including databases, software engineering, 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. Papers have been selected based on
whether they present novel results on the principles of KRR that clearly 
contribute to the formal foundations of relevant problems or show the 
applicability of results to implemented or implementable systems.

** The list of accepted papers is available on the KR 2016 website **

Topics of interest include, but are not limited to: 
 *  Argumentation 
 *  Belief change: 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: multi-agent systems, cognitive robotics, agent models 
 *  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 

Registration website: http://regonline.com/KRDLNMR_2016

For more information on how to register, the registration rates and deadlines, 
please visit the KR 2016 website: http://kr2016.cs.uct.ac.za

Students and recent graduates who wish to apply for a grant, should do so 
online when registering. The first round of grants were allocated to DC 
participants. The second round of grants will be allocated based on 
applications received by 1 March 2016. The final round will be allocated 
based on applications received by 1 April 2016.

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.

 *  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) 
 *  Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) 
 *  Sponsorship and Publicity: Ivan Varzinczak (CRIL, Université d'Artois, France) 

Ivan Varzinczak
CRIL, Université d’Artois, France

More information about the PlanetKR mailing list