A logic for reasoning about upper probabilities
Joseph Y. HalpernRiccardo PucellaPublished in: CoRR (2003)
Keyphrases
- formal theory
- probability theory
- modal operators
- modal logic
- logic programming
- spatial reasoning
- probabilistic knowledge
- multi valued
- data sets
- probability distribution
- probabilistic logic
- set theory
- sound and complete axiomatization
- delay insensitive
- proof theory
- digital circuits
- causal reasoning
- belief networks
- conditional probabilities
- genetic algorithm
- data mining
- class membership
- qualitative reasoning
- occurrence probability