Predicate Transformers and Higher-Order Programs.
David A. NaumannPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- higher order
- high order
- markov random field
- natural images
- first order logic
- pairwise
- automatic programming
- markov models
- low order
- prolog programs
- real time
- control program
- lower order
- datalog programs
- stable models
- programming environment
- conditional random fields
- learning algorithm
- information retrieval
- machine learning