{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:15Z","timestamp":1750306335653,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2935321","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:34:47Z","timestamp":1476452087000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Unifying Logical and Statistical AI"],"prefix":"10.1145","author":[{"given":"Pedro","family":"Domingos","sequence":"first","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lowd","sequence":"additional","affiliation":[{"name":"University of Oregon"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stanley","family":"Kok","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniruddh","family":"Nath","sequence":"additional","affiliation":[{"name":"Google"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoifung","family":"Poon","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Richardson","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parag","family":"Singla","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Delhi"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2987782"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2900929.2900993"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/3020751.3020762"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3115\/1118693.1118694"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/599610.599637"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9868.00179"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007361123060"},{"key":"e_1_3_2_1_8_1","first-page":"2868","volume-title":"Advances in Neural Information Processing Systems 26","author":"den Broeck G. V.","year":"2013","unstructured":"G. V. den Broeck and A. Darwiche . On the complexity and approximation of binary evidence in lifted inference . In Advances in Neural Information Processing Systems 26 , pages 2868 -- 2876 , 2013 . G. V. den Broeck and A. Darwiche. On the complexity and approximation of binary evidence in lifted inference. In Advances in Neural Information Processing Systems 26, pages 2868--2876, 2013."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. AAAI Press","author":"den Broeck G. V.","year":"2012","unstructured":"G. V. den Broeck and J. Davis . Conditioning in first-order knowledge compilation and lifted probabilistic inference . In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. AAAI Press , 2012 . G. V. den Broeck and J. Davis. Conditioning in first-order knowledge compilation and lifted probabilistic inference. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. AAAI Press, 2012."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855041"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/502512.502525"},{"key":"e_1_3_2_1_12_1","volume-title":"Morgan Kaufmann","author":"Genesereth M. R.","year":"1987","unstructured":"M. R. Genesereth and N. J. Nilsson . Logical Foundations of Artificial Intelligence . Morgan Kaufmann , San Mateo, CA , 1987 . M. R. Genesereth and N. J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, San Mateo, CA, 1987."},{"key":"e_1_3_2_1_13_1","volume-title":"Markov Chain Monte Carlo in Practice","author":"Gilks W. R.","year":"1996","unstructured":"W. R. Gilks , S. Richardson , and D. J. Spiegelhalter , editors . Markov Chain Monte Carlo in Practice . Chapman and Hall , London, UK , 1996 . W. R. Gilks, S. Richardson, and D. J. Spiegelhalter, editors. Markov Chain Monte Carlo in Practice. Chapman and Hall, London, UK, 1996."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3020488.3020512"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2012.156"},{"key":"e_1_3_2_1_16_1","first-page":"573","volume-title":"D. Gu","author":"Kautz H.","year":"1997","unstructured":"H. Kautz , B. Selman , and Y. Jiang . A general stochastic approach to solving problems with hard and soft constraints . In D. Gu , J. Du, and P. Pardalos, editors, The Satisfiability Problem: Theory and Applications, pages 573 -- 586 . American Mathematical Society , New York, NY, 1997 . H. Kautz, B. Selman, and Y. Jiang. A general stochastic approach to solving problems with hard and soft constraints. In D. Gu, J. Du, and P. Pardalos, editors, The Satisfiability Problem: Theory and Applications, pages 573--586. American Mathematical Society, New York, NY, 1997."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102351.1102407"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273496.1273551"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87479-9_59"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1553374.1553440"},{"key":"e_1_3_2_1_21_1","volume-title":"Department of Computer Science and Engineering","author":"Kok S.","year":"2007","unstructured":"S. Kok , M. Sumner , M. Richardson , P. Singla , H. Poon , D. Lowd , and P. Domingos . The Alchemy system for statistical relational AI. Technical report , Department of Computer Science and Engineering , University of Washington , Seattle, WA , 2007 . http:\/\/alchemy.cs.washington.edu. S. Kok, M. Sumner, M. Richardson, P. Singla, H. Poon, D. Lowd, and P. Domingos. The Alchemy system for statistical relational AI. Technical report, Department of Computer Science and Engineering, University of Washington, Seattle, WA, 2007. http:\/\/alchemy.cs.washington.edu."},{"key":"e_1_3_2_1_22_1","volume-title":"Ellis Horwood","author":"Lavra\u010d N.","year":"1994","unstructured":"N. Lavra\u010d and S. D\u017eeroski . Inductive Logic Programming: Techniques and Applications . Ellis Horwood , Chichester, UK , 1994 . N. Lavra\u010d and S. D\u017eeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, Chichester, UK, 1994."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01589116"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd J. W.","year":"1987","unstructured":"J. W. Lloyd . Foundations of Logic Programming . Springer , Berlin, Germany , 1987 . J. W. Lloyd. Foundations of Logic Programming. Springer, Berlin, Germany, 1987."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74976-9_21"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008929526011"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273496.1273575"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(05)80056-5"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the International Workshop on Statistical Relational Learning","author":"Nath A.","year":"2009","unstructured":"A. Nath and P. Domingos . A language for relational decision theory . In Proceedings of the International Workshop on Statistical Relational Learning , Leuven, Belgium , 2009 . A. Nath and P. Domingos. A language for relational decision theory. In Proceedings of the International Workshop on Statistical Relational Learning, Leuven, Belgium, 2009."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/3020652.3020718"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2898607.2898832"},{"key":"e_1_3_2_1_32_1","volume-title":"Morgan Kaufmann","author":"Pearl J.","year":"1988","unstructured":"J. Pearl . Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference . Morgan Kaufmann , San Francisco, CA , 1988 . J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco, CA, 1988."},{"key":"e_1_3_2_1_33_1","first-page":"458","volume-title":"Proceedings of the Twenty-First National Conference on Artificial Intelligence","author":"Poon H.","year":"2006","unstructured":"H. Poon and P. Domingos . Sound and efficient inference with probabilistic and deterministic dependencies . In Proceedings of the Twenty-First National Conference on Artificial Intelligence , pages 458 -- 463 , Boston, MA , 2006 . AAAI Press. H. Poon and P. Domingos. Sound and efficient inference with probabilistic and deterministic dependencies. In Proceedings of the Twenty-First National Conference on Artificial Intelligence, pages 458--463, Boston, MA, 2006. AAAI Press."},{"key":"e_1_3_2_1_34_1","first-page":"913","volume-title":"Proceedings of the Twenty-Second National Conference on Artificial Intelligence","author":"Poon H.","year":"2007","unstructured":"H. Poon and P. Domingos . Joint inference in information extraction . In Proceedings of the Twenty-Second National Conference on Artificial Intelligence , pages 913 -- 918 , Vancouver, Canada , 2007 . AAAI Press. H. Poon and P. Domingos. Joint inference in information extraction. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence, pages 913--918, Vancouver, Canada, 2007. AAAI Press."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1699510.1699512"},{"key":"e_1_3_2_1_36_1","first-page":"1075","volume-title":"Proceedings of the Twenty-Third National Conference on Artificial Intelligence","author":"Poon H.","year":"2008","unstructured":"H. Poon , P. Domingos , and M. Sumner . A general method for reducing the complexity of relational inference and its application to MCMC . In Proceedings of the Twenty-Third National Conference on Artificial Intelligence , pages 1075 -- 1080 , Chicago, IL , 2008 . AAAI Press. H. Poon, P. Domingos, and M. Sumner. A general method for reducing the complexity of relational inference and its application to MCMC. In Proceedings of the Twenty-Third National Conference on Artificial Intelligence, pages 1075--1080, Chicago, IL, 2008. AAAI Press."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022699322624"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/775047.775057"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/3023476.3023532"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00092-1"},{"key":"e_1_3_2_1_43_1","first-page":"868","volume-title":"Proceedings of the Twentieth National Conference on Artificial Intelligence","author":"Singla P.","year":"2005","unstructured":"P. Singla and P. Domingos . Discriminative training of Markov logic networks . In Proceedings of the Twentieth National Conference on Artificial Intelligence , pages 868 -- 873 , Pittsburgh, PA , 2005 . AAAI Press. P. Singla and P. Domingos. Discriminative training of Markov logic networks. In Proceedings of the Twentieth National Conference on Artificial Intelligence, pages 868--873, Pittsburgh, PA, 2005. AAAI Press."},{"key":"e_1_3_2_1_44_1","first-page":"488","volume-title":"Proceedings of the Twenty-First National Conference on Artificial Intelligence","author":"Singla P.","year":"2006","unstructured":"P. Singla and P. Domingos . Memory-efficient inference in relational domains . In Proceedings of the Twenty-First National Conference on Artificial Intelligence , pages 488 -- 493 , Boston, MA , 2006 . AAAI Press. P. Singla and P. Domingos. Memory-efficient inference in relational domains. In Proceedings of the Twenty-First National Conference on Artificial Intelligence, pages 488--493, Boston, MA, 2006. AAAI Press."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/3020488.3020533"},{"key":"e_1_3_2_1_46_1","first-page":"1094","volume-title":"Proceedings of the Twenty-Third National Conference on Artificial Intelligence","author":"Singla P.","year":"2008","unstructured":"P. Singla and P. Domingos . Lifted first-order belief propagation . In Proceedings of the Twenty-Third National Conference on Artificial Intelligence , pages 1094 -- 1099 , Chicago, IL , 2008 . AAAI Press. P. Singla and P. Domingos. Lifted first-order belief propagation. In Proceedings of the Twenty-Third National Conference on Artificial Intelligence, pages 1094--1099, Chicago, IL, 2008. AAAI Press."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2892753.2892898"},{"key":"e_1_3_2_1_48_1","volume-title":"Computing Laboratory","author":"Srinivasan A.","year":"2000","unstructured":"A. Srinivasan . The Aleph manual. Technical report , Computing Laboratory , Oxford University , 2000 . A. Srinivasan. The Aleph manual. Technical report, Computing Laboratory, Oxford University, 2000."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2073876.2073934"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815478"},{"key":"e_1_3_2_1_51_1","first-page":"670","volume-title":"Proceedings of the Nineteenth National Conference on Artificial Intelligence","author":"Wei W.","year":"2004","unstructured":"W. Wei , J. Erenrich , and B. Selman . Towards efficient sampling: Exploiting random walk strategies . In Proceedings of the Nineteenth National Conference on Artificial Intelligence , pages 670 -- 676 , San Jose, CA , 2004 . AAAI Press. W. Wei, J. Erenrich, and B. Selman. Towards efficient sampling: Exploiting random walk strategies. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, pages 670--676, San Jose, CA, 2004. AAAI Press."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900006147"},{"key":"e_1_3_2_1_53_1","first-page":"689","volume-title":"Advances in Neural Information Processing Systems 13","author":"Yedidia J. S.","year":"2001","unstructured":"J. S. Yedidia , W. T. Freeman , and Y. Weiss . Generalized belief propagation . In T. Leen, T. Dietterich, and V. Tresp, editors, Advances in Neural Information Processing Systems 13 , pages 689 -- 695 . MIT Press , Cambridge, MA , 2001 . J. S. Yedidia, W. T. Freeman, and Y. Weiss. Generalized belief propagation. In T. Leen, T. Dietterich, and V. Tresp, editors, Advances in Neural Information Processing Systems 13, pages 689--695. MIT Press, Cambridge, MA, 2001."}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"New York NY USA","acronym":"LICS '16"},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2935321","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2935321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:54Z","timestamp":1750222494000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2935321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":53,"alternative-id":["10.1145\/2933575.2935321","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2935321","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}