A Transformational Approach for Proving Properties of the CHR Constraint Store.

Paolo Pilozzi Tom Schrijvers Maurice Bruynooghe

Published in: LOPSTR (2009)

Keyphrases

website
search algorithm
constraint handling rules
feature selection
similarity measure
bayesian networks
data streams
mobile robot
desirable properties