A Computationally Grounded Logic of Graded Belief.
Emiliano LoriniFrançois SchwarzentruberPublished in: JELIA (2021)
Keyphrases
- alternating time temporal logic
- modal operators
- probability theory
- truth values
- modal logic
- automated reasoning
- asynchronous circuits
- belief set
- logic programming
- belief revision
- nonmonotonic logics
- defeasible logic
- grounded semantics
- formal theory
- data sets
- classical logic
- multi valued
- belief functions
- belief change
- linear logic
- probability measures
- subjective logic
- inference rules
- sound and complete axiomatization
- bayesian networks