Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Programación Lóxica e Representación do Coñecemento | Código | 614434012 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Mestrado Oficial | 2º cuadrimestre |
Primeiro | Optativa | 3 | ||||||||||
|
Bibliografía básica |
C. Baral (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press K. R. Apt and R. Bol (1994). Logic Programming and negation: a survey. Journal of Logic Programming 19-20, pp. 9-71 I. Bratko (2001). Prolog Programming for Artificial Intelligence (3rd ed). Addison-Wesley |
|
|
Bibliografía complementaria | |
|