Simplifying Probabilistic Programs Using Computer Algebra.
Jacques CaretteChung-chieh ShanPublished in: PADL (2016)
Keyphrases
- computer algebra
- theorem prover
- automated theorem provers
- bayesian networks
- probabilistic model
- generative model
- computer programs
- databases
- probabilistic approaches
- data driven
- belief networks
- probabilistic reasoning
- computer algebra systems
- database
- probabilistic relational
- probabilistic logic
- uncertain data
- information technology
- training data
- similarity measure
- case study
- website