Verifying Probabilistic Programs Using a Hoare like Logic.
Jerry den HartogPublished in: ASIAN (1999)
Keyphrases
- probabilistic logic
- logical inference
- dynamic logic
- generative model
- probability theory
- data driven
- functional programs
- databases
- probabilistic logic programs
- logical framework
- multi valued
- maximum entropy
- logic programming
- bayesian networks
- propositional logic
- computer programs
- belief networks
- uncertain data
- modal logic
- classical logic
- probabilistic knowledge
- information systems
- recursive programs
- data sets