44 citations · 44 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2013
On the Complexity and Approximation of Binary Evidence in Lifted Inference
Guy Van den Broeck, Adnan Darwiche
Lifted inference algorithms exploit symmetries in probabilistic models to speed up inference. They show impressive performance when calculating unconditional probabilities in relat…
cs.AI2011★ 44 cited
The Language of Search
A. Darwiche, J. Huang
This paper is concerned with a class of algorithms that perform exhaustive search on propositional knowledge bases. We show that each of these algorithms defines and generates a pr…