Temas de "Razonamiento automático" (2000-01)

Deducción automática

• Tema 1: Introducción.
• Tema 2: Lógica proposicional.
• Tema 3: Demostraciones proposicionales.
• Tema 4: Resolución proposicional.
• Tema 5: Conceptualización relacional.
• Tema 6: Resolución relacional.
• Tema 7: Razonamiento automático con igualdad.
• Tema 8: Razonamiento automático y programación
• Tema 9: Resolución de problemas con razonamiento automático.

Aprendizaje automático

• Tema 10: Introducción al aprendizaje automático.
• Tema 11: Aprendizaje de conceptos.
• Tema 12: Árboles de decisión.
• Tema 13: Introducción a la Programación Lógica Inductiva.
• Tema 14: ILP: sistemas y aplicaciones.
• Tema 15: Introducción a Aleph.