Razonamiento automático (2001-02)

El curso se divide en dos partes: la primera aborda la deducción automática con Otter y Mace, incluyendo sus fundamentos y aplicaciones; la segunda se centra en el aprendizaje automático simbólico y, particularmente, del sistema Aleph de programación lógica inductiva.