Temas
- Tema 1:
Lógica proposicional: Sintaxis y semántica.
- Tema 2:
Lógica proposicional: Formas normales y cláusulas.
- Tema 3:
Lógica proposicional: Resolución proposicional.
- Tema 4:
Lógica proposicional: Refinamientos de resolución.
- Tema 5:
Programación lógica proposicional.
- Tema 6:
Programación lógica y Prolog.
- Tema 7:
Metaprogramación.
- Tema 8:
Sistemas de producción progresivos.
- Tema 9:
SP para planificación y juego.