Keyphrases
- higher order
- higher order logic
- lambda calculus
- classical logic
- low order
- natural images
- logic programming
- pairwise
- markov random field
- high order
- modal logic
- conditional random fields
- predicate calculus
- computational properties
- lower order
- epistemic logic
- digital circuits
- multi valued
- logical framework
- data mining
- markov models
- input image
- asynchronous circuits
- delay insensitive
- logic synthesis
- multi agent systems
- genetic algorithm