Full Papers
Fixpoints and Iterated Updates in Abstract Argumentation | |
Davide Grossi |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs | |
Georg Gottlob, Thomas Schwentick |
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice | |
Alban Grastien, Patrik Haslum, Sylvie Thiébaux |
JASP: A Framework for Integrating Answer Set Programming with Java | |
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
Short Papers
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' |