Deterministic stream-sampling for probabilistic programming: semantics and verification.
Fredrik DahlqvistAlexandra SilvaWilliam SmithPublished in: CoRR (2023)
Keyphrases
- programming language
- formal semantics
- bayesian networks
- real time
- data streams
- probabilistic model
- uncertain data
- probabilistic logic
- random sampling
- fixpoint semantics
- generative model
- probabilistic knowledge
- model checking
- probabilistic reasoning
- verification method
- sampling strategy
- programming language constructs
- face verification
- default reasoning
- posterior probability
- sliding window
- logic programming
- sampling algorithm
- belief networks
- general purpose
- data model