Probabilistic Inference Modulo Theories.
Rodrigo de Salvo BrazCiaran O'ReillyVibhav GogateRina DechterPublished in: CoRR (2016)
Keyphrases
- probabilistic inference
- modulo theories
- answer set programming
- graphical models
- bayesian networks
- conditional probabilities
- satisfiability modulo theories
- weighted model counting
- stable model semantics
- message passing
- belief networks
- logic programming
- logic programs
- belief revision
- constraint programming
- probability distribution
- pairwise
- learning algorithm