Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR2012)
Edited by Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith
Rome, Italy, June 10–14, 2012.
Published by The AAAI Press, Palo Alto, 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
Conference Committee
Sheila McIlraith, Thomas Eiter
Area Chairs and Program Committee
Sheila McIlraith, Thomas Eiter
Preface
Sheila McIlraith, Thomas Eiter
Lecture in Remembrance of John McCarthy
Leora Morgenstern
Invited Talks
Craig Boutilier, Maurizio Lenzerini, Vladimir Lifschitz, Moshe Y. Vardi
Answer Set Programming and Logic Programming
Stable Models of Formulas with Intensional Functions
Michael Bartholomew, Joohyung Lee
Efficiently Computable Datalog∃ Programs
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Logic Programs with Intensional Functions
Vladimir Lifschitz
Answer Set Programming via Mixed Integer Programming
Guohua Liu, Tomi Janhunen, Ilkka Niemela
On the Small-Scope Hypothesis for Testing Answer-Set Programs
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
Argumentation
Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Fixpoints and Iterated Updates in Abstract Argumentation
Davide Grossi
Automated Reasoning and Computation
On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis
Fixed-Parameter Algorithms for Finding Minimal Models
Martin Lackner, Andreas Pfandler
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Belief Revision and Update
Horn Belief Contraction: Remainders, Envelopes and Complexity
Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán
Credibility-Limited Revision Operators in Propositional Logic
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez
Belief Revision within Fragments of Propositional Logic
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
Ontology Evolution Under Semantic Constraints
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
Belief Revision with Sensing and Fallible Actions
James Delgrande, Hector J. Levesque
Robust Equivalence Models for Semantic Updates of Answer-Set Programs
Martin Slota, João Leite
Model Based Horn Contraction
Zhiqiang Zhuang, Maurice Pagnucco
Decision Making and Reasoning about Preferences
Paradoxes of Multiple Elections: An Approximation Approach
Vincent Conitzer, Lirong Xia
Strong Equivalence of Qualitative Optimization Problems
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions
Stefano Moretti, Alexis Tsoukiàs
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities
Nic Wilson, Radu Marinescu
Description Logics
Query Containment in Description Logics Reconsidered
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Undecidability of Fuzzy Description Logics
Stefan Borgwardt, Rafael Peñaloza
Acyclicity Conditions and their Application to Query Answering in Description Logics
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Georg Gottlob, Thomas Schwentick
Practical Reasoning with Nominals in the EL Family of Description Logics
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
Conjunctive Query Answering with OWL 2 QL
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL
Carsten Lutz, Inanc Seylan, Frank Wolter
Non-Uniform Data Complexity of Query Answering in Description Logics
Carsten Lutz, Frank Wolter
High Performance Query Answering over DL-Lite Ontologies
Mariano Rodriguez-Muro, Diego Calvanese
Epistemic and Modal Logics
An Abstraction Technique for the Verification of Artifact-Centric Systems
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Ambiguous Language and Differences in Beliefs
Joseph Halpern, Willemien Ket
Automated Verification of Epistemic Properties for General Game Playing
Sebastian Haufe, Michael Thielscher
Only-Knowing Meets Nonmonotonic Modal Logic
Gerhard Lakemeyer, Hector J. Levesque
Abstract Normative Systems: Semantics and Proof Theory
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata
Ordered Epistemic Logic: Semantics, Complexity and Applications
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Inconsistency-Tolerant and Similarity-Based Reasoning
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs
Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan
Paraconsistent Hybrid Theories
Michael Fink
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction
Henri Prade, Gilles Richard
Knowledge Representation and Knowledge-Based Systems
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP
Chitta Baral, Shanshan Liang
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming
Vinay K. Chaudhri, Tran Cao Son
Generalized Ontology-Based Production Systems
Riccardo Rosati, Enrico Franconi
Reasoning about Actions and Planning
Abstracting Abstraction in Search with Applications to Planning
Christer Backstrom, Peter Jonsson
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
Bounded Situation Calculus Action Theories and Decidable Verification
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Temporal Composite Actions with Constraints
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
Spatial and Temporal Reasoning
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning
Jinbo Huang
Implicit Constraints for Qualitative Spatial and Temporal Reasoning
Jochen Renz
Uncertainty
Stable Models in Generalized Possibilistic Logic
Didier Dubois, Henri Prade, Steven Schockaert
A Bipolar Framework for Combining Beliefs about Vague Propositions
Jonathan Lawry, Didier Dubois
Reports from the Field
JASP: A Framework for Integrating Answer Set Programming with Java
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
The Winograd Schema Challenge
Hector Levesque, Ernest Davis, Leora Morgenstern
Short Papers
Exchanging Description Logic Knowledge Bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
Extending Unification in EL Towards General TBoxes
Franz Baader, Stefan Borgwardt, Barbara Morawska
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation
Chitta Baral, Juraj Dzifcak
Modelling Time and Reliability in Structured Argumentation Frameworks
Maximiliano Celmo Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari
The Complexity of Explaining Negative Query Answers in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis
Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar
Weighted Attacks in Argumentation Frameworks
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
Efficient Argumentation for Medical Decision-Making
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
Compositional Belief Merging
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Worst-Case Optimal Reasoning with Forest Logic Programs
Cristina Feier
Stream Reasoning with Answer Set Programming: Preliminary Report
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre'
Justification Masking in Ontologies
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Search Strategy Simulation in Constraint Booleanization
Jinbo Huang
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework
Jianbing Ma, Salem Benferhat, Weiru Liu
Towards Parallel Nonmonotonic Reasoning with Billions of Facts
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
Forgetting in Logic Programs under Strong Equivalence
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
Assertion Absorption in Object Queries over Knowledge Bases
Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell
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.