Full Papers
| On the Small-Scope Hypothesis for Testing Answer-Set Programs | |
| Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits |
| Horn Belief Contraction: Remainders, Envelopes and Complexity | |
| Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán |
| Robust Equivalence Models for Semantic Updates of Answer-Set Programs | |
| Martin Slota, João Leite |
| 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 |
| An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL | |
| Carsten Lutz, Inanc Seylan, Frank Wolter |
| Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming | |
| Vinay K. Chaudhri, Tran Cao Son |
| Temporal Composite Actions with Constraints | |
| Patrick Doherty, Jonas Kvarnström, Andrzej Szalas |
| Stable Models in Generalized Possibilistic Logic | |
| Didier Dubois, Henri Prade, Steven Schockaert |
Short Papers
| Exchanging Description Logic Knowledge Bases | |
| Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
| 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 |
| Stream Reasoning with Answer Set Programming: Preliminary Report | |
| Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
| Justification Masking in Ontologies | |
| Matthew Horridge, Bijan Parsia, Ulrike Sattler |