Plan de doctorado:             INGENIERÍA INFORMÁTICA  (*)

       Título de la asignatura:     EXTENSIONES DE LA PROGRAMACIÓN LÓGICA (Código 22)

       Créditos:                            4,0

       Profesores:                        TERESA HORTALÁ GONZÁLEZ
                                                  JOSÉ JAIME RUZ ORTIZ
                                                  FERNANDO SÁENZ PÉREZ

       Centro:                              FACULTAD DE INFORMÁTICA


Programa resumido
1.       Programación lógica con restricciones (parte 1).
2.       Programación con restricciones (parte 2).
3.       Aplicaciones (parte 3).

Objetivos pedagógicos
·         Extensión de la programación lógica a dominios de restricciones sobre enteros y reales.
·         Estudio de lenguajes de optimización con restricciones derivados del paradigma de programación lógica.
·         Diseño de modelos de restricciones para resolver problemas industriales: planificación temporal, optimización del transporte, configuración de sistemas, etc.

Bibliografía
·         E. Tsang, “Foundations of Constraint Satisfaction”, Academic Press, 1993.
·         K. Marriot and P.J. Stuckey, "Programming with Constraints. An Introduction", MIT Press, 1998.
·         P. V. Hentenryck, "The OPL Optimization Programming Language", MIT Press, 1999.
·         F. Rossi et al., "Constraint Logic Programming", in Proc. ERCIM/Compulog Net Workshop on Constraints, Springer, LNAI, 2000.

Metodología docente
Exposiciones teóricas, discusión de artículos y presentación de trabajos

Criterios de evaluación
Participación en las discusiones (30%), un trabajo individual (70%)

       Material docente           Parte 1
                                               Parte 2
                                               Parte 3

(*) ESTE PROGRAMA HA OBTENIDO LA "MENCIÓN DE CALIDAD", DE ACUERDO CON EL INFORME FAVORABLE DE LA AGENCIA NACIONAL DE EVALUACIÓN DE LA
      CALIDAD Y ACREDITACIÓN (ANECA) (RESOLUCIÓN DE 22 DE JUNIO DE 2004, DIRECCIÓN GENERAL DE UNIVERSIDADES, MINISTERIO DE EDUCACIÓN Y CIENCIA).