Keyphrases
- higher order
- lambda calculus
- high order
- pairwise
- low order
- markov random field
- natural images
- markov models
- database query languages
- conditional random fields
- relational calculus
- lower order
- natural deduction
- algebraic structure
- pi control
- artificial intelligence
- computer algebra
- automated deduction
- formal language
- equivalence relation