Inicial
Temas
Documentación
Sistemas
Profesores
Representación del conocimiento y razonamiento (2007-08)
Tema 4: Razonamiento mediante resolución
Referencias
Transparencias de Brachman y Levesque.
[
Inicial
|
Temas
|
Documentación
|
Sistemas
]
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 22-9-2011