%0 Conference Paper %1 conf/lpnmr/MantadelisSJ15 %A Mantadelis, Theofrastos %A Shterionov, Dimitar Sht. %A Janssens, Gerda %B LPNMR %D 2015 %E Calimeri, Francesco %E Ianni, Giovambattista %E Truszczynski, Miroslaw %I Springer %K dblp %P 425-438 %T Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#MantadelisSJ15 %V 9345 %@ 978-3-319-23263-8

@inproceedings{conf/lpnmr/MantadelisSJ15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Mantadelis, Theofrastos and Shterionov, Dimitar Sht. and Janssens, Gerda}, biburl = {https://www.bibsonomy.org/bibtex/21afa17db4e768b6b048f21e8ddac5baf/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2015}, editor = {Calimeri, Francesco and Ianni, Giovambattista and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/978-3-319-23264-5_35}, interhash = {9288dd8504715a9b01f58e85cbda591a}, intrahash = {1afa17db4e768b6b048f21e8ddac5baf}, isbn = {978-3-319-23263-8}, keywords = {dblp}, pages = {425-438}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:42.000+0200}, title = {Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#MantadelisSJ15}, volume = 9345, year = 2015 }