Modular Higher-Order Equational Preunification.
Zhenyu QianKang WangPublished in: J. Symb. Comput. (1996)
Keyphrases
- higher order
- theorem proving
- anti unification
- high order
- natural images
- markov random field
- conditional random fields
- pairwise
- low order
- markov models
- equational theories
- modular structure
- lower order
- databases
- theorem prover
- lambda calculus
- real time
- graph cuts
- horn clauses
- hidden markov models
- expert systems
- modular architecture
- database systems