Representación del conocimiento y razonamiento (2007-08)
Tema 2: El lenguaje de la lógica de primer orden

Referencias

• Transparencias de Brachman y Levesque.

[ Inicial | Temas | Documentación | Sistemas ]