| 835 | -- | 836 | Daniela Inclezan, Marco Maratea. Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms' |
| 837 | -- | 862 | Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran. Computing secure sets in graphs using answer set programming |
| 863 | -- | 897 | Mario Alviano, Carmine Dodaro, João Marques-Silva 0001, Francesco Ricca. Optimum stable model search: algorithms and implementation |
| 899 | -- | 922 | Joseph Babb, Joohyung Lee. Action language ℬℭ+ |
| 923 | -- | 952 | Martin Gebser, Tomi Janhunen, Jussi Rintanen. Declarative encodings of acyclicity properties |
| 953 | -- | 989 | Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang 0002. The language of epistemic specifications (refined) including a prototype solver |