A Logic for Reasoning about Upper Probabilities.
Joseph Y. HalpernRiccardo PucellaPublished in: J. Artif. Intell. Res. (2002)
Keyphrases
- formal theory
- probability theory
- spatial reasoning
- probability distribution
- logic programming
- modal logic
- probabilistic logic
- modal operators
- multi valued
- causal reasoning
- probabilistic knowledge
- database
- dynamic logic
- asynchronous circuits
- probability values
- linear logic
- deontic logic
- predicate logic
- bayesian networks
- artificial intelligence
- databases