83 citations · 616 across the 106 of their papers we have counts for
1 paper · 2 filters
Guy Van den Broeck, Wannes Meert, Adnan Darwiche
First-order model counting emerged recently as a novel reasoning task, at the core of efficient algorithms for probabilistic logics. We present a Skolemization algorithm for model…