[PlanetKR] Important: CFP KR2012

[Mary-Anne Williams]

13th International Conference on

Principles of Knowledge Representation and Reasoning

Co-located with AI*IA, NMR-12, DL-12

June 10–14, 2012 ~ Rome, Italy

http://kr.org/KR2012

Preliminary Call for Papers

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
founda-tions 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.

KR 2012 Preliminary Deadlines:

           Title and Abstract: Nov 30, 2011

           Paper Submission: Dec 9, 2011

           Notification: Feb 3, 2012

           Camera-ready Copy: Mar 4, 2012

Topics of Interest include (not limited to):

    o   Argumentation

    o   Belief revision and update, belief merging, information fu-sion

    o   Computational aspects of knowledge representation

    o   Concept formation, similarity-based reasoning

    o   Contextual reasoning

    o   Description logics

    o   Decision making

    o   Explanation finding, diagnosis, causal reasoning, abduction

    o   Inconsistency- and exception tolerant reasoning, paracon-sistent logics

    o   KR and autonomous agents: intelligent agents, cognitive
ro-botics, multi-agent systems

    o   KR and game theory

    o   KR and machine learning, inductive logic programming,
knowledge discovery and acquisition

    o   KR and natural language processing

    o   KR and the Web, Semantic Web

    o   Logic programming, answer set programming, constraint logic programming

    o   Multi- and order-sorted representations and reasoning

    o   Nonmonotonic logics, default logics, conditional logics

    o   Philosophical foundations of KR

    o   Ontology formalisms and models

    o   Preference modeling and representation, reasoning about
preferences, preference-based reasoning

    o   Qualitative reasoning, reasoning about physical systems

    o   Reasoning about actions and change, action languages,
sit-uation calculus, dynamic logic

    o   Reasoning about knowledge and belief, epistemic and dox-astic logics

    o   Spatial reasoning and temporal reasoning

    o   Uncertainty, representations of vagueness, many-valued and fuzzy logics

General Chair:

              Gerhard Brewka (U Leipzig)

Program Chairs:

              Thomas Eiter (TU Vienna), Sheila McIlraith (U Toronto)

Local Organization Chairs:

              Giuseppe De Giacomo, Marco Schaerf (U "La Sapienza", Rome)

Doctoral Consortium Chairs:

              Esra Erdem (Sabanci University), Frank Wolter (U Liverpool)

Publicity Chairs:

              Benjamin Johnston, Mary-Anne Williams (UT Sydney)