VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs.
Robert RandSteve ZdancewicPublished in: MFPS (2015)
Keyphrases
- probabilistic logic
- probability theory
- provably correct
- bayesian networks
- logical inference
- logic programming
- dynamic logic
- classical logic
- agent programming
- functional programs
- probabilistic model
- programming environment
- probabilistic reasoning
- uncertain data
- modal logic
- uncertain databases
- proof theory
- probabilistic logic programs
- linear logic
- asynchronous circuits
- probabilistic knowledge
- control flow
- multi valued
- decision theory
- belief functions
- generative model