Keyphrases
- predicate logic
- logic programming
- modal logic
- automated reasoning
- multi valued
- genetic algorithm
- asynchronous circuits
- classical logic
- defeasible logic
- sound and complete axiomatization
- database
- deductive reasoning
- linear logic
- deontic logic
- nonmonotonic logics
- computational geometry
- logical framework
- decision trees
- knowledge base
- decision making
- social networks
- databases
- data sets