Login / Signup
A Logic for Reasoning about Upper Probabilities.
Joseph Y. Halpern
Riccardo Pucella
Published in:
CoRR (2014)
Keyphrases
</>
formal theory
probability theory
modal operators
multi valued
classical logic
probability distribution
modal logic
logic programming
belief networks
belief functions
set theory
occurrence probability