Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach.
Michele BorealeLuisa CollodiPublished in: VMCAI (2) (2024)
Keyphrases
- bayesian networks
- inference process
- probabilistic reasoning
- belief networks
- probabilistic networks
- probabilistic model
- small number
- logical inference
- probabilistic modeling
- bayes nets
- probabilistic inference
- probabilistic logic
- bayesian reasoning
- exact inference
- efficient learning
- decision theoretic
- posterior probability
- post processing
- data driven