| 209 | -- | 212 | Marc Gyssens, Guillermo Ricardo Simari. Preface |
| 213 | -- | 246 | Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp. Active integrity constraints for general-purpose knowledge bases |
| 247 | -- | 275 | Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch. Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem |
| 277 | -- | 295 | Bernhard Bliem, Stefan Woltran. Equivalence between answer-set programs under (partially) fixed input |
| 297 | -- | 320 | Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema. Approximation and dependence via multiteam semantics |
| 321 | -- | 349 | Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002. A unifying logic for non-deterministic, parallel and concurrent abstract state machines |
| 351 | -- | 382 | Ioannis Kokkinis. The complexity of satisfiability in non-iterated and iterated probabilistic logics |