posted by user: sukrr || 20085 views || tracked by 84 users: [display]

KR 2012 : 13th International Conference on the Principles of Knowledge Representation and Reasoning


Conference Series : Principles of Knowledge Representation and Reasoning
When Jun 10, 2012 - Jun 14, 2012
Where Rome, Italy
Abstract Registration Due Nov 30, 2011
Submission Deadline Dec 9, 2011
Notification Due Feb 3, 2012
Final Version Due Mar 4, 2012

Call For Papers

KR 2012 Call for Papers

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.
Co-located with DL 2012, NMR 2012, AI*IA 2012

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


Topics of interest include, but are not limited to:
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", Rome)
Doctoral Consortium: Esra Erdem (Sabanci University), Frank Wolter (U Liverpool)
Publicity: Benjamin Johnston, Mary-Anne Williams (UT Sydney)

Related Resources

IJCAI 2017   International Joint Conference on Artificial Intelligence
KR 2018   16th International Conference on Principles of Knowledge Representation and Reasoning
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
KRR@SAC 2018   KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)
TIME 2017   24th International Symposium on Temporal Representation and Reasoning
IEEE--ICKEA--Ei Compendex & Scopus 2018   2018 3rd International Conference on Knowledge Engineering and Applications (ICKEA 2018)--IEEE, Ei Compendex & Scopus
ICAIR 2018   2018 3rd International Conference on Artificial Intelligence and Robotics (ICAIR 2018)
ICLR 2017   5th International Conference on Learning Representations
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference