Login / Signup
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