Keyphrases
- modal logic
- proof theory
- asynchronous circuits
- classical logic
- digital circuits
- sound and complete axiomatization
- logic synthesis
- description logics
- logic programming
- automated reasoning
- real world
- abductive reasoning
- multi valued
- linear temporal logic
- predicate logic
- set theory
- search algorithm
- data structure
- information systems
- learning algorithm
- genetic algorithm