Keyphrases
- cost function
- sufficient conditions
- logic programming
- automated reasoning
- modal logic
- asynchronous circuits
- genetic algorithm
- multi valued
- classical logic
- theorem proving
- deductive reasoning
- delay insensitive
- natural deduction
- abductive reasoning
- convergence rate
- denoising
- knowledge representation
- information systems