Verifying Probabilistic Programs Using a Hoare Like Logic.
Jerry den HartogErik P. de VinkPublished in: Int. J. Found. Comput. Sci. (2002)
Keyphrases
- probabilistic logic
- probabilistic model
- probability theory
- logic programming
- dynamic logic
- logical inference
- bayesian networks
- modal logic
- uncertain data
- probabilistic logic programs
- classical logic
- predicate logic
- probabilistic knowledge
- data driven
- neural network
- maximum entropy
- posterior probability
- asynchronous circuits
- declarative semantics
- agent programming
- data sets