IA course @ Sapienza
-
spurious correlations
-
video su un professore che parla di AI e lavoro
-
CSP meetings M (numero di incontri) indipendente da T e S
-
E.A.3.1 - Esplorazione di spazi degli stati 1 (+ soluzione)
-
E.A.3.2 - Esplorazione di spazi degli stati 2 (no soluzione)
-
E.A.3.3 - Esplorazione di spazi degli stati, HP 2D-Protein Folding (- soluzione)
-
E.A.4.1 - Algoritmi a miglioramento iterativo, N-Queens (- soluzione)
-
E.A.4.2 - Algoritmi a miglioramento iterativo, HP 2D-Protein Folding (- soluzione)
-
E.A.5.1 - CSP, steepest descent (no soluzione)
-
E.A.5.2 - CSP, N-Queens (+ soluzione)
-
E.A.5.3 - CSP, Edge colouring (+ soluzione) (+ video)
-
E.A.5.4 - CSP, Generalised Arc-Consistency (+ video)
-
E.A.5.5 - CSP, Backtracking e Propagazione di Vincoli (+ video)
-
E.A.5.6 - CSP, Cards (+ soluzione) (+ video)
-
E.A.5.7 - CSP, Cards 2 (+ soluzione) (+ video)
-
E.A.5.8 - CSP, Social Golfers (+ soluzione) (+ video)
-
E.A.5.9 - CSP, Meetings (- soluzione)
-
E.A.5.10 - CSP, Protein Folding
-
E.A.6.1 - Logica proposizionale, Risoluzione 1 (+ video)
-
E.A.6.2 - Logica proposizionale, Risoluzione 2 (no soluzione)
-
E.A.6.3 - Logica proposizionale, DPLL 1 (+ soluzione)
-
E.A.6.4 - SAT, N-Queens (+ soluzione)
-
E.A.6.5 - SAT, Schur's lemma (+ video)
-
E.A.6.6 - SAT, Edge colouring (+ video)
-
E.A.6.7 - SAT, HC-VIP (+ soluzione) (+ video)
-
E.A.6.8 - SAT, Graph colouring with red self-loops (+ soluzione)
-
E.A.6.9 - SAT, Cards (no soluzione)
-
E.A.6.10 - SAT, Cards 2 (no soluzione)
-
E.A.6.11 - SAT, Meetings (- soluzione)
-
E.A.6.12 - SAT, Rostering (- soluzione)
-
E.A.6.13 - SAT, Il mondo del Wumpus (- soluzione)
-
E.B.1.1 - FOL, Studenti ansiosi, modelling (~ soluzione)
-
E.B.1.2 - FOL, Studenti ansiosi, inferenza (- soluzione)
-
E.B.1.3 - FOL, Aldo, modelling (~ soluzione)
-
E.B.1.4 - FOL, Aldo, inferenza (- soluzione)
-
E.B.1.5 - FOL, Club delle Alpi, modelling e inferenza (- soluzione)
-
E.B.2.1 - PDDL, Torri di Hanoi, modelling (- soluzione)
-
E.B.2.2 - PDDL, Domino, modelling (- soluzione)
-
E.B.2.3 - PDDL, Water (- soluzione)
-
E.B.2.4 - PDDL, Torri di Hanoi, codifica SATPlan (- soluzione)
-
E.B.3.2.2.1 - BN, I Rossi, Modelling (- soluzione)
-
E.B.3.2.2.2 - BN, I Rossi, Inferenza (- soluzione)