Keyphrases
- objective function
- logic programming
- modal logic
- classical logic
- sound and complete axiomatization
- proof theory
- data sets
- minimization problems
- digital circuits
- global minimization
- deductive reasoning
- delay insensitive
- dynamic logic
- deontic logic
- epistemic logic
- current status
- multi valued
- automated reasoning
- expressive power
- databases