Stable Model Counting and Its Application in Probabilistic Logic Programming.

Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey

Browse the full AAAI paper archive.