![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Intelligenza Artificiale, Volume 5
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.