A Logic for Reasoning about Probabilities
Ronald FaginJoseph Y. HalpernNimrod MegiddoPublished in: LICS (1988)
Keyphrases
- formal theory
- probability theory
- modal operators
- spatial reasoning
- modal logic
- automated reasoning
- qualitative reasoning
- joint probability
- digital circuits
- logical framework
- website
- conditional probabilities
- partial order
- knowledge representation
- probabilistic logic
- probability distribution
- classical logic
- defeasible logic
- decision making
- neural network
- deontic logic
- asynchronous circuits
- databases