Stable Model Counting and Its Application in Probabilistic Logic Programming

Rehan Abdul Aziz, Geoffrey Chu, Christian Muise +1

Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic…