| Mestrado Universitario en Computación |
 Asignaturas |
| Programación Lóxica e Representación do Coñecemento |
| Fontes de información |
| 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 | |
|
|
|
