Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.

Daniel Gall Thom W. Frühwirth

Published in: FLOPS (2018)

Keyphrases

constraint handling rules
moment invariants
multiscale
invariant features
quasi invariant
machine learning
neural network
artificial intelligence
image processing
affine invariant
equivalence relation
datalog programs