Constraint Handling Rules 2008

Tom Schrijvers, Thom W. Frühwirth (Eds.): Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science Vol. 5388 Springer 2008, ISBN 978-3-540-92242-1

done

Introduction

Thom W. Frühwirth:
Welcome to Constraint Handling Rules. 1-15

Search

Leslie De Koninck, Tom Schrijvers, Bart Demoen:
A Flexible Search Framework for CHR. 16-47
Armin Wolf, Jacques Robin, Jairson Vitorino:
Adaptive CHR Meets CHR^v: An Extended Refined Operational Semantics for CHR^v Based on Justifications. 48-69

Applications

Ingi Sobhi, Slim Abdennadher, Hariolf Betz:
Constructing Rule-Based Solvers for Intentionally-Defined Constraints. 70-84
Henning Christiansen:
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. 85-118

Theory

Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella:
A Compositional Semantics for CHR with Propagation Rules. 119-160

Implementation

Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen:
CHR for Imperative Host Languages. 161-212
Jon Sneyers, Tom Schrijvers, Bart Demoen:
Guard Reasoning in the Refined Operational Semantics of CHR. 213-244

Copyright © Wed Nov 25 18:46:53 2009 by Michael Ley (ley@uni-trier.de)