[PlanetKR] KR 2012 Call for Papers

Mary-Anne Williams Mary-Anne at TheMagicLab.org
Sat Sep 3 14:18:42 EST 2011

Call for papers for the *13th International Conference on Principles of
Knowledge Representation and Reasoning* to be held in Rome, Italy, June
10-14, 2012.Website: http://kr.org/KR2012/

Co-located with DL 2012 <http://www.dl.kr.org/>, NMR
, AI*IA 2012 <http://www.aixia.it/>
KR 2012 Important Dates (Preliminary)

   - Submission of title and abstract: November 30, 2011
   - Paper submission deadline: December 9, 2011
   - Notification of acceptance: February 3, 2012
   - Camera-ready papers due: March 4, 2012
   - Conference date: June 10-14, 2012.

Knowledge Representation and Reasoning (KR&R) is a well-established and
vibrant field of research. KR&R techniques are key drivers of innovation in
computer science, and they have led to significant advances in practical
applications in a wide range of areas from Artificial Intelligence to
Software Engineering.

The underlying approach of explicitly representing knowledge in a tangible
form, suitable for processing by dedicated reasoning engines, is a
fundamental component of many modern intelligent systems. Foundational and
applied research in KR&R contributes to the principles of artificial
intelligence. It also contributes to the foundations of longstanding fields
including automated planning, databases, and software engineering. In recent
years KR&R has also derived challenges from new and emerging fields
including the semantic web, computational biology, and the development of
software agents.

KR2012 will be a forum for the exchange and discussion of new ideas, issues,
and results on the principles and practice of KR&R. 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 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
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
   - Decision making
   - 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:* Gerhard Brewka (U Leipzig)
*Program:* Thomas Eiter (TU Vienna), Sheila McIlraith (U Toronto)
*Local Organization:* Giuseppe De Giacomo, Marco Schaerf (U "La Sapienza",
*Doctoral Consortium:* Esra Erdem (Sabanci University), Frank Wolter (U
*Publicity:* Benjamin Johnston, Mary-Anne Williams (UT Sydney)


Professor Mary-Anne Williams
Associate Dean (Research and Development)
Faculty of Engineering and Information Technology
University of Technology, Sydney
Research and Development Office
Building 2 Level 7 Room 7092
*P.O. 123 Broadway NSW 2007 Australia
Phone: + 61 2 9514 2663 (Gunasmin)
Facsimile: + 61 2 9514 2868
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20110903/272f142c/attachment.html 

More information about the PlanetKR mailing list