“
Here you can download the slides that will be used in the lectures. There is no need to print these: every participant will get a set of handouts. An introduction to CHR (Jon Sneyers) Analysis of CHR solvers (Slim Abdennadher) Abduction and language processing with CHR (Henning Christiansen) CHR - a common platform for rule-based approaches (Thom Frühwirth) Computability and complexity of CHR (Jon Sneyers) Implementation of CHR systems (Peter Van Weert) Equivalence in CHR (Frank Raiser) CHR and Linear Logic (Hariolf Betz)
