Frontmatter
Conference Committee | PDF () PDF |
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 |
Full Papers
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning | |
Jinbo Huang |
Implicit Constraints for Qualitative Spatial and Temporal Reasoning | |
Jochen Renz |
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 |
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 |