Link

AI in generale

• AI on the Web: Vari link sull'Intelligenza Artificiale
• CIspace: 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 ECLⁱPS^e.

Approfondimenti sull'uso di ECLⁱPS^e:

• Helmut Simonis. ECLⁱPS^e ELearning Website (in costruzione)

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 ECLⁱPS^e. 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

• comp.constraints
• it.comp.ia

Altre informazioni possono essere trovate sul sito del corso di Fondamenti di Intelligenza Artificiale