Skolemization for Weighted First-Order Model Counting

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…