[PlanetKR] KR 2012 Call for Papers

[Mary-Anne Williams]

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/ [kr.org]

Co-located with DL 2012 [www.dl.kr.org], NMR 2012 [www.kr.org], AI*IA
2012 [www.aixia.it]

*** See submission instructions at the bottom of this message ***

KR 2012 IMPORTANT DATES

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

___________________________________________________________________________________________

SUBMISSION INFORMATION

Papers must be submitted in AAAI style and in PDF only (the conference
proceedings will be published by the AAAI Press). The maximum length
of a submission is 9 pages including abstract, figures, and appendixes
(if any) but excluding references. A paper must be submitted on
EASYCHAIR via the following URL:

        http://www.easychair.org/conferences/?conf=kr2012.

A paper must be first registered with a title, abstract, and author
information by November 30, 2011, and the PDF file of the paper must
be uploaded by December 9, 2011. The final paper acceptance
notifications will be sent out by February 3, 2012; an
author rebuttal to reviews before the final decisions will be possible.

For more details, see the conference website: http://kr.org/KR2012/ [kr.org]

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", Rome)
Doctoral Consortium:Esra Erdem (Sabanci University), Frank Wolter (U Liverpool)
Publicity: Benjamin Johnston, Mary-Anne Williams (UT Sydney)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20110919/53109275/attachment.html