{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:23:00Z","timestamp":1781893380032,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,5,20]],"date-time":"2015-05-20T00:00:00Z","timestamp":1432080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-0911036, IIS-1115188, CCF-1217099"],"award-info":[{"award-number":["IIS-0911036, IIS-1115188, CCF-1217099"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,5,20]]},"DOI":"10.1145\/2745754.2745760","type":"proceedings-article","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T14:36:25Z","timestamp":1432650985000},"page":"313-328","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Symmetric Weighted First-Order Model Counting"],"prefix":"10.1145","author":[{"given":"Paul","family":"Beame","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guy","family":"Van den Broeck","sequence":"additional","affiliation":[{"name":"KU Leuven, Heverlee, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Gribkoff","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Suciu","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,5,20]]},"reference":[{"issue":"2","key":"e_1_3_2_1_1_1","first-page":"135","article-title":"NL languages and #P1-complete census functions","volume":"27","author":"Bertoni Alberto","year":"1993","unstructured":"Alberto Bertoni and Massimiliano Goldwurm . On ranking 1-way finitely ambiguous NL languages and #P1-complete census functions . ITA , 27 ( 2 ): 135 -- 148 , 1993 . Alberto Bertoni and Massimiliano Goldwurm. On ranking 1-way finitely ambiguous NL languages and #P1-complete census functions. ITA, 27(2):135--148, 1993.","journal-title":"ITA"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2898607.2898816"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90032-6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0004-3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2395116.2395119"},{"key":"e_1_3_2_1_6_1","unstructured":"http:\/\/deepdive.stanford.edu\/.  http:\/\/deepdive.stanford.edu\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855041"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623623"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2178\/bsl.1804020"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2012.05.005"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2145432.2145596"},{"key":"e_1_3_2_1_12_1","first-page":"43","volume-title":"SIAM-AMS Proceedings 7","author":"Fagin Ronald","year":"1974","unstructured":"Ronald Fagin . Generalized first-order spectra and polynomial-time recognizable sets . In SIAM-AMS Proceedings 7 , pages 43 -- 73 , 1974 . Ronald Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In SIAM-AMS Proceedings 7, pages 43--73, 1974."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200051756"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2402.322390"},{"key":"e_1_3_2_1_15_1","first-page":"256","volume-title":"UAI","author":"Gogate Vibhav","year":"2011","unstructured":"Vibhav Gogate and Pedro Domingos . Probabilistic theorem proving . In UAI , pages 256 -- 265 , 2011 . Vibhav Gogate and Pedro Domingos. Probabilistic theorem proving. In UAI, pages 256--265, 2011."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625645"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"e_1_3_2_1_18_1","first-page":"280","volume-title":"UAI","author":"Gribkoff Eric","year":"2014","unstructured":"Eric Gribkoff , Guy Van den Broeck , and Dan Suciu . Understanding the complexity of lifted inference and asymmetric weighted model counting . In UAI , pages 280 -- 289 , 2014 . Eric Gribkoff, Guy Van den Broeck, and Dan Suciu. Understanding the complexity of lifted inference and asymmetric weighted model counting. In UAI, pages 280--289, 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.06.001"},{"key":"e_1_3_2_1_20_1","volume-title":"TPLP","author":"Jaeger Manfred","year":"2012","unstructured":"Manfred Jaeger . Lower complexity bounds for lifted inference . TPLP , 2012 . Manfred Jaeger. Lower complexity bounds for lifted inference. TPLP, 2012."},{"key":"e_1_3_2_1_21_1","volume-title":"StarAI","author":"Jaeger Manfred","year":"2012","unstructured":"Manfred Jaeger and Guy Van den Broeck . Liftability of probabilistic inference: Upper and lower bounds . In StarAI , 2012 . Manfred Jaeger and Guy Van den Broeck. Liftability of probabilistic inference: Upper and lower bounds. In StarAI, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350236"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/800152.804909"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1795114.1795147"},{"key":"e_1_3_2_1_25_1","volume-title":"Guy Van den Broeck, and Luc De Raedt. Algebraic model counting. arXiv preprint arXiv:1211.4475","author":"Kimmig Angelika","year":"2012","unstructured":"Angelika Kimmig , Guy Van den Broeck, and Luc De Raedt. Algebraic model counting. arXiv preprint arXiv:1211.4475 , 2012 . Angelika Kimmig, Guy Van den Broeck, and Luc De Raedt. Algebraic model counting. arXiv preprint arXiv:1211.4475, 2012."},{"key":"e_1_3_2_1_26_1","volume-title":"The alchemy system for statistical relational AI","author":"Kok S.","year":"2005","unstructured":"S. Kok , P. Singla , M. Richardson , and P. Domingos . The alchemy system for statistical relational AI , 2005 . S. Kok, P. Singla, M. Richardson, and P. Domingos. The alchemy system for statistical relational AI, 2005."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645729.667854"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1965351"},{"key":"e_1_3_2_1_29_1","volume-title":"AAAI","author":"Niepert Mathias","year":"2013","unstructured":"Mathias Niepert . Symmetry-aware marginal density estimation . In AAAI , 2013 . Mathias Niepert. Symmetry-aware marginal density estimation. In AAAI, 2013."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/1978665.1978669"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1597538.1597612"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2031527"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90044-6"},{"key":"e_1_3_2_1_34_1","series-title":"SIAM J. Comput","volume-title":"The complexity of enumeration and reliability problems","author":"Valiant Leslie G.","year":"1979","unstructured":"Leslie G. Valiant . The complexity of enumeration and reliability problems . SIAM J. Comput ., 1979 . Leslie G. Valiant. The complexity of enumeration and reliability problems. SIAM J. Comput., 1979."},{"key":"e_1_3_2_1_35_1","first-page":"1386","volume-title":"NIPS","author":"den Broeck Guy Van","year":"2011","unstructured":"Guy Van den Broeck . On the completeness of first-order knowledge compilation for lifted probabilistic inference . In NIPS , pages 1386 -- 1394 , 2011 . Guy Van den Broeck. On the completeness of first-order knowledge compilation for lifted probabilistic inference. In NIPS, pages 1386--1394, 2011."},{"key":"e_1_3_2_1_36_1","volume-title":"NIPS","author":"den Broeck Guy Van","year":"2013","unstructured":"Guy Van den Broeck and Adnan Darwiche . On the complexity and approximation of binary evidence in lifted inference . In NIPS , 2013 . Guy Van den Broeck and Adnan Darwiche. On the complexity and approximation of binary evidence in lifted inference. In NIPS, 2013."},{"key":"e_1_3_2_1_37_1","volume-title":"KR","author":"den Broeck Guy Van","year":"2014","unstructured":"Guy Van den Broeck , Wannes Meert , and Adnan Darwiche . Skolemization for weighted first-order model counting . In KR , 2014 . Guy Van den Broeck, Wannes Meert, and Adnan Darwiche. Skolemization for weighted first-order model counting. In KR, 2014."},{"key":"e_1_3_2_1_38_1","volume-title":"StaRAI","author":"den Broeck Guy Van","year":"2013","unstructured":"Guy Van den Broeck , Wannes Meert , and Jesse Davis . Lifted generative parameter learning . In StaRAI , 2013 . Guy Van den Broeck, Wannes Meert, and Jesse Davis. Lifted generative parameter learning. In StaRAI, 2013."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283696.2283762"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802186"},{"key":"e_1_3_2_1_41_1","volume-title":"NIPS","author":"Venugopal Deepak","year":"2014","unstructured":"Deepak Venugopal and Vibhav Gogate . Scaling-up importance sampling for markov logic networks . In NIPS , 2014 . Deepak Venugopal and Vibhav Gogate. Scaling-up importance sampling for markov logic networks. In NIPS, 2014."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1597148.1597256"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213891"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2463702"}],"event":{"name":"SIGMOD\/PODS'15: International Conference on Management of Data","location":"Melbourne Victoria Australia","acronym":"SIGMOD\/PODS'15","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI  Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2745754.2745760","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2745754.2745760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:45Z","timestamp":1750227405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2745754.2745760"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,20]]},"references-count":44,"alternative-id":["10.1145\/2745754.2745760","10.1145\/2745754"],"URL":"https:\/\/doi.org\/10.1145\/2745754.2745760","relation":{},"subject":[],"published":{"date-parts":[[2015,5,20]]},"assertion":[{"value":"2015-05-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}