09:00 | "Análisis Espacial: Teoría
y Aplicaciones"
Juan B. Romo |
09:30 | "Detección de tendencias
basada en el modelo de Perfiles Temporales Borrosos"
P. Félix, S. Fraga, S. Barro, R. Marín |
10:00 | "Temporal Constraint Networks in
Action: a preliminary report"
Pedro Cabalar, Ramón P. Otero, Silvia G. Pose |
10:30 | Café |
11:00 | Conferencia Dr. Console |
12:00 | "Using Causality and Actions for
Diagnosis (preliminary report)"
Mario Otero-Díaz, Ramón P. Otero |
12:30 | "Deducción automática
de teoremas manejando restricciones temporales: FTCL"
María Antonia Cárdenas Viedma, Roque Marín Morales |
13:00 | "Mejora en la eficiencia de la demostración automática
de teoremas en lógica temporal usando implicantes e implicados"
P. Cordero, M. Enciso, I. P. de Guzmán [páginas 1-3] [páginas 4-10] |
13:30 | "Real Time Control by means of
a Knowledge Based System specified in Multi-Valued Temporal Logic"
Gonçal Escalada Imaz |
14:00 | Comida |
16:00 | "Búsqueda de Secuencias óptimas
de Montaje Mediante Programación Lógica con Restricciones"
Carmelo del Valle, Eduardo F. Camacho, Miguel Toro |
16:30 | "Grupo de Investigación de
Planificación y Scheduling"
F. Barber, M. A. de la Fuente, A. Garrido, E. Marzal, E. Onaindía, M. Rebollo, M. A. Salido, L. Sebastia |
16:45 | "Razonamiento Temporal No Monótono"
A. Barreiro, P. Cabalar, M. Cabarcos, O. G. Trinidad, J. G. Soto, D. Lorenzo, D. Losada, R. P. Otero, M. Otero, S. G. Pose, R. Ramos, J.M. Rodríguez |
17:00 | "Restricciones Temporales: Modelos
y Aplicaciones"
R. Marín, M. A. Cárdenas, I. Navarrete, J. T. Palma, J. L. Sánchez and M. Balsa |
17:15 | "Grupo de Razonamiento Cualitativo y Aprendizaje"
Carmelo del Valle, Eduardo F. Camacho, Miguel Toro |
17:30 | Café |
18:00 | "Lógicas Temporales Ejecutables"
I. P. de Guzmán, P. Cordero, M. Enciso, C. Rossi, J. F. Moncada |
18:15 | Discusión en grupo (panel session):
"Tendencias actuales en Razonamiento Temporal" |