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

Efficiently Computable Datalog∃ Programs PDF
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
On the Small-Scope Hypothesis for Testing Answer-Set Programs PDF
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
A Generic Querying Algorithm for Greedy Sets of Existential Rules PDF
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Horn Belief Contraction: Remainders, Envelopes and Complexity PDF
Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán
Strong Equivalence of Qualitative Optimization Problems PDF
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions PDF
Stefano Moretti, Alexis Tsoukiàs
Automated Verification of Epistemic Properties for General Game Playing PDF
Sebastian Haufe, Michael Thielscher
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice PDF
Alban Grastien, Patrik Haslum, Sylvie Thiébaux

Short Papers

Efficient Argumentation for Medical Decision-Making PDF
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
Achieving Completeness in Bounded Model Checking of Action Theories in ASP PDF
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre'
Towards Parallel Nonmonotonic Reasoning with Billions of Facts PDF
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
Assertion Absorption in Object Queries over Knowledge Bases PDF
Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell