Functions-as-constructors higher-order unification: extended pattern unification.

Tomer Libal Dale Miller

Published in: Ann. Math. Artif. Intell. (2022)

Keyphrases

higher order
natural images
high order
markov random field
pairwise
pattern matching
description logics
theorem proving
automated theorem proving
conditional random fields
theorem prover
equational theories
database
learning algorithm
anti unification