Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- epistemic logic
- multi valued
- transition systems
- dynamic logic
- data mining
- computational properties
- automated reasoning
- inference rules
- temporal logic
- default logic
- logic programming
- multi agent
- sound and complete axiomatization
- predicate logic
- abductive reasoning
- knowledge base
- deontic logic
- asynchronous circuits
- social networks
- neural network
- deductive reasoning