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

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

Short Papers

Stream Reasoning with Answer Set Programming: Preliminary Report PDF
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Achieving Completeness in Bounded Model Checking of Action Theories in ASP PDF
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre'