{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:57Z","timestamp":1750220697561,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,14]],"date-time":"2020-06-14T00:00:00Z","timestamp":1592092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG GR 1492\/16-1, GRK 2236"],"award-info":[{"award-number":["DFG GR 1492\/16-1, GRK 2236"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,14]]},"DOI":"10.1145\/3375395.3387659","type":"proceedings-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T15:10:29Z","timestamp":1590765029000},"page":"347-360","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Generative Datalog with Continuous Distributions"],"prefix":"10.1145","author":[{"given":"Martin","family":"Grohe","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin Lucien","family":"Kaminski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University & University College London, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Lindner","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2008.190"},{"key":"e_1_3_2_1_2_1","first-page":"17","volume-title":"Agrawal and Jennifer Widom. Continuous Uncertainty in Trio. In Proceedings of the 3rd VLDB workshop on Management of Uncertain Data (MUD 2009","author":"Parag","year":"2009","unstructured":"Parag Agrawal and Jennifer Widom. Continuous Uncertainty in Trio. In Proceedings of the 3rd VLDB workshop on Management of Uncertain Data (MUD 2009 ), pages 17 -- 32 , Enschede, The Netherlands , 2009 . Centre for Telematics and Information Technology (CTIT). Parag Agrawal and Jennifer Widom. Continuous Uncertainty in Trio. In Proceedings of the 3rd VLDB workshop on Management of Uncertain Data (MUD 2009), pages 17--32, Enschede, The Netherlands, 2009. Centre for Telematics and Information Technology (CTIT)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132700"},{"key":"e_1_3_2_1_4_1","first-page":"28","volume":"20","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham , Jonathan P. Chen , Martin Jankowiak , Fritz Obermeyer , Neeraj Pradhan , Theofanis Karaletsos , Rohit Singh , Paul A. Szerlip , Paul Horsfall , and Noah D . Goodman. Pyro: Deep Universal Probabilistic Programming. J. Mach. Learn. Res. , 20 : 28 :1--28:6, 2019 . Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul A. Szerlip, Paul Horsfall, and Noah D. Goodman. Pyro: Deep Universal Probabilistic Programming. J. Mach. Learn. Res., 20:28:1--28:6, 2019.","journal-title":"Goodman. Pyro: Deep Universal Probabilistic Programming. J. Mach. Learn. Res."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(3:11)2013"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465283"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0--387--49835--5"},{"key":"e_1_3_2_1_9_1","first-page":"2468","volume-title":"Hannu Toivonen. ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007","author":"Raedt Luc De","year":"2007","unstructured":"Luc De Raedt , Angelika Kimmig , and Hannu Toivonen. ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007 ), pages 2468 -- 2473 , San Francisco, CA, USA , 2007 . Morgan Kaufmann Publishers Inc. Luc De Raedt, Angelika Kimmig, and Hannu Toivonen. ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 2468--2473, San Francisco, CA, USA, 2007. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00692ED1V01Y201601AIM032"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807085.1807114"},{"key":"e_1_3_2_1_12_1","volume-title":"Broad Foundations. Torres Fremlin","author":"Fremlin David H.","year":"2010","unstructured":"David H. Fremlin . Measure Theory . Vol. II : Broad Foundations. Torres Fremlin , 2 nd edition, 2010 . David H. Fremlin. Measure Theory. Vol. II: Broad Foundations. Torres Fremlin, 2nd edition, 2010.","edition":"2"},{"key":"e_1_3_2_1_13_1","volume-title":"Topological Measure Spaces, Part I. Torres Fremlin","author":"Fremlin David H.","year":"2013","unstructured":"David H. Fremlin . Measure Theory . Vol. IV : Topological Measure Spaces, Part I. Torres Fremlin , 2 nd edition, 2013 . David H. Fremlin. Measure Theory. Vol. IV: Topological Measure Spaces, Part I. Torres Fremlin, 2nd edition, 2013.","edition":"2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/215206.215372"},{"issue":"2","key":"e_1_3_2_1_15_1","first-page":"169","article-title":"Sigma-Algebras on Spaces of Probability Measures","volume":"16","author":"Gaudard Marie","year":"1989","unstructured":"Marie Gaudard and Donald Hadwin . Sigma-Algebras on Spaces of Probability Measures . Scandinavian Journal of Statistics , 16 ( 2 ): 169 -- 175 , 1989 . Marie Gaudard and Donald Hadwin. Sigma-Algebras on Spaces of Probability Measures. Scandinavian Journal of Statistics, 16(2):169--175, 1989.","journal-title":"Scandinavian Journal of Statistics"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429117"},{"key":"e_1_3_2_1_17_1","first-page":"220","volume-title":"Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (UAI 2008","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman , Vikash K. Mansinghka , Daniel Roy , Keith Bonawitz , and Joshua B. Tenenbaum . Church: A Language for Generative Models . In Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (UAI 2008 ), pages 220 -- 229 , Arlington, VA, USA , 2008 . AUAI Press. Noah D. Goodman, Vikash K. Mansinghka, Daniel Roy, Keith Bonawitz, and Joshua B. Tenenbaum. Church: A Language for Generative Models. In Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (UAI 2008), pages 220--229, Arlington, VA, USA, 2008. AUAI Press."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_19_1","unstructured":"Georg Gottlob Thomas Lukasiewicz Maria Vanina Martinez and Gerardo I. Simari. Query Answering under Probabilistic Uncertainty in Datalog  Georg Gottlob Thomas Lukasiewicz Maria Vanina Martinez and Gerardo I. Simari. Query Answering under Probabilistic Uncertainty in Datalog"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013--9342--1"},{"key":"e_1_3_2_1_21_1","volume-title":"Joost-Pieter Katoen, and Peter Lindner. Generative Datalog with Continuous Distributions. arXiv e-prints","author":"Grohe Martin","year":"2020","unstructured":"Martin Grohe , Benjamin Lucien Kaminski , Joost-Pieter Katoen, and Peter Lindner. Generative Datalog with Continuous Distributions. arXiv e-prints , 2020 . URL : https:\/\/arxiv.org\/abs\/2001.06358. Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Peter Lindner. Generative Datalog with Continuous Distributions. arXiv e-prints, 2020. URL: https:\/\/arxiv.org\/abs\/2001.06358."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3294052.3319681"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICDT.2020.16"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--21295--6_12"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000824.2000828"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--1--4757--4015--8"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume-title":"Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications","author":"Kimmig Angelika","year":"2012","unstructured":"Angelika Kimmig , Stephen Bach , Matthias Broecheler , Bert Huang , and Lise Getoor . A Short Introduction to Probabilistic Soft Logic . In Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications , pages 1 -- 4 , 2012 . Angelika Kimmig, Stephen Bach, Matthias Broecheler, Bert Huang, and Lise Getoor. A Short Introduction to Probabilistic Soft Logic. In Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications, pages 1--4, 2012."},{"key":"e_1_3_2_1_28_1","volume-title":"Probabilistic Graphical Models: Principles and Techniques. Adaptive Computation and Machine Learning","author":"Koller Daphne","year":"2009","unstructured":"Daphne Koller and Nir Friedman . Probabilistic Graphical Models: Principles and Techniques. Adaptive Computation and Machine Learning . The MIT Press , Cambridge, MA, USA , 2009 . Daphne Koller and Nir Friedman. Probabilistic Graphical Models: Principles and Techniques. Adaptive Computation and Machine Learning. The MIT Press, Cambridge, MA, USA, 2009."},{"key":"e_1_3_2_1_29_1","volume-title":"Foundations of the Theory of Probability","author":"Kolmogorov Andrei Nikolajewitsch","year":"1956","unstructured":"Andrei Nikolajewitsch Kolmogorov . Foundations of the Theory of Probability . Chelsea Publishing Company , New York, NY, USA , 2nd English edition, 1956 . Andrei Nikolajewitsch Kolmogorov. Foundations of the Theory of Probability. Chelsea Publishing Company, New York, NY, USA, 2nd English edition, 1956."},{"key":"e_1_3_2_1_30_1","first-page":"397","volume":"13","author":"Kuratowski C.","year":"1965","unstructured":"C. Kuratowski and C. Ryll-Nardzewski . A General Theorem on Selectors. Bulletin of the Polish Academy of Sciences , 13 : 397 -- 403 , 1965 . C. Kuratowski and C. Ryll-Nardzewski. A General Theorem on Selectors. Bulletin of the Polish Academy of Sciences, 13:397--403, 1965.","journal-title":"A General Theorem on Selectors. Bulletin of the Polish Academy of Sciences"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1641\/0006--3568(2001)051[0341:LNDATS]2.0.CO;2"},{"key":"e_1_3_2_1_32_1","first-page":"1352","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005","author":"Milch Brian","year":"2005","unstructured":"Brian Milch , Bhaskara Marthi , Stuart Russell , David Sontag , David L. Ong , and Andrey Kolobov . shapeBlog : Probabilistic Models with Unknown Objects . In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005 ), pages 1352 -- 1359 , San Francisco, CA, USA , 2005 . Morgan Kaufmann. Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, David L. Ong, and Andrey Kolobov. shapeBlog: Probabilistic Models with Unknown Objects. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pages 1352--1359, San Francisco, CA, USA, 2005. Morgan Kaufmann."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.9060"},{"key":"e_1_3_2_1_34_1","volume-title":"Charles River Analytics","author":"Pfeffer Avi","year":"2009","unstructured":"Avi Pfeffer . Figaro : An Object-Oriented Probabilistic Programming Language. Technical report , Charles River Analytics , 2009 . Avi Pfeffer. Figaro: An Object-Oriented Probabilistic Programming Language. Technical report, Charles River Analytics, 2009."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006--5833--1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376744"},{"key":"e_1_3_2_1_37_1","first-page":"368","volume-title":"Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI 2007","author":"Singla Parag","year":"2007","unstructured":"Parag Singla and Pedro Domingos . Markov logic in infinite domains . In Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI 2007 ), pages 368 -- 375 , Arlington, VA, USA , 2007 . AUAI Press. Parag Singla and Pedro Domingos. Markov logic in infinite domains. In Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI 2007), pages 368--375, Arlington, VA, USA, 2007. AUAI Press."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-85473-6"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00362ED1V01Y201105DTM016"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--23461--8_36"},{"key":"e_1_3_2_1_41_1","volume-title":"An Introduction to Probabilistic Programming. arXiv e-prints","author":"van de Meent Jan-Willem","year":"2018","unstructured":"Jan-Willem van de Meent , Brooks Paige , Hongseok Yang , and Frank Wood . An Introduction to Probabilistic Programming. arXiv e-prints , 2018 . URL : https:\/\/arxiv.org\/abs\/1809.10756. Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, and Frank Wood. An Introduction to Probabilistic Programming. arXiv e-prints, 2018. URL: https:\/\/arxiv.org\/abs\/1809.10756."},{"key":"e_1_3_2_1_43_1","series-title":"Proceedings of Machine Learning Research","first-page":"5343","volume-title":"Proceedings of the 35th International Conference on Machine Learning (ICML","author":"Wu Yi","year":"2018","unstructured":"Yi Wu , Siddharth Srivastava , Nicholas Hay , Simon Du , and Stuart Russell . Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms . In Proceedings of the 35th International Conference on Machine Learning (ICML 2018 ), volume 80 of Proceedings of Machine Learning Research , pages 5343 -- 5352 . PMLR , 2018. Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon Du, and Stuart Russell. Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms. In Proceedings of the 35th International Conference on Machine Learning (ICML 2018), volume 80 of Proceedings of Machine Learning Research, pages 5343--5352. PMLR, 2018."}],"event":{"name":"SIGMOD\/PODS '20: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Portland OR USA","acronym":"SIGMOD\/PODS '20"},"container-title":["Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3375395.3387659","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3375395.3387659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:49Z","timestamp":1750199569000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3375395.3387659"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,14]]},"references-count":42,"alternative-id":["10.1145\/3375395.3387659","10.1145\/3375395"],"URL":"https:\/\/doi.org\/10.1145\/3375395.3387659","relation":{},"subject":[],"published":{"date-parts":[[2020,6,14]]},"assertion":[{"value":"2020-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}