Full Papers
Efficiently Computable Datalog∃ Programs | |
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
On the Small-Scope Hypothesis for Testing Answer-Set Programs | |
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits |
A Generic Querying Algorithm for Greedy Sets of Existential Rules | |
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph |
Horn Belief Contraction: Remainders, Envelopes and Complexity | |
Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán |
Strong Equivalence of Qualitative Optimization Problems | |
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran |
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions | |
Stefano Moretti, Alexis Tsoukiàs |
Automated Verification of Epistemic Properties for General Game Playing | |
Sebastian Haufe, Michael Thielscher |
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice | |
Alban Grastien, Patrik Haslum, Sylvie Thiébaux |
Short Papers
Efficient Argumentation for Medical Decision-Making | |
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
Achieving Completeness in Bounded Model Checking of Action Theories in ASP | |
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre' |
Towards Parallel Nonmonotonic Reasoning with Billions of Facts | |
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |
Assertion Absorption in Object Queries over Knowledge Bases | |
Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell |