64 citations · 545 across the 60 of their papers we have counts for
Showing 2014 · cs.AIShow all
2 papers · 2 filters
cs.AI2014★ 19 cited
Oblivious Bounds on the Probability of Boolean Functions
Wolfgang Gatterbauer, Dan Suciu
This paper develops upper and lower bounds for the probability of Boolean functions by treating multiple occurrences of variables as independent and assigning them new individual p…
cs.AI2014★ 9 cited
Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting
Eric Gribkoff, Guy Van den Broeck, Dan Suciu
In this paper we study lifted inference for the Weighted First-Order Model Counting problem (WFOMC), which counts the assignments that satisfy a given sentence in first-order logic…