Coupling proofs are probabilistic product programs.
Gilles BartheBenjamin GrégoireJustin HsuPierre-Yves StrubPublished in: CoRR (2016)
Keyphrases
- computer programs
- generative model
- probabilistic model
- probabilistic reasoning
- database
- product design
- theorem proving
- life cycle
- answer sets
- belief networks
- uncertain data
- data driven
- bayesian networks
- real time
- answer set programming
- fixpoint
- probabilistic logic programs
- context sensitive
- posterior probability
- information technology
- website
- decision making
- learning algorithm
- databases