Keyphrases
- nonmonotonic logics
- epistemic logic
- modal logic
- logic programming
- valued semantics
- sound and complete axiomatization
- computational properties
- evolutionary algorithm
- learning algorithm
- neural network
- decision trees
- website
- inference rules
- classical logic
- data mining
- abductive reasoning
- databases
- linear logic
- proof theory
- data sets
- database