Incremental inference for probabilistic programs.
Marco Cusumano-TownerBenjamin BichselTimon GehrMartin T. VechevVikash K. MansinghkaPublished in: PLDI (2018)
Keyphrases
- bayesian networks
- inference process
- belief networks
- probabilistic reasoning
- probabilistic networks
- probabilistic inference
- logical inference
- data driven
- incremental learning
- bayesian reasoning
- computer programs
- random fields
- factor graphs
- probabilistic model
- uncertain data
- generative model
- bayes nets
- bayesian inference
- message passing
- exact inference
- conditional probabilities
- variable elimination
- data sets