Probabilistic Inference Modulo Theories.
Rodrigo de Salvo BrazCiaran O'ReillyVibhav GogateRina DechterPublished in: IJCAI (2016)
Keyphrases
- probabilistic inference
- modulo theories
- answer set programming
- graphical models
- belief networks
- conditional probabilities
- weighted model counting
- bayesian networks
- message passing
- satisfiability modulo theories
- stable model semantics
- logic programs
- probabilistic model
- random variables
- belief propagation
- image segmentation
- logic programming
- state space
- reasoning tasks