Reasoning About States of Probabilistic Sequential Programs.
Rohit ChadhaPaulo MateusAmílcar SernadasPublished in: CSL (2006)
Keyphrases
- probabilistic knowledge
- probabilistic model
- bayesian networks
- generative model
- state transitions
- posterior probability
- probabilistic logic
- neural network
- belief networks
- probabilistic logic programs
- fixpoint
- computer programs
- programming environment
- uncertain data
- context sensitive
- conditional probabilities
- automatic programming
- information theoretic
- probabilistic approaches
- learning algorithm