Keyphrases
- sufficient conditions
- logic programming
- classical logic
- logical framework
- asynchronous circuits
- epistemic logic
- data sets
- modal logic
- deontic logic
- multi valued
- digital circuits
- predicate logic
- delay insensitive
- truth values
- nonmonotonic logics
- computational properties
- automated reasoning
- mixed integer
- neural network