Keyphrases
- modal logic
- nonmonotonic logics
- power consumption
- expressive power
- classical logic
- epistemic logic
- temporal logic
- inference rules
- real time
- machine learning
- modal operators
- conditional logic
- information retrieval
- default logic
- default reasoning
- database systems
- decision trees
- clustering algorithm
- artificial intelligence
- dynamic logic
- power distribution
- propositional variables