Introducción (20.09.2011)
Tema 1: Estrategias de Resolución (20.09.2011)
Tema 2: Programación Lógica y Prolog (29.09.2011)
Tema 3: Introducción a la representación del conocimiento (17.10.2011)
Tema 4: Lógica y representación del conocimiento. Ontologías específicas (17.10.2011)
Siguientes temas: https://aulas.inf.uva.es/