Conference Proceedings
Stable Model Counting and Its Application in Probabilistic Logic Programming
RA Aziz, G Chu, C Muise, P STUCKEY, B Bonet, S Koenig
Proceedings of the National Conference on Artificial Intelligence | AAAI Press | Published : 2015
