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