Reasoning About Belief and Evidence with Extended Justification Logic.
Tuan-Fang FanChurn-Jung LiauPublished in: ECAI (2016)
Keyphrases
- modal operators
- belief functions
- modal logic
- evidential reasoning
- dempster shafer
- formal theory
- temporal logic
- truth values
- partially ordered
- classical logic
- probability theory
- proof theory
- subjective logic
- belief revision
- defeasible logic
- derivation rules
- reasoning about actions
- nonmonotonic logics
- bayesian networks
- computational properties
- expressive power
- multi agent