Keyphrases
- logic programming
- multi valued
- predicate logic
- classical logic
- databases
- automata theoretic
- website
- proof theory
- epistemic logic
- automated reasoning
- sound and complete axiomatization
- deductive reasoning
- deontic logic
- nonmonotonic logics
- closely related
- rough sets
- artificial neural networks
- search algorithm
- decision making
- data mining
- neural network