A Combinatory Logic Approach to Higher-Order E-Unification.
Daniel J. DoughertyPatricia JohannPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- natural images
- high order
- markov random field
- modal logic
- multi valued
- pairwise
- classical logic
- probabilistic logic
- epistemic logic
- defeasible logic
- computational properties
- markov models
- learning algorithm
- logical framework
- low order
- databases
- operational semantics
- lower order
- theorem prover