Keyphrases
- derivation rules
- modal logic
- logic programming
- modular neural networks
- classical logic
- computer vision
- epistemic logic
- abductive reasoning
- predicate logic
- sound and complete axiomatization
- database
- deductive reasoning
- digital circuits
- computational properties
- multi valued
- logic programs
- information retrieval
- real world
- data sets