Rewriting, and Equational Unification: the Higher-Order Cases.
David A. WolframPublished in: RTA (1991)
Keyphrases
- higher order
- theorem proving
- high order
- equational theories
- natural images
- theorem prover
- pairwise
- markov random field
- case base
- anti unification
- conditional random fields
- lower order
- hidden markov models
- probabilistic model
- case based reasoning
- databases
- website
- artificial intelligence
- low order
- rewrite rules
- data mining