Keyphrases
- predicate logic
- logic programming
- multi valued
- databases
- deductive reasoning
- modal logic
- genetic algorithm
- artificial intelligence
- automated reasoning
- truth values
- artificial neural networks
- color images
- information retrieval
- classical logic
- defeasible logic
- data mining
- deontic logic
- data sets
- sound and complete axiomatization