A Logic for Reasoning about Upper Probabilities.
Joseph Y. HalpernRiccardo PucellaPublished in: UAI (2001)
Keyphrases
- formal theory
- probability theory
- modal operators
- modal logic
- probability distribution
- classical logic
- dynamic logic
- asynchronous circuits
- computational properties
- conditional probabilities
- belief networks
- spatial reasoning
- predicate logic
- qualitative reasoning
- practical reasoning
- epistemic logic
- automated reasoning
- neural network
- default logic
- logic programming
- multi agent
- learning algorithm