Temas de "Programación lógica (2008-09)"

• Tema 1: El sistema deductivo de Prolog.
• Tema 2: Prolog.
• Tema 3: Programación con Prolog.
• Tema 4: Resolución de problemas de espacios de estados.
• Tema 5: Procesamiento del lenguaje natural.
• Tema 6: Ingeniería del conocimiento y metaintérpretes.
• Tema 7: Razonamiento por defecto y razonamiento abductivo.
• Tema 8: Programación lógica con restricciones.
• Tema 9: Formalización en Prolog de la lógica proposicional.
• Tema 10: Programación lógica y aprendizaje automático.

[ Inicial | Temas | Documentación | Sistemas ]