A Logic for Reasoning about Probabilities
Ronald FaginJoseph Y. HalpernNimrod MegiddoPublished in: Inf. Comput. (1990)
Keyphrases
- formal theory
- probability theory
- modal operators
- probability distribution
- belief networks
- multi valued
- complete axiomatization
- proof theory
- classical logic
- conditional probabilities
- logic programming
- causal reasoning
- probabilistic knowledge
- database
- spatial reasoning
- digital circuits
- asynchronous circuits
- artificial intelligence
- machine learning