Artificial intelligence LS (2008-2009)
Feeds
Infos
(A.Y.) 2008-2009
(University) Alma Mater Studiorum-Università di Bologna
(Faculty/School) Ingegneria CE (0031)
(Cycle) 2nd Cycle
(2nd Cycle Course) 0650 Ingegneria informatica
Materiale integrativo
Meta-euristiche
- Articolo di introduzione alle meta-euristiche. C.Blum, A.Roli. Metaheuristics in Combinatorial Optimization: Overview and Conceptual Comparison. ACM Computing Surveys, Vol.35, N.3, 2003. (preprint available)
- Meta-euristiche in architetture multi-agente. M.Milano, A.Roli. MAGMA: A Multiagent Architecture for Metaheuristics. IEEE Trans. on Systems, Man and Cybernetics - Part B, Vol.34, Issue 2, April 2004. (preprint available)
- Modello formale per la ricerca locale. A.Roli. A note on a model of local search. Technical report TR/IRIDIA/2004/23.01, IRIDIA, Université Libre de Bruxelles, Belgium.
Computazione evolutiva
- Libro (gratuito, licenza Creative Commons) sulla programmazione evolutiva. R. Poli, W.B. Langdon, N.F. McPhee, J. Koza. A Field Guide to Genetic Programming.
Swarm intelligence
- M. Dorigo, E. Bonabeau, G. Theraulaz. Ant algorithms and stigmergy. Future Generation Computer Systems, Vol.16, n.9, 2000.
- C. Blum. Ant colony optimization: Introduction and recent trends. Physics of Life Reviews, 2(4):353-373, 2005.
Logica
- Introduzione agli algoritmi di risoluzione del SAT. C.P. Gomes, H. Kautz, A. Sabharwal and B. Selman. Satisfiability solvers. Book chapter draft, 2007.
- Introduzione ai sistemi fuzzy. B. Kosko and S. Isaka, Fuzzy Logic. Scientific American, July 1993.
Software
- JaCoP: libreria Java per la programmazione a vincoli. Materiale per esercitazione.
- EasyLocal++: framework in C++ per lo sviluppo di algoritmi di ricerca locale stocastica. Presentazione di EasyLocal++.
- Comet: linguaggio per lo sviluppo di meta-euristiche. Materiale per esercitazione.
- JavaNNS: tool in Java per sviluppo e test di reti neuronali artificiali.
- UBCSAT: stochastic local search SAT solver.
- MiniSAT: open-source, complete SAT solver.
