An Application of Computable Distributions to the Semantics of Probabilistic Programs.
Daniel HuangGreg MorrisettBas SpittersPublished in: CoRR (2018)
Keyphrases
- probabilistic logic programs
- stable model semantics
- probability distribution
- bayesian networks
- logic programming
- turing machine
- stable models
- probabilistic model
- dynamic logic
- uncertain data
- programming language constructs
- database systems
- probabilistic knowledge
- formal semantics
- answer set programming
- conceptual model
- information theoretic
- mixture distributions
- probabilistic reasoning
- control flow
- model theoretic
- semantic information
- fixpoint semantics
- logic programs
- xml documents