Pianificazione Automatica
- Planning deduttivo
- Introduzione al planning; planning deduttivo (formulazione di Green e di Kowalski)
- Esercizi su Planning deduttivo
- Esercizi in Prolog su planning come deduzione (formulazione di Kowalski)
- Codice Sicstus Prolog Esercizio 1
- Codice SICStus Prolog Esercizio 2
- Codice planning deduttivo - esercizio 2
- Esercizio Compito Esame
- Codice Sicstus Prolog Esercizio 3
- Planning Lineare - STRIPS
- Esercizio pianificazione lineare in Prolog
- Un esempio di pianificatore lineare forward in Prolog
- Pianificazione lineare in Prolog (bis)
- (Stessi contenuti, ma testo più esteso - originale in word)
- Codice SICStus Prolog
- Codice dell'esercizio in Prolog su pianificazione lineare
- Planing non lineare - POP
- Anomalia di Sussman
- Planning lineare vs POP (file ppt)
- GraphPlan
- (solo A.A.2012-13)
