Mary-Anne Williams Mary-Anne at TheMagicLab.org
Sat Nov 19 08:05:28 EST 2011


                         *** KR 2012 ***

                13th International Conference on
      Principles of Knowledge Representation and Reasoning

                         Rome, Italy
                      June 10-13, 2012


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

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

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

The reference time for all deadlines is 23:59 UTC-12.  If you
are "on time" anywhere in the world, you are "on time".

- Craig Boutilier, University of Toronto
- Maurizio Lenzerini, U "La Sapienza", Rome
- Vladimir Lifschitz, UT Austin
- Moshe Vardi, Rice University

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. Keynote
lectures will be given by distinguished researchers including Craig
Boutilier, Maurizio Lenzerini, Vladimir Lifschitz, and Moshe Vardi.
A 1-day tutorial program will be held on Sunday June 10.  The
technical program will commence on Monday June 11.

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

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

AAAI author instructions:
AAAI author kit:
The conference proceedings will be published by the AAAI Press.

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

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20111119/81af7c54/attachment.html 

More information about the PlanetKR mailing list