CP 2000 Post-Conference Workshop on
MODELLING AND SOLVING SOFT CONSTRAINTS
September 22, 2000
Singapore
www.math.unipd.it/~frossi/cp2000-soft/
| |
CP 2000 Post-Conference Workshop onMODELLING AND SOLVING SOFT CONSTRAINTSSeptember 22, 2000Singaporewww.math.unipd.it/~frossi/cp2000-soft/
PRELIMINARY PROGRAM |
| 9:00-9:15 | Opening notes |
| 9:15-10:00 | Invited Talk:
Valued CSPs, Thomas Schiex, INRA Toulouse |
| 10:00-10:30 | Flexibility as relaxation
-- The Fuzzy set View, J. M. Pires, H. Prade |
| 10:30-11:00 | Coffee break |
| 11:00-11:30 | Tree-based
Russian Doll Search: Preminary Results, P. Meseguer, M. Sanchez |
| 11:30-12:00 | On
the dual representation of
non-binary semiring-based CSPs, J. Larrosa, R. Dechter |
| 12:00-12:30 | Higher-Order
Semiring-based Constraints, S. Bistarelli, U. Montanari, F. Rossi |
| 12:30-14:00 | Lunch |
| 14:00-14:45 | Invited Talk:
On finding graphically plausible solutions to constraint
hierarchies: the split stay problem, Alan Borning, Univ. of Washington |
| 14:45-15:15 | SCSPs
for modelling attacks to security protocols, G. Bella, S. Bistarelli |
| 15:30-16:00 | Coffee break |
Francesca Rossi ( frossi@math.unipd.it)