Semantics of sub-probabilistic programs.
Yixiang ChenHengyang WuPublished in: Frontiers Comput. Sci. China (2008)
Keyphrases
- probabilistic logic programs
- logic programming
- stable model semantics
- bayesian networks
- stable models
- dynamic logic
- probabilistic model
- generative model
- model theoretic
- formal semantics
- databases
- logic programs
- fixpoint semantics
- declarative semantics
- fixpoint
- graphical models
- control flow
- probabilistic knowledge
- probabilistic logic
- nonmonotonic logics
- answer sets
- uncertain data
- database languages
- semantic information
- computer programs
- context sensitive
- posterior probability
- conceptual model
- semantics of logic programs