{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:14:44Z","timestamp":1779174884816,"version":"3.51.4"},"reference-count":139,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T00:00:00Z","timestamp":1716940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Manag. Data"],"published-print":{"date-parts":[[2024,5,29]]},"abstract":"<jats:p>We introduce StarfishDB, a query execution engine optimized for relational probabilistic programming. Our engine adopts the model of Gamma Probabilistic Databases, representing probabilistic programs as a collection of relational constraints, imposed against a generative stochastic process. We extend the model with the support for recursion, factorization and the ability to leverage just-in-time compilation techniques to speed up inference. We test our engine against a state-of-the-art sampler for Latent Dirichlet Allocation.<\/jats:p>","DOI":"10.1145\/3654988","type":"journal-article","created":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T09:44:53Z","timestamp":1717062293000},"page":"1-31","source":"Crossref","is-referenced-by-count":2,"title":["StarfishDB: A Query Execution Engine for Relational Probabilistic Programming"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4324-8298","authenticated-orcid":false,"given":"Ouael","family":"Ben Amara","sequence":"first","affiliation":[{"name":"Computer and Information Science (CIS), University of Michigan-Dearborn, Dearborn, MI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3407-307X","authenticated-orcid":false,"given":"Sami","family":"Hadouaj","sequence":"additional","affiliation":[{"name":"Computer and Information Science (CIS), University of Michigan-Dearborn, Dearborn, MI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4107-1759","authenticated-orcid":false,"given":"Niccol\u00f2","family":"Meneghetti","sequence":"additional","affiliation":[{"name":"Computer and Information Science (CIS), University of Michigan-Dearborn, Dearborn, MI, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,5,30]]},"reference":[{"key":"e_1_2_2_1_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley. http:\/\/webdam.inria.fr\/Alice\/"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/320083.320091"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-009-0149-y"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563347"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICDT.2016.7"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132700"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386009"},{"key":"e_1_2_2_8_1","volume-title":"A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains. The annals of mathematical statistics","author":"Baum Leonard E","year":"1970","unstructured":"Leonard E Baum, Ted Petrie, George Soules, and Norman Weiss. 1970. A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains. The annals of mathematical statistics, Vol. 41, 1 (1970), 164--171."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356180"},{"key":"e_1_2_2_10_1","volume-title":"Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems","author":"Baydin Atilim Gunes","year":"2019","unstructured":"Atilim Gunes Baydin, Lei Shao, Wahid Bhimji, Lukas Heinrich, Saeid Naderiparizi, Andreas Munk, Jialin Liu, Bradley Gram-Hansen, Gilles Louppe, Lawrence Meadows, Philip H. S. Torr, Victor W. Lee, Kyle Cranmer, Prabhat, and Frank Wood. 2019b. Efficient Probabilistic Inference in the Quest for Physics Beyond the Standard Model. In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8--14, 2019, Vancouver, BC, Canada, Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d'Alch\u00e9 -Buc, Emily B. Fox, and Roman Garnett (Eds.). 5460--5473. https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/6d19c113404cee55b4036fce1a37c058-Abstract.html"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3322706.3322734"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2017.1285773"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/944919.944937"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00895ED1V01Y201901DTM057"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409380"},{"key":"e_1_2_2_16_1","volume-title":"Second Biennial Conference on Innovative Data Systems Research, CIDR 2005, Asilomar, CA, USA, January 4--7, 2005, Online Proceedings. www.cidrdb.org, 225--237","author":"Boncz Peter A.","year":"2005","unstructured":"Peter A. Boncz, Marcin Zukowski, and Niels Nes. 2005. MonetDB\/X100: Hyper-Pipelining Query Execution. In Second Biennial Conference on Innovative Data Systems Research, CIDR 2005, Asilomar, CA, USA, January 4--7, 2005, Online Proceedings. www.cidrdb.org, 225--237. http:\/\/cidrdb.org\/cidr2005\/papers\/P19.pdf"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3--540--44503-X_20"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465283"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/83.1.81"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ARTINT.2007.11.002"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586050"},{"key":"e_1_2_2_24_1","unstructured":"Y Choi Antonio Vergari and Guy Van den Broeck. 2020. Probabilistic circuits: A unifying framework for tractable probabilistic models. http:\/\/starai.cs.ucla.edu\/papers\/ProbCirc20.pdf"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-006-0004--3"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA210353"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.989"},{"key":"e_1_2_2_28_1","unstructured":"Bruno De Finetti. 1974. Theory of probability: a critical introductory treatment. (1974)."},{"key":"e_1_2_2_29_1","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","author":"de Salvo Braz Rodrigo","year":"2005","unstructured":"Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth. 2005. Lifted First-Order Probabilistic Inference. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 1319--1325. http:\/\/ijcai.org\/Proceedings\/05\/Papers\/1548.pdf"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ARTINT.2006.11.003"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23461-8_37"},{"key":"e_1_2_2_32_1","unstructured":"Dheeru Dua and Casey Graff. 2017. UCI Machine Learning Repository. http:\/\/archive.ics.uci.edu\/ml"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005721"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3386137"},{"key":"e_1_2_2_35_1","first-page":"36","article-title":"A Declarative Approach to Fairness in Relational Domains","volume":"42","author":"Farnadi Golnoosh","year":"2019","unstructured":"Golnoosh Farnadi, Behrouz Babaki, and Lise Getoor. 2019. A Declarative Approach to Fairness in Relational Domains. IEEE Data Eng. Bull., Vol. 42, 3 (2019), 36--48. http:\/\/sites.computer.org\/debull\/A19sept\/p36.pdf","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/P3HPC49587.2019.00013"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/646307.687770"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3035937"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--41528--4_4"},{"key":"e_1_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Stuart German and Donald German. 1988. Stochastic relaxation Gibbs distributions and the Bayesian restoration of images. In Neurocomputing: foundations of research. 611--634.","DOI":"10.7551\/mitpress\/4943.003.0038"},{"key":"e_1_2_2_42_1","volume-title":"Nature","volume":"521","author":"Ghahramani Zoubin","year":"2015","unstructured":"Zoubin Ghahramani. 2015. Probabilistic machine learning and artificial intelligence. Nature, Vol. 521, 7553 (2015), 452--459."},{"key":"e_1_2_2_43_1","volume-title":"Read-once functions. Boolean Functions: Theory, Algorithms and Applications","author":"Golumbic Martin Charles","year":"2011","unstructured":"Martin Charles Golumbic, Vladimir Gurvich, Yves Crama, and Peter L Hammer. 2011. Read-once functions. Boolean Functions: Theory, Algorithms and Applications (2011), 519--560."},{"key":"e_1_2_2_44_1","volume-title":"UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence","author":"Goodman Noah D.","year":"2009","unstructured":"Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9--12, 2009, David A. McAllester and Petri Myllym\"a ki (Eds.). AUAI Press, 220--229. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1346&proceeding_id=24"},{"key":"e_1_2_2_45_1","unstructured":"Noah D Goodman Joshua B. Tenenbaum and The ProbMods Contributors. 2016. Probabilistic Models of Cognition. http:\/\/probmods.org\/v2. Accessed: 2024--1--13."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535850"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_2_2_49_1","first-page":"17","article-title":"Models for Incomplete and Probabilistic Information","volume":"29","author":"Green Todd J.","year":"2006","unstructured":"Todd J. Green and Val Tannen. 2006. Models for Incomplete and Probabilistic Information. IEEE Data Eng. Bull., Vol. 29, 1 (2006), 17--24. http:\/\/sites.computer.org\/debull\/A06mar\/green.ps","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0307752101"},{"key":"e_1_2_2_51_1","doi-asserted-by":"crossref","unstructured":"W Keith Hastings. 1970. Monte Carlo sampling methods using Markov chains and their applications. (1970).","DOI":"10.2307\/2334940"},{"key":"e_1_2_2_52_1","volume-title":"Online learning for latent dirichlet allocation. advances in neural information processing systems","author":"Hoffman Matthew","year":"2010","unstructured":"Matthew Hoffman, Francis Bach, and David Blei. 2010. Online learning for latent dirichlet allocation. advances in neural information processing systems, Vol. 23 (2010)."},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428208"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062375"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488504002564"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422648.3422659"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476311.3476372"},{"key":"e_1_2_2_58_1","doi-asserted-by":"crossref","unstructured":"Kristian Kersting. 2012. Lifted Probabilistic Inference.. In ECAI. 33--38.","DOI":"10.3233\/978-1-61499-098-7-33"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209889.3209896"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3375661"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_2_2_62_1","volume-title":"Probabilistic Sentential Decision Diagrams. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014","author":"Kisa Doga","year":"2014","unstructured":"Doga Kisa, Guy Van den Broeck, Arthur Choi, and Adnan Darwiche. 2014. Probabilistic Sentential Decision Diagrams. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20--24, 2014, Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter (Eds.). AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/8005"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ENVSOFT.2019.01.014"},{"key":"e_1_2_2_64_1","article-title":"Automatic Differentiation Variational Inference","volume":"18","author":"Kucukelbir Alp","year":"2017","unstructured":"Alp Kucukelbir, Dustin Tran, Rajesh Ranganath, Andrew Gelman, and David M. Blei. 2017. Automatic Differentiation Variational Inference. J. Mach. Learn. Res., Vol. 18 (2017), 14:1--14:45. http:\/\/jmlr.org\/papers\/v18\/16--107.html","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7299068"},{"key":"e_1_2_2_66_1","volume-title":"Cerebro: A Layered Data Platform for Scalable Deep Learning. In 11th Conference on Innovative Data Systems Research, CIDR","author":"Kumar Arun","year":"2021","unstructured":"Arun Kumar, Supun Nakandala, Yuhao Zhang, Side Li, Advitya Gemawat, and Kabir Nagrecha. 2021. Cerebro: A Layered Data Platform for Scalable Deep Learning. In 11th Conference on Innovative Data Systems Research, CIDR 2021, Virtual Event, January 11--15, 2021, Online Proceedings. www.cidrdb.org. http:\/\/cidrdb.org\/cidr2021\/papers\/cidr2021_paper25.pdf"},{"key":"e_1_2_2_67_1","volume-title":"NeurIPS 2021 Workshop on Pre-Registration in Machine Learning","volume":"25","author":"Lang Steven","year":"2021","unstructured":"Steven Lang, Martin Mundt, Fabrizio Ventola, Robert Peharz, and Kristian Kersting. 2021. Elevating Perceptual Sample Quality in PCs through Differentiable Sampling. In NeurIPS 2021 Workshop on Pre-Registration in Machine Learning, 13 December 2021, Virtual (Proceedings of Machine Learning Research, Vol. 181), Samuel Albanie, Jo a o F. Henriques, Luca Bertinetto, Alex Hern\u00e1 ndez-Garc'i a, Hazel Doughty, and G\u00fc l Varol (Eds.). PMLR, 1--25. https:\/\/proceedings.mlr.press\/v181\/lang22a.html"},{"key":"e_1_2_2_68_1","volume-title":"The 24th International Conference on Artificial Intelligence and Statistics, AISTATS 2021, April 13--15","volume":"1935","author":"Lew Alexander K.","year":"2021","unstructured":"Alexander K. Lew, Monica Agrawal, David A. Sontag, and Vikash Mansinghka. 2021. PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming. In The 24th International Conference on Artificial Intelligence and Statistics, AISTATS 2021, April 13--15, 2021, Virtual Event (Proceedings of Machine Learning Research, Vol. 130), Arindam Banerjee and Kenji Fukumizu (Eds.). PMLR, 1927--1935. http:\/\/proceedings.mlr.press\/v130\/lew21a.html"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/322276.322280"},{"key":"e_1_2_2_70_1","unstructured":"Vikash Mansinghka Ulrich Schaecthle Zane Shelby Harish Tella Cameron Freer Feras Saad Joshua Thayer Amanda Brower Rachael Paiste Jonathan Rees et al. 2022. BayesDB For Data-Centric Scientific Discovery. (2022)."},{"key":"e_1_2_2_71_1","volume-title":"Perov","author":"Mansinghka Vikash","year":"2014","unstructured":"Vikash Mansinghka, Daniel Selsam, and Yura N. Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR, Vol. abs\/1404.0099 (2014). showeprint[arXiv]1404.0099 http:\/\/arxiv.org\/abs\/1404.0099"},{"key":"e_1_2_2_72_1","volume-title":"BayesDB: A probabilistic programming system for querying the probable implications of data. CoRR","author":"Mansinghka Vikash","year":"2015","unstructured":"Vikash Mansinghka, Richard Tibbetts, Jay Baxter, Patrick Shafto, and Baxter Eaves. 2015. BayesDB: A probabilistic programming system for querying the probable implications of data. CoRR, Vol. abs\/1512.05006 (2015). showeprint[arXiv]1512.05006 http:\/\/arxiv.org\/abs\/1512.05006"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ARTINT.2009.07.003"},{"key":"e_1_2_2_74_1","volume-title":"AND\/OR Multi-Valued Decision Diagrams (AOMDDs) for Weighted Graphical Models. In UAI 2007, Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence","author":"Mateescu Robert","year":"2007","unstructured":"Robert Mateescu and Rina Dechter. 2007. AND\/OR Multi-Valued Decision Diagrams (AOMDDs) for Weighted Graphical Models. In UAI 2007, Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence, Vancouver, BC, Canada, July 19--22, 2007, Ronald Parr and Linda C. van der Gaag (Eds.). AUAI Press, 276--284. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1700&proceeding_id=23"},{"key":"e_1_2_2_75_1","volume-title":"Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7--10","author":"McCallum Andrew","year":"2009","unstructured":"Andrew McCallum, Karl Schultz, and Sameer Singh. 2009. FACTORIE: Probabilistic Programming via Imperatively Defined Factor Graphs. In Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7--10 December 2009, Vancouver, British Columbia, Canada, Yoshua Bengio, Dale Schuurmans, John D. Lafferty, Christopher K. I. Williams, and Aron Culotta (Eds.). Curran Associates, Inc., 1249--1257. http:\/\/papers.nips.cc\/paper\/3654-factorie-probabilistic-programming-via-imperatively-defined-factor-graphs"},{"key":"e_1_2_2_76_1","unstructured":"Andrew Kachites McCallum. 2002 a. Mallet: A machine learning for language toolkit. http:\/\/mallet. cs. umass. edu (2002)."},{"key":"e_1_2_2_77_1","unstructured":"Andrew Kachites McCallum. 2002 b. MALLET: A Machine Learning for Language Toolkit. (2002). http:\/\/www.cs.umass.edu\/ mccallum\/mallet."},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.48786\/edbt.2022.14"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064026"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3277503"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.2172\/4390578"},{"key":"e_1_2_2_82_1","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","author":"Milch Brian","year":"2005","unstructured":"Brian Milch, Bhaskara Marthi, Stuart J. Russell, David A. Sontag, Daniel L. Ong, and Andrey Kolobov. 2005 a. BLOG: Probabilistic Models with Unknown Objects. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 1352--1359. http:\/\/ijcai.org\/Proceedings\/05\/Papers\/1546.pdf"},{"key":"e_1_2_2_83_1","volume-title":"Proceedings of the Tenth International Workshop on Artificial Intelligence and Statistics, AISTATS 2005","author":"Milch Brian","year":"2005","unstructured":"Brian Milch, Bhaskara Marthi, David A. Sontag, Stuart Russell, Daniel L. Ong, and Andrey Kolobov. 2005 b. Approximate Inference for Infinite Contingent Bayesian Networks. In Proceedings of the Tenth International Workshop on Artificial Intelligence and Statistics, AISTATS 2005, Bridgetown, Barbados, January 6--8, 2005, Robert G. Cowell and Zoubin Ghahramani (Eds.). Society for Artificial Intelligence and Statistics. http:\/\/www.gatsby.ucl.ac.uk\/aistats\/fullpapers\/263.pdf"},{"key":"e_1_2_2_84_1","volume-title":"http:\/\/research. microsoft. com\/infernet","author":"Minka Tom","year":"2012","unstructured":"Tom Minka. 2012. Infer. NET 2.5. http:\/\/research. microsoft. com\/infernet (2012)."},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v067.i10"},{"key":"e_1_2_2_86_1","volume-title":"Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. In International Conference on Artificial Intelligence and Statistics, AISTATS 2018","volume":"1046","author":"Murray Lawrence M.","year":"2018","unstructured":"Lawrence M. Murray, Daniel Lund\u00e9 n, Jan Kudlicka, David Broman, and Thomas B. Sch\u00f6 n. 2018. Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. In International Conference on Artificial Intelligence and Statistics, AISTATS 2018, 9--11 April 2018, Playa Blanca, Lanzarote, Canary Islands, Spain (Proceedings of Machine Learning Research, Vol. 84), Amos J. Storkey and Fernando P\u00e9 rez-Cruz (Eds.). PMLR, 1037--1046. http:\/\/proceedings.mlr.press\/v84\/murray18a.html"},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3517846"},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--29604--3_5"},{"key":"e_1_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.1080\/10618600.2000.10474879"},{"key":"e_1_2_2_90_1","unstructured":"Radford M Neal et al. 2011. MCMC using Hamiltonian dynamics. Handbook of markov chain monte carlo Vol. 2 11 (2011) 2."},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.14778\/2002938.2002940"},{"key":"e_1_2_2_92_1","volume-title":"Mach. Learn. Res.","volume":"10","author":"Newman David","year":"2009","unstructured":"David Newman, Arthur Asuncion, Padhraic Smyth, and Max Welling. 2009. Distributed Algorithms for Topic Models. J. Mach. Learn. Res., Vol. 10 (dec 2009), 1801--1828."},{"key":"e_1_2_2_93_1","volume-title":"Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7--9, 2017 (CEUR Workshop Proceedings","author":"Ngo Hung Q.","year":"2017","unstructured":"Hung Q. Ngo, XuanLong Nguyen, Dan Olteanu, and Maximilian Schleich. 2017. In-Database Factorized Learning. In Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7--9, 2017 (CEUR Workshop Proceedings, Vol. 1912), Juan L. Reutter and Divesh Srivastava (Eds.). CEUR-WS.org. https:\/\/ceur-ws.org\/Vol-1912\/paper21.pdf"},{"key":"e_1_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1609\/AAAI.V28I1.9060"},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.14778\/3007263.3007312"},{"key":"e_1_2_2_96_1","volume-title":"Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13--18","volume":"7574","author":"Peharz Robert","year":"2020","unstructured":"Robert Peharz, Steven Lang, Antonio Vergari, Karl Stelzner, Alejandro Molina, Martin Trapp, Guy Van den Broeck, Kristian Kersting, and Zoubin Ghahramani. 2020. Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic Circuits. In Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13--18 July 2020, Virtual Event (Proceedings of Machine Learning Research, Vol. 119). PMLR, 7563--7574. http:\/\/proceedings.mlr.press\/v119\/peharz20a.html"},{"key":"e_1_2_2_97_1","volume-title":"IBAL: A Probabilistic Rational Programming Language. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI","author":"Pfeffer Avi","year":"2001","unstructured":"Avi Pfeffer. 2001. IBAL: A Probabilistic Rational Programming Language. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4--10, 2001, Bernhard Nebel (Ed.). Morgan Kaufmann, 733--740."},{"key":"e_1_2_2_98_1","first-page":"4","article-title":"Figaro: An object-oriented probabilistic programming language","volume":"137","author":"Pfeffer Avi","year":"2009","unstructured":"Avi Pfeffer. 2009. Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, Vol. 137, 96 (2009), 4.","journal-title":"Charles River Analytics Technical Report"},{"key":"e_1_2_2_99_1","volume-title":"Proceedings of the 3rd international workshop on distributed statistical computing","volume":"124","author":"Martyn","unstructured":"Martyn Plummer et al. 2003. JAGS: A program for analysis of Bayesian graphical models using Gibbs sampling. In Proceedings of the 3rd international workshop on distributed statistical computing, Vol. 124. Vienna, Austria, 1--10."},{"key":"e_1_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--78652--8_8"},{"key":"e_1_2_2_101_1","volume-title":"Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16--20, 2006","author":"Poon Hoifung","year":"2006","unstructured":"Hoifung Poon and Pedro M. Domingos. 2006. Sound and Efficient Inference with Probabilistic and Deterministic Dependencies. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16--20, 2006, Boston, Massachusetts, USA. AAAI Press, 458--463. http:\/\/www.aaai.org\/Library\/AAAI\/2006\/aaai06-073.php"},{"key":"e_1_2_2_102_1","volume-title":"Domingos","author":"Poon Hoifung","year":"2011","unstructured":"Hoifung Poon and Pedro M. Domingos. 2011. Sum-Product Networks: A New Deep Architecture. In UAI 2011, Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence, Barcelona, Spain, July 14--17, 2011, F\u00e1 bio Gagliardi Cozman and Avi Pfeffer (Eds.). AUAI Press, 337--346. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2194&proceeding_id=27"},{"key":"e_1_2_2_103_1","volume-title":"Testing Probabilistic Circuits. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021","author":"Pote Yash","year":"2021","unstructured":"Yash Pote and Kuldeep S. Meel. 2021. Testing Probabilistic Circuits. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6--14, 2021, virtual, Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, and Jennifer Wortman Vaughan (Eds.). 22336--22347. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/bc573864331a9e42e4511de6f678aa83-Abstract.html"},{"key":"e_1_2_2_104_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.18626"},{"key":"e_1_2_2_105_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--78652--8_1"},{"key":"e_1_2_2_106_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00692ED1V01Y201601AIM032"},{"key":"e_1_2_2_107_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006--5833--1"},{"key":"e_1_2_2_108_1","unstructured":"Fabrizio Riguzzi Evelina Lamma Marco Alberti Elena Bellodi Riccardo Zese and Giuseppe Cota. 2016. Probabilistic Logic Programming for Natural Language Processing. In Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016) Genova Italy November 28th 2016 (CEUR Workshop Proceedings Vol. 1802) Federico Chesani Paola Mello and Michela Milano (Eds.). CEUR-WS.org 30--37. https:\/\/ceur-ws.org\/Vol-1802\/paper4.pdf"},{"key":"e_1_2_2_109_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766895"},{"key":"e_1_2_2_110_1","volume-title":"Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016","author":"Saad Feras","year":"2016","unstructured":"Feras Saad and Vikash K. Mansinghka. 2016. A Probabilistic Programming Approach To Probabilistic Data Analysis. In Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5--10, 2016, Barcelona, Spain, Daniel D. Lee, Masashi Sugiyama, Ulrike von Luxburg, Isabelle Guyon, and Roman Garnett (Eds.). 2011--2019. https:\/\/proceedings.neurips.cc\/paper\/2016\/hash\/46072631582fc240dd2674a7d063b040-Abstract.html"},{"key":"e_1_2_2_111_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_2_2_112_1","doi-asserted-by":"crossref","unstructured":"John Salvatier Thomas V Wiecki and Christopher Fonnesbeck. 2016. Probabilistic programming in Python using PyMC3. (2016).","DOI":"10.7287\/peerj.preprints.1686v1"},{"key":"e_1_2_2_113_1","volume-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97","author":"Sato Taisuke","year":"1997","unstructured":"Taisuke Sato and Yoshitaka Kameya. 1997. PRISM: A Language for Symbolic-Statistical Modeling. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23--29, 1997, 2 Volumes. Morgan Kaufmann, 1330--1339. http:\/\/ijcai.org\/Proceedings\/97--2\/Papers\/078.pdf"},{"key":"e_1_2_2_114_1","volume-title":"First Conference on Automated Machine Learning (Late-Breaking Workshop).","author":"Schaechtle Ulrich","year":"2022","unstructured":"Ulrich Schaechtle, Cameron Freer, Zane Shelby, Feras Saad, and Vikash Mansinghka. 2022. Bayesian AutoML for databases via the InferenceQL probabilistic programming system. In First Conference on Automated Machine Learning (Late-Breaking Workshop)."},{"key":"e_1_2_2_115_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-030--35514--2_32"},{"key":"e_1_2_2_116_1","doi-asserted-by":"publisher","DOI":"10.1609\/AAAI.V37I10.26447"},{"key":"e_1_2_2_117_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000102"},{"key":"e_1_2_2_118_1","doi-asserted-by":"publisher","DOI":"10.29007\/H4P9"},{"key":"e_1_2_2_119_1","volume-title":"BUGS: Bayesian inference using Gibbs sampling. Version 0.5,(version ii) http:\/\/www. mrc-bsu. cam. ac. uk\/bugs","author":"Spiegelhalter David J","year":"1996","unstructured":"David J Spiegelhalter, Andrew Thomas, Nicky G Best, Wally Gilks, and D Lunn. 1996. BUGS: Bayesian inference using Gibbs sampling. Version 0.5,(version ii) http:\/\/www. mrc-bsu. cam. ac. uk\/bugs, Vol. 19 (1996)."},{"key":"e_1_2_2_120_1","volume-title":"Probabilistic databases. Synthesis lectures on data management","author":"Suciu Dan","year":"2011","unstructured":"Dan Suciu, Dan Olteanu, Christopher R\u00e9, and Christoph Koch. 2011a. Probabilistic databases. Synthesis lectures on data management, Vol. 3, 2 (2011), 1--180."},{"key":"e_1_2_2_121_1","doi-asserted-by":"publisher","unstructured":"Dan Suciu Dan Olteanu Christopher R\u00e9 and Christoph Koch. 2011b. Probabilistic Databases. Morgan & Claypool Publishers. https:\/\/doi.org\/10.2200\/S00362ED1V01Y201105DTM016","DOI":"10.2200\/S00362ED1V01Y201105DTM016"},{"key":"e_1_2_2_122_1","volume-title":"Auto-Differentiation of Relational Computations for Very Large Scale Machine Learning. In International Conference on Machine Learning, ICML 2023","volume":"33598","author":"Tang Yuxin","year":"2023","unstructured":"Yuxin Tang, Zhimin Ding, Dimitrije Jankov, Binhang Yuan, Daniel Bourgeois, and Chris Jermaine. 2023. Auto-Differentiation of Relational Computations for Very Large Scale Machine Learning. In International Conference on Machine Learning, ICML 2023, 23--29 July 2023, Honolulu, Hawaii, USA (Proceedings of Machine Learning Research, Vol. 202), Andreas Krause, Emma Brunskill, Kyunghyun Cho, Barbara Engelhardt, Sivan Sabato, and Jonathan Scarlett (Eds.). PMLR, 33581--33598. https:\/\/proceedings.mlr.press\/v202\/tang23a.html"},{"key":"e_1_2_2_123_1","volume-title":"21st International Conference on Computational Statistics (COMPSTAT","author":"Todeschini Adrien","year":"2014","unstructured":"Adrien Todeschini, Francois Caron, Marc Fuentes, Pierrick Legrand, and Pierre del Moral. 2014. Biips software: inference in Bayesian graphical models with sequential Monte Carlo methods. In 21st International Conference on Computational Statistics (COMPSTAT 2014). European Regional Section of the IASC, Gen\u00e8ve, Switzerland. https:\/\/inria.hal.science\/hal-01108399"},{"key":"e_1_2_2_124_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--23461--8_36"},{"key":"e_1_2_2_125_1","volume-title":"Blei","author":"Tran Dustin","year":"2016","unstructured":"Dustin Tran, Alp Kucukelbir, Adji B. Dieng, Maja R. Rudolph, Dawen Liang, and David M. Blei. 2016. Edward: A library for probabilistic modeling, inference, and criticism. CoRR, Vol. abs\/1610.09787 (2016). arxiv: 1610.09787 http:\/\/arxiv.org\/abs\/1610.09787"},{"key":"e_1_2_2_126_1","volume-title":"V'i ctor Guti\u00e9 rrez-Basulto, and Angelika Kimmig","author":"Tsamoura Efthymia","year":"2020","unstructured":"Efthymia Tsamoura, V'i ctor Guti\u00e9 rrez-Basulto, and Angelika Kimmig. 2020. Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7--12, 2020. AAAI Press, 10284--10291. https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/6591"},{"key":"e_1_2_2_127_1","volume-title":"An Introduction to Probabilistic Programming. stat","author":"van de Meent Jan-Willem","year":"2018","unstructured":"Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, and Frank Wood. 2018. An Introduction to Probabilistic Programming. stat, Vol. 1050 (2018), 27."},{"key":"e_1_2_2_128_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409003767"},{"key":"e_1_2_2_129_1","volume-title":"Francisco Casacuberta, and Rafael C Carrasco. 2005 a. Probabilistic finite-state machines-part I","author":"Vidal Enrique","year":"2005","unstructured":"Enrique Vidal, Franck Thollard, Colin De La Higuera, Francisco Casacuberta, and Rafael C Carrasco. 2005 a. Probabilistic finite-state machines-part I. IEEE transactions on pattern analysis and machine intelligence, Vol. 27, 7 (2005), 1013--1025."},{"key":"e_1_2_2_130_1","volume-title":"Francisco Casacuberta, and Rafael C Carrasco. 2005 b. Probabilistic finite-state machines-part II","author":"Vidal Enrique","year":"2005","unstructured":"Enrique Vidal, Frank Thollard, Colin De La Higuera, Francisco Casacuberta, and Rafael C Carrasco. 2005 b. Probabilistic finite-state machines-part II. IEEE transactions on pattern analysis and machine intelligence, Vol. 27, 7 (2005), 1026--1039."},{"key":"e_1_2_2_131_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341702"},{"key":"e_1_2_2_132_1","doi-asserted-by":"publisher","DOI":"10.1145\/1553374.1553515"},{"key":"e_1_2_2_133_1","volume-title":"Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22--25, 2014 (JMLR Workshop and Conference Proceedings","volume":"1032","author":"Wood Frank D.","unstructured":"Frank D. Wood, Jan-Willem van de Meent, and Vikash Mansinghka. 2014. A New Approach to Probabilistic Programming Inference. In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22--25, 2014 (JMLR Workshop and Conference Proceedings, Vol. 33). JMLR.org, 1024--1032. http:\/\/proceedings.mlr.press\/v33\/wood14.html"},{"key":"e_1_2_2_134_1","volume-title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016","author":"Wu Yi","year":"2016","unstructured":"Yi Wu, Lei Li, Stuart Russell, and Rastislav Bod'i k. 2016. Swift: Compiled Inference for Probabilistic Programming Languages. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9--15 July 2016, Subbarao Kambhampati (Ed.). IJCAI\/AAAI Press, 3637--3645. http:\/\/www.ijcai.org\/Abstract\/16\/512"},{"key":"e_1_2_2_135_1","doi-asserted-by":"publisher","DOI":"10.1145\/1557019.1557121"},{"key":"e_1_2_2_136_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2904442"},{"key":"e_1_2_2_137_1","volume-title":"Proc. of the Tenth Canadian Conference on Artificial Intelligence.","author":"Zhang Nevin L","year":"1994","unstructured":"Nevin L Zhang and David Poole. 1994. A simple approach to Bayesian network computations. In Proc. of the Tenth Canadian Conference on Artificial Intelligence."},{"key":"e_1_2_2_138_1","doi-asserted-by":"publisher","DOI":"10.14778\/3467861.3467867"},{"key":"e_1_2_2_139_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196933"}],"container-title":["Proceedings of the ACM on Management of Data"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3654988","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3654988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:38:52Z","timestamp":1755787132000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3654988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,29]]},"references-count":139,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,5,29]]}},"alternative-id":["10.1145\/3654988"],"URL":"https:\/\/doi.org\/10.1145\/3654988","relation":{},"ISSN":["2836-6573"],"issn-type":[{"value":"2836-6573","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,29]]}}}