Keyphrases
- modal logic
- multi valued
- logic programming
- sound and complete axiomatization
- ctl model update
- abductive reasoning
- computational properties
- automated reasoning
- propositional logic
- classical logic
- search engine
- probability theory
- description logics
- probabilistic logic
- logical framework
- decision trees
- website
- deontic logic
- information bottleneck
- data sets