| 1 | -- | 2 | Oliviero Stock. Editorial |
| 5 | -- | 17 | Leonardo Vanneschi, Luca Mussi, Stefano Cagnoni. Hot topics in Evolutionary Computation |
| 19 | -- | 35 | Antonia Azzini, Andrea Tettamanzi. Evolutionary ANNs: A state of the art survey |
| 37 | -- | 47 | Christian Darabos, Marco Tomassini, Ferdinando Di Cunto, Paolo Provero, Jason H. Moore, Mario Giacobini. Toward robust network based complex systems: from evolutionary cellular automata to biological models |
| 49 | -- | 63 | Alberto Moraglio, Riccardo Poli. Geometric crossover for the permutation representation |
| 67 | -- | 69 | Matteo Baldoni, Cristina Baroglio. A journey in Computational Logic in Italy |
| 71 | -- | 75 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari. Learning specifications of interaction protocols and business processes and proving their properties |
| 77 | -- | 81 | José Júlio Alferes, Federico Banti, Antonio Brogi. Evolving reactive logic programs |
| 83 | -- | 88 | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella. Models of agent interaction based on modal logics |
| 89 | -- | 93 | Piero A. Bonatti. On the decidability of FDNC programs |
| 95 | -- | 99 | Annalisa Bossi, Nicoletta Cocco. A valuable experience in logic programming |
| 101 | -- | 105 | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni. Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions |
| 107 | -- | 111 | Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza. DALI, RASP, mnemosine: Computational Logic at work |
| 113 | -- | 117 | Agostino Dovier. Recent constraint/logic programming based advances in the solution of the protein folding problem |
| 119 | -- | 125 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Program transformation for development, verification, and synthesis of programs |
| 127 | -- | 131 | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind. Non-classical logics for knowledge representation and reasoning |
| 133 | -- | 138 | Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà. A long tour from theory to practice |
| 139 | -- | 143 | Paolo Mancarella, Francesca Toni. Computational logic in agent based systems |
| 145 | -- | 149 | Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli. Some applications of Computational Logic to the development of intelligent systems and verification methods |
| 151 | -- | 155 | Giulio Piancastelli, Andrea Omicini, Enrico Denti. Towards a logic framework for Web programming |
| 157 | -- | 161 | Gianfranco Rossi. From set unification to set constraints |