Keyphrases
- classical logic
- logic programming
- multi valued
- databases
- deontic logic
- computational properties
- automated reasoning
- modal logic
- logic programs
- decision trees
- data mining
- search algorithm
- artificial intelligence
- machine learning
- real world
- data sets
- asynchronous circuits
- proof theory
- delay insensitive
- deductive reasoning