Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Full Papers

On the Small-Scope Hypothesis for Testing Answer-Set Programs PDF
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
Horn Belief Contraction: Remainders, Envelopes and Complexity PDF
Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán
Robust Equivalence Models for Semantic Updates of Answer-Set Programs PDF
Martin Slota, João Leite
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs PDF
Georg Gottlob, Thomas Schwentick
Practical Reasoning with Nominals in the EL Family of Description Logics PDF
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL PDF
Carsten Lutz, Inanc Seylan, Frank Wolter
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming PDF
Vinay K. Chaudhri, Tran Cao Son
Temporal Composite Actions with Constraints PDF
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Stable Models in Generalized Possibilistic Logic PDF
Didier Dubois, Henri Prade, Steven Schockaert

Short Papers

Exchanging Description Logic Knowledge Bases PDF
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
Modelling Time and Reliability in Structured Argumentation Frameworks PDF
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 PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis PDF
Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar
Stream Reasoning with Answer Set Programming: Preliminary Report PDF
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Justification Masking in Ontologies PDF
Matthew Horridge, Bijan Parsia, Ulrike Sattler