Keyphrases
- logic programming
- multi valued
- classical logic
- modal logic
- multiresolution
- automated reasoning
- sound and complete axiomatization
- asynchronous circuits
- defeasible logic
- description logics
- bayesian networks
- computer vision
- learning algorithm
- genetic algorithm
- real time
- similarity measure
- computational properties
- nonmonotonic logics
- predicate logic
- epistemic logic
- dynamic logic
- intuitionistic logic
- real world