Stable Model Counting and Its Application in Probabilistic Logic Programming

Open in new window