Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey. Stable Model Counting and Its Application in Probabilistic Logic Programming. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 3468-3474, AAAI Press, 2015. [doi]
Abstract is missing.