Semantics of Probabilistic Programs: A Weak Limit Approach.
Alessandra Di PierroHerbert WiklickyPublished in: APLAS (2013)
Keyphrases
- probabilistic logic programs
- formal semantics
- fixpoint semantics
- normal logic programs
- dynamic logic
- stable model semantics
- generative model
- bayesian networks
- probabilistic model
- semantic information
- stable models
- control flow
- logic programming
- probabilistic knowledge
- logic programs
- probabilistic reasoning
- computer programs
- probabilistic logic
- transformation rules
- probabilistic databases
- data driven
- semantics of logic programs
- databases