Keyphrases
- higher order
- higher order logic
- lambda calculus
- natural images
- high order
- markov random field
- logic programming
- pairwise
- conditional random fields
- modal logic
- automated reasoning
- logical framework
- classical logic
- low order
- predicate logic
- lower order
- proof theory
- databases
- higher order cliques
- predicate calculus
- digital circuits
- markov models
- artificial intelligence
- neural network