Keyphrases
- logic programming
- asynchronous circuits
- multi valued
- classical logic
- proof theory
- dynamic logic
- probability theory
- automated reasoning
- computer vision
- linear temporal logic
- database systems
- sound and complete axiomatization
- data sets
- formal language
- modal logic
- expert systems
- data structure
- similarity measure
- case study
- genetic algorithm