| 147 | -- | 148 | Wolfgang Faber, Nicola Leone. Introduction to the special issue on the 25th annual GULP conference |
| 149 | -- | 173 | Agostino Dovier, Andrea Formisano, Enrico Pontelli. Autonomous agents coordination: Action languages meet CLP() and Linda |
| 175 | -- | 199 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Generalization strategies for the verification of infinite state systems |
| 201 | -- | 225 | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré. Reasoning about actions with Temporal Answer Sets |
| 227 | -- | 252 | Marco Manna, Francesco Ricca, Giorgio Terracina. Consistent query answering via ASP from different perspectives: Theory and practice |
| 253 | -- | 278 | Simona Perri, Francesco Ricca, Marco Sirianni. Parallel instantiation of ASP programs: techniques and experiments |
| 279 | -- | 302 | Fabrizio Riguzzi, Terrance Swift. Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics |