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 |