Programación lógica (2007-08)

Este curso consta de dos partes. La primera parte es una introducción a la programación lógica con Prolog. En la segunda parte, se estudian diversas aplicaciones de la programación lógica, como la resolución de problemas en espacios de estados, el procesamiento del lenguaje natural, la construcción de metaintérpretes para ingeniería del conocimiento, la programación con restricciones, la formalización de la lógica proposicional y el aprendizaje automático.

El curso forma parte del Programa de Doctorado "Lógica, Computación e Inteligencia Artificial" del Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla.