Keyphrases
- propositional logic
- multi valued
- classical logic
- automated reasoning
- sound and complete axiomatization
- predicate logic
- defeasible logic
- logic programming
- genetic algorithm
- search algorithm
- data mining
- multiscale
- information systems
- computational properties
- computer vision
- digital circuits
- learning algorithm
- asynchronous circuits
- natural deduction