Tutoría 1: Introducción y Estrategias de Resolución I (20.09.2011). Soluciones.
Tutoría 2: Estrategias de resolución II y Programación Lógica (30.09.2011). Soluciones.
Tutoría 3: Lógica y representación del conocimiento. (25.10.2011)