Accepted Papers

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