{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:28Z","timestamp":1750219828013,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"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":[[2023,6,18]]},"DOI":"10.1145\/3584372.3588656","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T22:21:22Z","timestamp":1685744482000},"page":"21-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Generative Datalog with Stable Negation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2052-2063","authenticated-orcid":false,"given":"Mario","family":"Alviano","sequence":"first","affiliation":[{"name":"University of Calabria, Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7601-3727","authenticated-orcid":false,"given":"Matthias","family":"Lanzinger","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2077-7672","authenticated-orcid":false,"given":"Michael","family":"Morak","sequence":"additional","affiliation":[{"name":"University of Klagenfurt, Klegenfurt, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4779-3469","authenticated-orcid":false,"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[{"name":"University of Edinburgh & University of Cyprus, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Mario Alviano Michael Morak and Andreas Pieris. 2017. Stable Model Semantics for Tuple-Generating Dependencies Revisited. In PODS. 377--388.","DOI":"10.1145\/3034786.3034794"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003645"},{"key":"e_1_3_2_1_3_1","article-title":"Declarative Probabilistic Programming with Datalog","volume":"42","author":"Vince B\u00e1","year":"2017","unstructured":"Vince B\u00e1 r\u00e1 ny, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. 2017. Declarative Probabilistic Programming with Datalog. ACM Trans. Database Syst. , Vol. 42, 4 (2017), 22:1--22:35.","journal-title":"ACM Trans. Database Syst."},{"key":"e_1_3_2_1_4_1","article-title":"Pyro: Deep Universal Probabilistic Programming","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. 2019. Pyro: Deep Universal Probabilistic Programming. J. Mach. Learn. Res. , Vol. 20 (2019), 28:1--28:6.","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_3_2_1_5_1","volume-title":"Thomas Lukasiewicz, Bruno Marnette, and Andreas Pieris.","author":"Cal Andrea","year":"2010","unstructured":"Andrea Cal`i, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, and Andreas Pieris. 2010. Datalog\/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In LICS. 228--242."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2020.07.004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Daniel Deutch Christoph Koch and Tova Milo. 2010. On probabilistic fixpoint and Markov chain query languages. In PODS. 215--226.","DOI":"10.1145\/1807085.1807114"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Norbert Fuhr. 1995. Probabilistic Datalog - A Logic For Powerful Retrieval Methods. In SIGIR. 282--290.","DOI":"10.1145\/215206.215372"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/326194.326195"},{"key":"e_1_3_2_1_12_1","unstructured":"Michael Gelfond and Vladimir Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In ICLP\/SLP. 1070--1080."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_3_2_1_14_1","volume-title":"Tenenbaum","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Kallista A. Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In UAI. 220--229."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9342-1"},{"key":"e_1_3_2_1_16_1","volume-title":"Joost-Pieter Katoen, and Peter Lindner.","author":"Grohe Martin","year":"2020","unstructured":"Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Peter Lindner. 2020. Generative Datalog with Continuous Distributions. In PODS. 347--360."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Bernd Gutmann Manfred Jaeger and Luc De Raedt. 2010. Extending ProbLog with Continuous Distributions. In ILP. 76--91.","DOI":"10.1007\/978-3-642-21295-6_12"},{"key":"e_1_3_2_1_18_1","unstructured":"Angelika Kimmig Stephen Bach Matthias Broecheler Bert Huang and Lise Getoor. 2012. A Short Introduction to Probabilistic Soft Logic. In NIPS. 1--4."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/377978.377983"},{"key":"e_1_3_2_1_21_1","volume-title":"BLOG: Probabilistic Models with Unknown Objects. In IJCAI. 1352--1359.","author":"Milch Brian","year":"2005","unstructured":"Brian Milch, Bhaskara Marthi, Stuart Russell, David A. Sontag, Daniel L. Ong, and Andrey Kolobov. 2005. BLOG: Probabilistic Models with Unknown Objects. In IJCAI. 1352--1359."},{"key":"e_1_3_2_1_22_1","unstructured":"Aditya V. Nori Chung-Kil Hur Sriram K. Rajamani and Selva Samuel. 2014. R2: An Efficient MCMC Sampler for Probabilistic Programs. In AAAI. 2476--2482."},{"key":"e_1_3_2_1_23_1","volume-title":"Figaro: An object-oriented probabilistic programming language. Technical Report, Charles River Analytics.","author":"Pfeffer Avi","year":"2009","unstructured":"Avi Pfeffer. 2009. Figaro: An object-oriented probabilistic programming language. Technical Report, Charles River Analytics."},{"volume-title":"Statistical Relational Artificial Intelligence: Logic, Probability, and Computation","author":"Raedt Luc De","key":"e_1_3_2_1_24_1","unstructured":"Luc De Raedt, Kristian Kersting, Sriraam Natarajan, and David Poole. 2016. Statistical Relational Artificial Intelligence: Logic, Probability, and Computation. Morgan & Claypool Publishers."},{"key":"e_1_3_2_1_25_1","unstructured":"Luc De Raedt Angelika Kimmig and Hannu Toivonen. 2007. ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In IJCAI. 2462--2467."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"N. Saheb-Djahromi. 1978. Probabilistic LCF. In MFCS. 442--451.","DOI":"10.1007\/3-540-08921-7_92"},{"key":"e_1_3_2_1_28_1","volume-title":"Domingos","author":"Singla Parag","year":"2007","unstructured":"Parag Singla and Pedro M. Domingos. 2007. Markov Logic in Infinite Domains. In UAI. 368--375."},{"key":"e_1_3_2_1_29_1","volume-title":"Wood","author":"Tolpin David","year":"2015","unstructured":"David Tolpin, Jan-Willem van de Meent, and Frank D. Wood. 2015. Probabilistic Programming in Anglican. In ECML PKDD. 308--311."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Hui Wan and Michael Kifer. 2009. Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. In LPNMR. 316--328.","DOI":"10.1007\/978-3-642-04238-6_27"},{"key":"e_1_3_2_1_31_1","volume-title":"Domingos","author":"Wang Jue","year":"2008","unstructured":"Jue Wang and Pedro M. Domingos. 2008. Hybrid Markov Logic Networks. In AAAI. 1106--1111."}],"event":{"name":"SIGMOD\/PODS '23: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Seattle WA USA","acronym":"SIGMOD\/PODS '23"},"container-title":["Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584372.3588656","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3584372.3588656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:28Z","timestamp":1750178788000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584372.3588656"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,18]]},"references-count":31,"alternative-id":["10.1145\/3584372.3588656","10.1145\/3584372"],"URL":"https:\/\/doi.org\/10.1145\/3584372.3588656","relation":{},"subject":[],"published":{"date-parts":[[2023,6,18]]},"assertion":[{"value":"2023-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}