MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO
Cod.31101184
BIBLIOGRAFÍA BÁSICA
ISBN(13): 9780387948935 Título: LOGIC FOR APPLICATIONS (2) Autor/es: Richard A. Shore ; Anil Nerode ; Editorial: Springer
ISBN(13): 9780521543101 Título: LOGIC IN COMPUTER SCIENCE (MODELLING AND REASONING ABOUT SYSTEMS) ((2nd edition)) Autor/es: Mark Ryan ; Michael Huth ; Editorial: CAMBRIDGE UNIVERSITY PRESS..
ISBN(13): 9781558609327 Título: KNOWLEDGE REPRESENTATION AND REASONING Autor/es: Hector J. Levesque ; Ronald J. Brachman ; Editorial: MORGAN KAUFMANN PUBLISHERS
ISBN(13): 9788420540030 Título: INTELIGENCIA ARTIFICIAL: UN ENFOQUE MODERNO (2ª) Autor/es: Norvig, Peter ; Russell, Stuart ; Editorial: PRENTICE-HALL
Comentarios y anexos:
A través del Grupo de Trabajo de la asignatura se facilitarán enlaces a documentos accesibles legalmente por Red.
La Bibliografía Básica recoge algunas propuestas de textos introductorios, generalistas. Y en la Bibliografía Complementaria se enumeran algunas opciones de lecturas más especializadas. Todas ellas, por si el estudiante tiene acceso a una biblioteca cercana.
El número y la calidad de los documentos accesibles por Red hace innecesario que el alumno tenga que adquirir textos para seguir esta asignatura. Si acaso, por su calidad y precio (y por estar traducido al castellano), se puede considerar adquirir, opcionalmente, el texto "Inteligencia Artificial: un enfoque moderno". Le será de utilidad en gran parte de las asignaturas de este máster.
En general, la documentación referenciada en el curso está escrita en inglés; salvo los apuntes más básicos facilitados en cada tema y los ejemplos y ejercicios propuestos.