A CP2001 workshop CUW'01 CONSTRAINTS AND UNCERTAINTY December 1st, 2001 Cyprus |

Title page and contents | p1 | |

Brown & Fowler | Uncertain Reasoning for Dynamic Constraint Problems | p5 |

Davenport, Gefflot & Beck | Slack-based Techniques for Robust Schedules | p7 |

Miguel | The Case for Dynamic Flexible Constraint Satisfaction | p19 |

Prestwich | Using Uncertainty in Backtracking | p21 |

Subramani | A Polynomial Time Algorithm for a class of Quantified Integer Programs | p23 |

Tsamardinos | Temporal Constraints and Uncertainty | p27 |

Vaucheret, Guadarrama & Mu~noz | Fuzzy Prolog: A simple implementation using CLP(R) | p29 |

Vidal & Bidot | Dynamic Sequencing of Tasks in Simple Temporal Networks with Uncertainty | p39 |

Walsh | Stochastic Constraint Programming | p49 |

Yorke-Smith & Gervet | Data Uncertainty in Constraint Programming: A non-probablisitic approach | p59 |

- Do we need to handle uncertainty in constraint programming?
- Should this be theory driven, or application driven (and would it make a difference to the outcome)?
- What are the applications of uncertainty in constraints?
- How should we represent the uncertainty? What methods from general uncertain reasoning would be useful?
- Do we need to extend the underlying framework, or should we be transforming uncertain models into standard constraint problems?
- What are the complexities issues of handling uncertainty?
- Are there any overlaps between the different approaches, or are they complementary? Can one be done inside another? Can we combine the methods?
- What do we mean by robust solutions?
- If we use probabilistic models, should we be looking at criteria other than maximising expected utility?
- Are there any other issues with uncertainty not covered here?

14:00 | Welcome | |

14:05 | Yorke-Smith & Gervet | Data Uncertainty in Constraint Programming: A non-probablisitic approach |

14:25 | Vidal & Bidot | Dynamic Sequencing of Tasks in Simple Temporal Networks with Uncertainty |

14:45 | Davenport, Gefflot & Beck | Slack-based Techniques for Robust Schedules |

15:05 | Vaucheret, Guadarrama & Mu~noz | Fuzzy Prolog: A simple implementation using CLP(R) |

15:30 | Break | |

16:00 | Walsh | Stochastic Constraint Programming |

16:20 | Discussion and position papers | |

17:30 | Close |

Last updated: 16th November, 2001