1. Logica del primo ordine - Parte 1: fondamenti (formato PDF)

2. Logica del primo ordine - Parte 2: automazione (formato PDF)

Letture consigliate:

Haehnle, R. - Tableaux and related methods

3. Logiche non classiche (formato PDF)

4. Logiche sfumate (formato PDF)

Letture consigliate:

Jantzen, J. - Tutorial on Fuzzy Logic

Jantzen, J. - Design of Fuzzy Controllers

5. Description Logics (formato PDF)

Letture consigliate:

Nardi, D., Brachman, R. J. - An Introduction to Description Logics

Baader, F., Nutt, W. - Description Logics

5es. OWL-DL: ontologie e Description Logic

Software per l'esercitazione:

Protégé (scaricare la versione 3 beta full, eseguire l'installazione completa)

Racer

Graphviz

CO-ODE (Protégé OWL Tutorial)

Letture consigliate:

Knublauch, H., Musen, M. A. - Editing Description Logic Ontologies with the Protégé OWL Plugin

Horrocks, I. et al. - From SHIQ and RDF to OWL: The making of a web ontology language

6. Reti bayesiane (formato PDF)

Letture consigliate:

Charniak, E. - Bayesian Networks without Tears

Software per l'esercitazione:

Bayesian Network tools in Java (BNJ)

7. Calcolo Evolutivo (formato PDF)

Letture consigliate:

Whitley, D. - An Overview of Evolutionary Algorithms: Pratical Issues and Common Pitfalls

Software per l'esercitazione:

ECJ - A Java-based Evolutionary Computation and Genetic Programming Research System

8. Genetic Programming (formato PDF)

Letture consigliate:

Langdon, W. B., Qureshi, A. - Genetic Programming: Computers using Natural Selection to generate programs

Wolpert, D. H., Macready, W. G. - No Free Lunch Theorems for Optimization

Appendice A. Strumenti software per i progetti finali

Avvertenza:
Il software qui esposto è riservato agli studenti del corso e non può essere distribuito a terzi

Software per l'esercitazione:

Robocode (Versione 1.0.6 modificata del 20040603 - Versione originale)

GPRobocode (Integrazione tra Robocode ed ECJ, Versione del 20050114)