Metodoloxías Descrición
Sesión maxistral Clases en aula
Solución de problemas Resolución de problemas que pode incluir: exercicios de programación en Prolog, solución de problemas teóricos (demostración de propiedades) ou resolución de problemas de representación de coñecemento usando Answer Set Programming.
Proba obxectiva Trátase de un examen optativo, no caso en que non se poidan realizar as prácticas en clase de xeito regular.