Higher-order pattern generalization modulo equational theories.

David M. Cerna Temur Kutsia

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

equational theories
higher order
pattern matching
theorem proving
high order
natural images
pairwise
anti unification
conditional random fields
low order
pattern discovery
markov random field
constraint satisfaction
video sequences
general purpose
lambda calculus
expert systems