Confluence of CHR revisited: invariants and modulo equivalence.

Henning Christiansen Maja H. Kirkeby

Published in: CoRR (2018)

Keyphrases

constraint handling rules
moment invariants
affine invariant
real time
case study
data sets
machine learning
pattern recognition
feature vectors
fourier descriptors
projective invariants
interactive dynamic influence diagrams