CAEPIA 2009 Workshop on

 Planning, Scheduling and Constraint Satisfaction

CAEPIA 2009
9 de Noviembre de 2007

Sevilla, España

PROGRAMA (sala F0.81)

Sesion 1: (9:30-11:00)

Changing Propagations in Arc-Consistency Algorithm for Arithmetic Constraints

Marlene Arangú, Miguel A. Salido, Federico Barber

PDDL Specification for Multi-objective Repair Planning

I. Barba, C. Del Valle and D. Borrego

Heurísticas dependientes del dominio para remociones de contenedores

Mario Rodriguez, Miguel A. Salido, Federico Barber, Oscar Sapena

11:00 - 11:30 - café

Sesion 2: (11:30 - 13:30)

Weighting disjunctive heuristics for scheduling problems with summation cost functions

María R. Sierra, Carlos Mencía and Ramiro Varela

Normalizando CSPs no-normalizados: un enfoque híbrido

Marlene Arangú, Miguel A. Salido, Federico Barber

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs

Sergio Pozo, F. de la Rosa T., A.J. Varela-Vaca, Rafael M. Gasca

A Tool for Finding Stable Solutions in Constraint Satisfaction Problems

Miguel A. Salido, Laura Climent, Federico Barber

13:30 - 15:30 - comida

Sesion 3: (15:30 - 17:00)

Grupo QUIVIR

R. M. Gasca, C. Del Valle, J. M. Bravo, F. De la Rosa, P. Abad, A. Suárez, A. Márquez, R. Ceballos, M. T. Gómez-López, S. Pozo, P. Neira,I. Barba, D. Borrego, A. Varela

Líneas de Investigación del Grupo de Tecnologías de la Computación de la Universidad de Oviedo

Ramiro Varela, Camino R. Vela, Jorge Puente, Inés González-Rodríguez, María Sierra, Miguel Ángel González, Alejandro Hernández-Arauzo, Carlos Mencía

Grupo de Inteligencia Artificial, Planificación y Scheduling, Razonamiento Basado en Restricciones

F. Barber, M.A. Salido, P. Tormos, A. Lova, L. Ingolotti, M. Cervantes, M. Arangú, L. Climent, M. Rodriguez