| 1 | -- | 3 | Michael Kaminski, Miroslaw Truszczynski. Preface |
| 5 | -- | 16 | Jeffrey B. Remmel. My work with Victor Marek: a mathematician looks at answer set programming |
| 17 | -- | 20 | Miroslaw Truszczynski. My six encounters with Victor Marek - a personal account |
| 21 | -- | 49 | Alexander Bochman. Default logic generalized and simplified |
| 51 | -- | 114 | Nils Bulling, Wojciech Jamroga, Jürgen Dix. Reasoning about temporal properties of rational play |
| 115 | -- | 152 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer. Exploiting conjunctive queries in description logic programs |
| 153 | -- | 167 | Melvin Fitting. Justification logics, logics of knowledge, and conservativity |
| 169 | -- | 204 | Enrico Giunchiglia, Nicola Leone, Marco Maratea. On the relation among answer set solvers |
| 205 | -- | 223 | Michael Kaminski. A non-preferential semantics of non-monotonic modal logic |
| 225 | -- | 250 | Johann A. Makowsky. From Hilbert s program to a logic tool box |
| 251 | -- | 287 | Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang. Integrating answer set programming and constraint logic programming |
| 289 | -- | 311 | Anil Nerode, Jeffrey B. Remmel. Consistency properties and set based logic programming |
| 313 | -- | 329 | Ilkka Niemelä. Stable models and difference logic |
| 331 | -- | 365 | Miroslaw Truszczynski, Stefan Woltran. Hyperequivalence of logic programs with respect to supported models |