Temas de "Razonamiento Automático" (99-00)
- Tema 1:
Revisión de Prolog.
- Tema 2:
Inteligencia computacional y conocimiento
- Tema 3:
Sistema inicial de representación y razonamiento
- Tema 4:
Programación lógica y Prolog
- Tema 5:
Razonamiento con conocimiento estructurado
- Tema 6:
Búsqueda y programación lógica
- Tema 7:
Ingeniería del conocimiento y metaintérpretes
- Tema 8:
Razonamiento con lenguaje natural
- Tema 9:
Razonamiento con información incompleta
- Tema 10:
Razonamiento automático con OTTER y MACE
- Tema 11:
Aplicaciones de razonamiento automático con OTTER.