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).