Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR2010)
Edited by Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski
Toronto, Ontario, Canada, May 9–13, 2010.
Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Program Committee / xi
Additional Reviewers / xii
Preface / xv
Invited Presentations
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
Chitta Baral, Ian Horrocks, Yoav Shoham
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract)
Chitta Baral
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
Leonardo de Moura, Carsten Lutz, Monica Mc Schraefel, Bernhard Nebel
Abduction and Diagnosis
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Nadia Creignou, Johannes Schmidt, Michael Thomas
New Advances in Sequential Diagnosis
Sajjad Ahmed Siddiqi, Jinbo Huang
Diagnosis as Planning Revisited
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
Agents, Multiagent Systems, and Distributed Reasoning
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
Francesco Belardinelli, Alessio Lomuscio
Multi-Agent Only-Knowing Revisited
Vaishak Belle, Gerhard Lakemeyer
Distributed Nonmonotonic Multi-Context Systems
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Modelling Combinatorial Auctions in Linear Logic
Daniele Porello, Ulle Endriss
Integrating Action Calculi and AgentSpeak: Closing the Gap
Michael Thielscher
One Hundred Prisoners and a Lightbulb — Logic and Computation
Hans van Ditmarsch, Jan van Eijck, William Wu
Argumentation
Abstract Dialectical Frameworks
Gerhard Brewka, Stefan Woltran
Towards Fixed-Parameter Tractable Algorithms for Argumentation
Wolfgang Dvorak, Reinhard Pichler, Stefan Woltran
Characterizing Strong Equivalence for Argumentation Frameworks
Emilia Oikarinen, Stefan Woltran
Belief Change, Counterfactuals, and Update
Characterizing Updates in Dynamic Epistemic Logic
Guillaume Aucher
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches
James Delgrande, Renata Wassermann
From Causal Models To Counterfactual Structures
Joseph Y. Halpern
Taxonomy of Improvement Operators and the Problem of Minimal Change
Sébastien Konieczny, Mattia Medina Grespan, Ramon Pino Pérez
Decision Theory
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Joseph Y. Halpern
Description Logics and Ontologies
Query and Predicate Emptiness in Description Logics
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Decidability of a Description Logic over Infinite-Valued Product Logic
Marco Cerami, Francesc Esteva, Felix Bou
Pushing the Limits of Reasoning over Ontologies with Hidden Content
Bernardo Cuenca Grau, Boris Motik
Status QIO: Conjunctive Query Entailment Is Decidable
Birte Glimm, Sebastian Rudolph
Decomposing Description Logic Ontologies
Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter
The Combined Approach to Query Answering in DL-Lite
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
Understanding Ontological Levels
Claudio Masolo
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
Rafael Peñaloza, Barış Sertkaya
Improving Query Answering over DL-Lite Ontologies
Riccardo Rosati, Alessandro Almatelli
Inconsistency Handling
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information
Ofer Arieli
Maximally Paraconsistent Three-Valued Logics
Ofer Arieli, Arnon Avron, Anna Zamansky
A Class of df-Consistencies for Qualitative Constraint Networks
Jean-François Condotta, Christophe Lecoutre
Finding Explanations of Inconsistency in Multi-Context Systems
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
Planning
Generalized Planning with Loops under Strong Fairness Constraints
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina
A Correctness Result for Reasoning about One-Dimensional Planning Problems
Yuxiao Hu, Hector J. Levesque
Possibility Theory and Uncertainty
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System
Agata Ciabattoni, Pavel Rusnok
Novel Semantical Approaches to Relational Probabilistic Conditionals
Gabriele Kern-Isberner, Matthias Thimm
Probabilistic Description Logics for Subjective Uncertainty
Carsten Lutz, Lutz Schröder
Preferential Semantics for Plausible Subsumption in Possibility Theory
Guilin Qi, Zhizheng Zhang
Preferences
From Preference Logics to Preference Languages, and Back
Meghyn Bienvenu, Jérôme Lang, Nic Wilson
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
Ronen Brafman, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh
Reasoning about Action and Action Programs
State Defaults and Ramifications in the Unifying Action Calculus
Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
Situation Calculus Based Programs for Representing and Reasoning about Game Structures
Giuseppe De Giacomo, Yves Lesperance, Adrian R. Pearce
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering
Hannaneh Hajishirzi, Eyal Amir
Rule-Based Reasoning, Logic Programming, and Answer Set Programming
Walking the Decidability Line for Rules with Existential Variables
Jean-François Baget, Michel LeClere, Marie-Laure Mugnier
A Decidable Class of Groundable Formulas in the General Theory of Stable Models
Michael Bartholomew, Joohyung Lee
Paracoherent Answer Set Programming
Thomas Eiter, Michael Fink, Joao Moura
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
On the Progression Semantics and Boundedness of Answer Set Programs
Yan Zhang, Yi Zhou
Security, Spatial Reasoning, and Analogical Reasoning
Independence and Functional Dependence Relations on Secrets
Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp
Interpreting Topological Logics over Euclidean Spaces
Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
Reasoning with Logical Proportions
Henri Prade, Gilles Richard
Short Papers
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field
Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis
Formalizing Psychological Knowledge in Answer Set Programming
Marcello Balduccini, Sara Girotto
A Logical Understanding of Legal Interpretation
Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre
Ontologies for Dates and Duration
Michael Gruninger
From Justifications Towards Proofs for Ontology Engineering
Matthew Horridge, Bijan Parsia
Joint Revision of Beliefs and Intention
Thomas Icard, Eric Pacuit, Yoav Shoham
The Temporal Logic of Token Causes
Samantha Kleinberg, Bud Mishra
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets
Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk
A Layered Graph Representation for Complex Regions
Sanjiang Li
The Modular Structure of an Ontology: An Empirical Study
Bijan Parsia, Thomas Schneider
Towards a Logic of Feature-Based Semantic Science Theories
David Poole
Efficient Dominance Testing for Unconditional Preferences
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
Set-Oriented Logical Connectives: Syntax and Semantics
Stuart C. Shapiro
Towards Runtime Support for Norm-Governed Multi-Agent Systems
Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis
Revising General Knowledge Bases in Description Logics
Zhe Wang, Kewen Wang, Rodney Topor
Forgetting Revisited
Yan Zhang, Yi Zhou
Index / 733
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.