Keyphrases
- temporal logic
- modal logic
- logic programming
- multi valued
- machine learning
- automated reasoning
- classical logic
- asynchronous circuits
- search algorithm
- computational properties
- defeasible logic
- epistemic logic
- predicate logic
- formal theory
- logic synthesis
- proof theory
- digital circuits
- decision trees
- e learning
- computer vision