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' |