I

Intelligenza Artificiale

4 Followers

IA15.1 PROLOG - Gestione dell'Input-Output

37:35

IA14.1 PROLOG - Gestione dei Termini

31:57

$IA13.2 PROLOG - Negazione per Fallimento " \+"$

18:31

IA13.1 PROLOG - il CUT " ! "

38:47

IA12.3 PROLOG - Liste, Operatori, Aritmetica 4

10:07

IA12.3 PROLOG - Liste, Operatori, Aritmetica 3

25:47

IA12.2 PROLOG - Liste, Operatori, Aritmetica 2

20:36

IA12.1 PROLOG - Liste, Operatori, Artitmetica 1

29:42

IA11.1 PROLOG - Sintassi e Semantica 1

19:45

IA10.6 PROLOG - Introduzione 6

6:24

IA10.5 PROLOG - Introduzione 5

6:04

IA10.4 PROLOG - Introduzione 4

6:48

IA10.3 PROLOG - Introduzione 3

8:01

IA10.2 PROLOG - Introduzione 2

17:14

IA09: Logica del 1° Ordine: Programmi Normali

25:44

IA08: Logica del 1° Ordine: Alberi SLD

38:24

IA10.1 PROLOG. IB - Introduzione 1.webm

25:44

IA07: Logica del 1° Ordine: Risoluzione SLD

38:46

IA06: Logica del 1° Ordine: Risoluzione Lineare

46:50

IA05: Logica del 1° Ordine: Teorema di Herbrand

32:27

IA04: Logica del 1° Ordine: Clausole

24:23

IA03: Logica del 1° Ordine: Sistemi Formali

40:06

IA02: Logica del 1° Ordine: Semantica

34:24

IA01: Logica del 1° Ordine: Sintassi

31:48