Link
Alcuni siti consigliati per approfondimenti
AI in generale
- AI on the Web: Vari link sull'Intelligenza Artificiale
- AIspace: alcuni applet Java che mostrano l'esecuzione passo-passo di vari algoritmi di Intelligenza Artificiale (ricerca nei grafi, arc-consistenza, reti neurali, risoluzione SLD, ...)
Machine Learning
- Knowledge Discovery Network: sito contenente informazioni sul Machine Learning. Su questo sito è possibile trovare:
- un elenco di sistemi software con gli indirizzi da cui scaricarli
- un elenco dei dataset disponibili in rete
- un elenco dei gruppi di ricerca sul Machine Learning
- un elenco degli eventi riguardanti il Machine Learning
- ILP education material: sito contenente materiale didattico sulla Programmazione Logica Induttiva
- Libro su ILP scaricabile
- ILP per Linguaggio Naturale
- Applicazioni e dataset di ILP
Vincoli e Programmazione a Vincoli
Nelle esercitazioni del corso si usa il linguaggio ECLiPSe.
Approfondimenti sull'uso di ECLiPSe:
- Helmut Simonis. ECLiPSe ELearning Website (in costruzione)
- Antoni Niederliński. A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe. 2011, IX, 420 p. ISBN 978-83-62652-08-2. PDF scaricabile gratuitamente.
Alcuni libri disponibili alla biblioteca scientifico tecnologica
- Krzysztof Apt, Mark Wallace Constraint Logic Programming using ECLiPSe pdf
Articoli introduttivi sulla programmazione a vincoli:
- Dick Pountain. Constraint Logic Programming Byte, Feb 1995.
- Roman Barták. On-line guide to Constraint Programming
- Sito introduttivo di Constraint Handling Rules (CHR)
- Marco Gavanelli. University Timetabling in ECLiPSe. ALP Newsletter 19(3):2, August 2006. Articolo che spiega come viene fatto l'orario delle lezioni di Ingegneria dell'Informazione a Ferrara
Altri sistemi di programmazione a vincoli:
- B-Prolog
- Choco Open source, basato su Java
- Constraint Handling Rules
- Gecode, open source, basato su C++
- Mozart, Open source
- SICStus, proprietario, basato su Prolog
Newsgroup
Altre informazioni possono essere trovate sul sito del corso di Fondamenti di Intelligenza Artificiale