Keyphrases
- programming language
- programming language constructs
- database languages
- logic programming
- probabilistic logic programs
- high level
- stable models
- probabilistic reasoning
- declarative semantics
- stable model semantics
- bayesian networks
- probabilistic model
- generative model
- fixpoint semantics
- answer sets
- probabilistic logic
- control flow
- probabilistic knowledge
- posterior probability
- databases
- logic programs
- dynamic logic
- fixpoint
- formal semantics
- semantic information