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 |