Symbolic Semantics for Probabilistic Programs.
Erik VoogdEinar Broch JohnsenAlexandra SilvaZachary J. SusagAndrzej WasowskiPublished in: QEST (2023)
Keyphrases
- probabilistic logic programs
- logic programming
- intermediate level
- control flow
- fixpoint semantics
- probabilistic model
- generative model
- uncertain data
- logic programs
- symbolic representation
- declarative semantics
- dynamic logic
- probabilistic knowledge
- probabilistic reasoning
- bayesian networks
- database systems
- data sets
- computer programs
- formal semantics
- probabilistic logic
- probabilistic databases
- belief networks
- context sensitive
- symbolic data
- conceptual model
- normal logic programs
- high level