Keyphrases
- classical logic
- special case
- deontic logic
- modal logic
- asynchronous circuits
- logic programming
- automated reasoning
- intuitionistic logic
- nonmonotonic logics
- set theory
- decision trees
- probability theory
- multi valued
- logical framework
- data structure
- computational properties
- website
- predicate logic
- decision making
- genetic algorithm
- data sets