PSI: Exact Symbolic Inference for Probabilistic Programs.
Timon GehrSasa MisailovicMartin T. VechevPublished in: CAV (1) (2016)
Keyphrases
- bayesian networks
- inference process
- belief networks
- probabilistic reasoning
- probabilistic networks
- logical inference
- intermediate level
- probabilistic model
- probabilistic inference
- generative model
- bayesian reasoning
- bayes nets
- brute force
- bayesian inference
- high level
- independence assumption
- first order logic
- topic maps
- programming environment
- bayesian model
- uncertain data
- posterior probability
- conditional probabilities
- information theoretic
- exact and approximate
- variable elimination
- data model
- data sets
- probabilistic logic programs