Deterministic stream-sampling for probabilistic programming: semantics and verification.
Fredrik DahlqvistAlexandra SilvaWilliam SmithPublished in: LICS (2023)
Keyphrases
- programming language
- database languages
- formal semantics
- probabilistic knowledge
- bayesian networks
- data streams
- random sampling
- real time
- sampling strategy
- logic programming
- programming language constructs
- uncertain data
- model checking
- monte carlo
- formal verification
- probabilistic model
- parameter space
- semantic information
- object oriented programming
- software engineering
- model theoretic
- active learning
- high level
- fixpoint semantics
- decomposable negation normal form
- database