Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.

Daniel Gall Thom W. Frühwirth

Published in: CoRR (2018)

Keyphrases

constraint handling rules
affine moment invariants
moment invariants
image processing
bayesian networks
feature space
implicit polynomial
rewrite systems
interactive dynamic influence diagrams