%0 Conference Paper %1 conf/aaai/AzizCMS15 %A Aziz, Rehan Abdul %A Chu, Geoffrey %A Muise, Christian J. %A Stuckey, Peter James %B AAAI %D 2015 %E Bonet, Blai %E Koenig, Sven %I AAAI Press %K dblp %P 3468-3474 %T Stable Model Counting and Its Application in Probabilistic Logic Programming. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#AzizCMS15 %@ 978-1-57735-698-1

@inproceedings{conf/aaai/AzizCMS15, added-at = {2023-09-18T00:00:00.000+0200}, author = {Aziz, Rehan Abdul and Chu, Geoffrey and Muise, Christian J. and Stuckey, Peter James}, biburl = {https://www.bibsonomy.org/bibtex/2eb924dd7aa70038c724e4b883ae71bf7/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2015}, editor = {Bonet, Blai and Koenig, Sven}, ee = {https://doi.org/10.1609/aaai.v29i1.9691}, interhash = {1eb70e56e82fdbd3c7fe1fcaedeeb06e}, intrahash = {eb924dd7aa70038c724e4b883ae71bf7}, isbn = {978-1-57735-698-1}, keywords = {dblp}, pages = {3468-3474}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {Stable Model Counting and Its Application in Probabilistic Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#AzizCMS15}, year = 2015 }