| Rachel Ben-Eliyahu-Zohary: Quantified Logic Programs, Revisited |
| Gelsomina Catalano, Nicola Leone, Simona Perri. On Demand Indexing for the DLV Instantiator |
| Stefania Costantini, Andrea Formisano: Modeling preferences on resource consumption and production in ASP |
| Uwe Egly, Sarah Gaggl, Stefan Woltran: Answer-Set Programming Encodings for Argumentations Frameworks |
| Philipp Kärger, Nuno Lopes, Axel Polleres, Daniel Olmedilla: Towards Logic Programs with Ordered and Unordered Disjunction |
| Joohyung Lee, Ravi Palla: Classical Logic Event Calculus as Answer Set Programming |
| Claire Lefèvre, Pascal Nicolas: Integrating Grounding in the Search Process for Answer Set Computing |
| Simona Perri, Francesco Ricca, Saverio Vescio: Efficient Parallel ASP Instantiation via Dynamic Rewriting |
| Joost Vennekens, Marc Denecker: FO(ID) as an extension of DL with rules |