Higher-Order Proof Construction Based on First-Order Narrowing.

Fredrik Lindblad

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

higher order
higher order logic
high order
pairwise
natural images
markov models
markov random field
construction process
conditional random fields
theorem prover
lambda calculus
data sets
linear logic
lower order
bayesian networks
low order
case study
artificial intelligence