Keyphrases
- digital circuits
- modal logic
- logic programming
- automated reasoning
- classical logic
- real time
- logical framework
- probabilistic logic
- sound and complete axiomatization
- logic synthesis
- epistemic logic
- predicate logic
- nonmonotonic logics
- multi valued
- expert systems
- current situation
- defeasible logic
- logic programs
- knowledge representation
- asynchronous circuits
- proof theory
- website
- neural network