Higher-Order E-Unification for Arbitrary Theories.

Zhenyu Qian Kang Wang

Published in: JICSLP (1992)

Keyphrases

higher order
natural images
high order
low order
pairwise
markov models
markov random field
equational theories
theoretical framework
lower order
databases
data sets
conditional random fields
domain knowledge
theorem proving
information retrieval
neural network
legal knowledge