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

• 
  Hector Geffner: The model-based approach to autonomous behavior: Prospects and challenges. 163-169
• 
  Vibhav Gogate, Rina Dechter: Sampling-based lower bounds for counting queries. 171-188
• 
  Gianluigi Greco, Antonella Guzzo, Domenico Saccà: Simulations on workflow management systems: A framework based on event choice datalog. 189-206
• 
  Mario Alviano: Efficient recursive aggregate evaluation in logic programming. 207-215
• 
  Lorenzo Menconi, Marco Gori, Marco Lippi: Computational models for short-term prediction of the stock market. 217-227

last updated on Fri May 24 06:04:36 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page