Confluence of CHR Revisited: Invariants and Modulo Equivalence.

Henning Christiansen Maja H. Kirkeby

Published in: LOPSTR (2018)

Keyphrases

constraint handling rules
quasi invariant
moment invariants
imperative programs
geometric invariants
interactive dynamic influence diagrams
artificial intelligence
computer vision
image processing
decision trees
face recognition
expert systems
invariant representation
rewrite systems
affine moment invariants