Keyphrases
- modal operators
- modal logic
- formal theory
- temporal logic
- evidential reasoning
- belief functions
- nonmonotonic logics
- situation calculus
- probability theory
- description logics
- dempster shafer
- partially ordered
- qualitative reasoning
- dempster shafer theory
- information systems
- empirical evidence
- databases
- belief revision
- truth maintenance systems
- belief set