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