Keyphrases
- higher order
- higher order logic
- lambda calculus
- natural images
- pairwise
- high order
- classical logic
- computational properties
- logic programming
- modal logic
- digital circuits
- automated reasoning
- markov models
- markov random field
- programming language
- multi valued
- lower order
- asynchronous circuits
- delay insensitive
- sound and complete axiomatization
- predicate calculus
- predicate logic
- nonmonotonic logics
- low order
- database
- denoising
- data sets