AQUA: Automated Quantized Inference for Probabilistic Programs.
Zixin HuangSaikat DuttaSasa MisailovicPublished in: ATVA (2021)
Keyphrases
- bayesian networks
- belief networks
- inference process
- probabilistic reasoning
- probabilistic networks
- probabilistic inference
- bayes nets
- context sensitive
- semi automated
- data driven
- conditional probabilities
- bayesian reasoning
- logical inference
- variable elimination
- fully automated
- uncertain data
- posterior probability
- probabilistic model
- bayesian inference
- computer aided
- generative model
- expert systems
- random fields
- dct coefficients
- programming environment
- probabilistic logic
- markov logic networks
- inference mechanism
- database