Frontmatter
| 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 |
| Fixed-Parameter Algorithms for Finding Minimal Models | |
| Martin Lackner, Andreas Pfandler |
| 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 |
| Query Containment in Description Logics Reconsidered | |
| Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 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 |
| An Abstraction Technique for the Verification of Artifact-Centric Systems | |
| Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| Only-Knowing Meets Nonmonotonic Modal Logic | |
| Gerhard Lakemeyer, Hector J. Levesque |
| Declarative Entity Resolution via Matching Dependencies and Answer Set Programs | |
| Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan |
| From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP | |
| Chitta Baral, Shanshan Liang |
| 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 |
| 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
| Modelling Time and Reliability in Structured Argumentation Frameworks | |
| Maximiliano Celmo Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari |
| Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework | |
| Jianbing Ma, Salem Benferhat, Weiru Liu |