| 537 | -- | 538 | Stefania Costantini, Richard Watson. Editorial |
| 539 | -- | 564 | Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub. Monotonic Answer Set Programming |
| 565 | -- | 590 | Igor Stéphan, Benoit Da Mota, Pascal Nicolas. From (Quantified) Boolean Formulae to Answer Set Programming |
| 591 | -- | 613 | Emilia Oikarinen, Tomi Janhunen. A Translation-based Approach to the Verification of Modular Equivalence |
| 615 | -- | 641 | Martin Brain, Marina De Vos. The Significance of Memory Costs in Answer Set Solver Implementation |
| 643 | -- | 670 | Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell Armi, Giovanni Grasso, Nicola Leone. OntoDLV: An ASP-based System for Enterprise Ontologies |
| 671 | -- | 695 | Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina. Efficiently Querying RDF(S) Ontologies with Answer Set Programming |
| 697 | -- | 715 | Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti. Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures |