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 |