Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics.

Joris Renkens Angelika Kimmig Guy Van den Broeck Luc De Raedt

Published in: AAAI (2014)

Keyphrases

weighted model counting
probabilistic inference
bayesian inference
model counting
bayesian networks
probabilistic model
probabilistic reasoning
graphical models
belief networks
satisfiability testing
image segmentation
knowledge based systems