![]() |
| |||||||||||||||||
KR 2012 : 13th International Conference on the Principles of Knowledge Representation and ReasoningConference Series : Principles of Knowledge Representation and Reasoning | |||||||||||||||||
Link: http://www.dis.uniroma1.it/~kr12/ | |||||||||||||||||
| |||||||||||||||||
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. Website: http://kr.org/KR2012/ 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 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", Rome) Doctoral Consortium: Esra Erdem (Sabanci University), Frank Wolter (U Liverpool) Publicity: Benjamin Johnston, Mary-Anne Williams (UT Sydney) |
|