Keyphrases
- modal logic
- classical logic
- multi valued
- search engine
- deductive reasoning
- defeasible logic
- logic programming
- natural language
- automated reasoning
- video sequences
- probabilistic logic
- logical framework
- multiscale
- computational properties
- decision trees
- digital circuits
- genetic algorithm
- sound and complete axiomatization