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 |