Programación lógica (2002-03)
- Tema 1:
El sistema deductivo de Prolog.
- Tema 2:
Prolog.
- Tema 3:
Programación con Prolog.
- Tema 4:
Formalización en Prolog de la lógica proposicional.
- Tema 5:
Implementación en Prolog de los tableros semánticos.
- Tema 6:
Implementación en Prolog de la transformación a cláusulas.
- Tema 7:
Implementación en Prolog de la resolución.
- Tema 8:
Ingeniería del conocimiento y metaintérpretes.
- Tema 9:
Razonamiento por defecto y razonamiento explicativo.
- Tema 10:
Procesamiento de lenguaje natural.