A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract).
Daniel J. DoughertyPatricia JohannPublished in: CADE (1992)
Keyphrases
- extended abstract
- higher order
- higher order logic
- natural images
- high order
- markov random field
- low order
- pairwise
- modal logic
- classical logic
- lambda calculus
- information systems
- defeasible logic
- markov models
- linear logic
- multi valued
- conditional random fields
- learning algorithm
- logical framework
- real time
- logic programming
- operational semantics
- truth values
- abductive reasoning
- lower order
- database systems
- proof theory
- databases