- 1.
September 11
- Introduction,
organisation (UN)
- 2. September
18
- Basics (Chapter 1,2) (JM)
-
3. September 25
- Finite
domain constraints. (Chapter 3) (JM)
- 4.
October 3, 3-5 (NOTE: CHANGE OF DATE+TIME)
-
Introduction to LP and Prolog, optional (UN)
-
5. October 9
- Interval
constraints (JM)
Litterature: Frédéric Benhamou and William
J. Older. Applying
Interval Arithmetic to Real, Integer and Boolean Constraints. Journal
of Logic Programming} 32(1), 1-24,1997 with some additions from: Frédéric
Benhamou and David McAllister and Pascal Van Hentenryck. CLP(Intervals)
Revisited. ILPS'94 - 6. October
16
- NO
LECTURE (moved to 6th Nov)
- 7.
October 23
- Modelling
with FD Constraints (Ch. 5, 8) (UN)
- 8.
October 30
- Use of constraints
in system design (KK)
- 9. November
6 (NOTE: IN ESTRADEN)
- Available
systems: SICStus Prolog, CHIP, Prolog IV (Pawel Pietrzak)
- 10.
November 13
- Constraint
Handling Rules (Pierangelo Dell'Acqua)
- 11.
November 20 (NOTE: IN ESTRADEN AT 1-3)
- Survey
of HAL (Aida Vitoria)
- 12. December 11
- Presentation
of exam solutions
2001
Ulf Nilsson |