Keyphrases
- modal logic
- asynchronous circuits
- search strategy
- logical framework
- proof theory
- case study
- classical logic
- theorem proving
- sound and complete axiomatization
- nonmonotonic logics
- computational properties
- multi valued
- automated reasoning
- data sets
- relational databases
- multiscale
- learning algorithm
- genetic algorithm
- information retrieval
- databases