Keyphrases
- modal operators
- expressive power
- belief revision
- modal logic
- conditional logic
- truth values
- inference rules
- nonmonotonic logics
- belief functions
- classical logic
- probability measures
- artificial intelligence
- probability theory
- partially ordered
- truth maintenance systems
- propositional calculus
- propositional dynamic logic
- coalition logic
- real time
- subjective logic
- evidential reasoning
- logic programming
- multi agent
- bayesian networks
- information systems
- information retrieval
- data mining