09.00 | - | 09.30 | "Distributed Forward Checking" | P.Meseguer,
M.A.Jiménez |
Session Chair:
Boi Faltings |
09.30 | - | 10.00 | "Maintaining Hierarchical Distributed Consistency" | M.C.Silaghi,
D.Sam-Haroud, B.Faltings |
|
10.00 | - | 10.30 | Discussion about "Distributed Consistency for DCSPs" | ||
10.30 | - | 11.00 | coffee break (available from the organizers) | ||
11.00 | - | 11.30 | "The Phase Transition in Distributed Constraint Satisfaction Problems: First Results" | K.Hirayama,
M.Yokoo, K.Sycara |
Session Chair:
Makoto Yokoo |
11.30 | - | 12.00 | "On Proving Properties of Concurrent Algorithms For Distributed CSPs" | M.Hannebauer | |
12.00 | - | 12.30 | Discussion about "Characterizing properties of DCSPs" | ||
12.30 | - | 14.00 | Lunch break | ||
14.00 | - | 14.30 | "On Modeling Argumentation as Distributed Constraint Satisfaction: Initial Results" | H.Jung,M.Tambe,
W.Zhang, W.Shen |
Session Chair:
Marius C. Silaghi |
14.30 | - | 15.00 | "Integrating a Distributed and Heterogeneous Organisation Using Constraint Programming" | C.Eisenberg | |
15.00 | - | 15.30 | "Air Traffic Control Approach using CSP Techniques" | A.Idrissi,
E.H.Bouyakhf |
|
15.30 | - | 16.00 | coffee break (available from the organizers) | ||
16.00 | - | 17.00 | Discussion about "Applications of DCSPs" | Session Chair:
Christian Bessière |