Declarative probabilistic logic programming in discrete-continuous domains
Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the...
Saved in:
| Published in: | Artificial intelligence Vol. 337; p. 104227 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier B.V
01.12.2024
|
| Subjects: | |
| ISSN: | 0004-3702, 1872-7921 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the so-called distribution semantics. However, the distribution semantics is limited to discrete random variables only. While PLP has been extended in various ways for supporting hybrid, that is, mixed discrete and continuous random variables, we are still lacking a declarative semantics for hybrid PLP that not only generalizes the distribution semantics and the modeling language but also the standard inference algorithm that is based on knowledge compilation. We contribute the measure semantics together with the hybrid PLP language DC-ProbLog (where DC stands for distributional clauses) and its inference engine infinitesimal algebraic likelihood weighting (IALW). These have the original distribution semantics, standard PLP languages such as ProbLog, and standard inference engines for PLP based on knowledge compilation as special cases. Thus, we generalize the state of the art of PLP towards hybrid PLP in three different aspects: semantics, language and inference. Furthermore, IALW is the first inference algorithm for hybrid probabilistic programming based on knowledge compilation. |
|---|---|
| AbstractList | Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the so-called distribution semantics. However, the distribution semantics is limited to discrete random variables only. While PLP has been extended in various ways for supporting hybrid, that is, mixed discrete and continuous random variables, we are still lacking a declarative semantics for hybrid PLP that not only generalizes the distribution semantics and the modeling language but also the standard inference algorithm that is based on knowledge compilation. We contribute the measure semantics together with the hybrid PLP language DC-ProbLog (where DC stands for distributional clauses) and its inference engine infinitesimal algebraic likelihood weighting (IALW). These have the original distribution semantics, standard PLP languages such as ProbLog, and standard inference engines for PLP based on knowledge compilation as special cases. Thus, we generalize the state of the art of PLP towards hybrid PLP in three different aspects: semantics, language and inference. Furthermore, IALW is the first inference algorithm for hybrid probabilistic programming based on knowledge compilation. |
| ArticleNumber | 104227 |
| Author | Zuidberg Dos Martires, Pedro De Raedt, Luc Kimmig, Angelika |
| Author_xml | – sequence: 1 givenname: Pedro orcidid: 0000-0001-5834-0188 surname: Zuidberg Dos Martires fullname: Zuidberg Dos Martires, Pedro email: pedro.zuidberg-dos-martires@oru.se organization: Centre for Applied Autonomous Sensor Systems, Örebro University, Sweden – sequence: 2 givenname: Luc surname: De Raedt fullname: De Raedt, Luc organization: Centre for Applied Autonomous Sensor Systems, Örebro University, Sweden – sequence: 3 givenname: Angelika surname: Kimmig fullname: Kimmig, Angelika organization: Department of Computer Science, KU Leuven, Belgium |
| BackLink | https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-116987$$DView record from Swedish Publication Index (Örebro universitet) |
| BookMark | eNp9UMtOwzAQ9KFItIU_4JAfSPErrwtS1fJUJS7A1fIr0VaJXdlJEX-PURBHDrurHc3MameFFs47i9ANwRuCSXl73Mgwghs3FFOeIE5ptUBLjDHPWYXpJVrFeEwraxqyRC97q3sZ5Ahnm52CV1JBD3EEnfW-Sz1hXZDDAK7LwGUGog52tLn2Lp2Z_BQz4wcJLl6hi1b20V7_zjV6f7h_2z3lh9fH5932kGvGmjFvTcEUqWpZkJpaVmpLiKpUVRZF2xDKjcGl0ZJxogjXjCpsGt4qU0uslCYtW6N89o2f9jQpcQowyPAlvASxh4-t8KFLNQlCyqauEp_PfB18jMG2fwqCxU9m4ijmzMRPZmLOLMnuZplNv5zBBhE1WKetgWD1KIyH_w2-AZK9fTI |
| Cites_doi | 10.1017/S1471068412000154 10.1016/0004-3702(93)90061-F 10.1007/s10994-015-5494-z 10.18637/jss.v076.i01 10.1613/jair.989 10.1016/j.artint.2015.06.008 10.1017/S1471068414000076 10.3166/jancl.11.11-34 10.1016/0304-3975(79)90044-6 10.1145/2699411 10.1016/j.jal.2016.11.031 10.1017/S147106841100010X 10.1016/j.artint.2023.104062 10.1017/S1471068411000238 10.1016/j.artint.2021.103649 10.1080/10618600.1998.10474767 10.1145/116825.116838 10.1016/j.artint.2021.103452 10.1007/s10994-016-5558-8 10.2307/1913641 |
| ContentType | Journal Article |
| Copyright | 2024 The Author(s) |
| Copyright_xml | – notice: 2024 The Author(s) |
| DBID | 6I. AAFTH AAYXX CITATION AABEP ADTPV AOWAS D8T D91 ZZAVC |
| DOI | 10.1016/j.artint.2024.104227 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef SWEPUB Örebro universitet full text SwePub SwePub Articles SWEPUB Freely available online SWEPUB Örebro universitet SwePub Articles full text |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | oai_DiVA_org_oru_116987 10_1016_j_artint_2024_104227 S0004370224001632 |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 0SF 1B1 1~. 1~5 23N 4.4 457 4G. 5GY 5VS 6I. 6J9 6TJ 7-5 71M 77K 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AAKPC AALRI AAOAW AAQFI AAQXK AAXKI AAXUO AAYFN ABBOA ABDPE ABFNM ABFRF ABJNI ABMAC ABVKL ABXDB ACDAQ ACGFO ACGFS ACNCT ACNNM ACRLP ACWUS ACZNC ADBBV ADEZE ADMUD ADVLN AEBSH AECPX AEFWE AEKER AENEX AEXQZ AFJKZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJOXV AKRWK ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 E3Z EBS EFJIC EJD EO8 EO9 EP2 EP3 F0J F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HLZ HVGLF HZ~ IHE IXB J1W JJJVA KOM KQ8 LG9 LY7 M41 MO0 MVM N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ SBC SDF SDG SDP SES SET SEW SPC SPCBC SST SSV SSZ T5K TAE TN5 TR2 TWZ UPT UQL VQA WH7 WUQ XJE XJT XPP XSW ZMT ~02 ~G- 77I 9DU AATTM AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AETEA AEUPX AFPUW AGQPQ AIGII AIIUN AKBMS AKYEP ANKPU APXCP CITATION EFKBS EFLBG ~HD AABEP ADTPV AOWAS D8T D91 ZZAVC |
| ID | FETCH-LOGICAL-c339t-fd53b178a5182e36ce11b7b7655f9124dd06dca341b14c32b0d94fbd8a0bbc1f3 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001331460000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0004-3702 1872-7921 |
| IngestDate | Tue Nov 04 16:26:20 EST 2025 Sat Nov 29 06:08:14 EST 2025 Sat Nov 16 15:59:08 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Logic programming Probabilistic programming Discrete-continuous distributions Algebraic model counting Declarative semantics Likelihood weighting Knowledge compilation |
| Language | English |
| License | This is an open access article under the CC BY license. |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c339t-fd53b178a5182e36ce11b7b7655f9124dd06dca341b14c32b0d94fbd8a0bbc1f3 |
| ORCID | 0000-0001-5834-0188 |
| OpenAccessLink | https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-116987 |
| ParticipantIDs | swepub_primary_oai_DiVA_org_oru_116987 crossref_primary_10_1016_j_artint_2024_104227 elsevier_sciencedirect_doi_10_1016_j_artint_2024_104227 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-12-01 |
| PublicationDateYYYYMMDD | 2024-12-01 |
| PublicationDate_xml | – month: 12 year: 2024 text: 2024-12-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationTitle | Artificial intelligence |
| PublicationYear | 2024 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Jaynes (br0310) 2003 Kadane (br0320) 2011 Poole (br0500) 1993; 64 Shan, Ramsey (br0600) 2017 Azzolini, Riguzzi (br0010) 2021 De Raedt, Kersting, Natarajan, Poole (br0130) 2016 Nitti, De Laet, De Raedt (br0480) 2016; 103 Kahn (br0330) 1950; 6 Zeng, Van den Broeck (br0690) 2020 Gehr, Misailovic, Vechev (br0200) 2016 Milch, Marthi, Russell, Sontag, Ong, Kolobov (br0450) 2005 Vennekens, Verbaeten, Bruynooghe (br0650) 2004 Michels, Hommersom, Lucas, Velikova (br0440) 2015; 228 Russell (br0540) 2015; 58 Sato, Kameya (br0580) 1997 Wu, Srivastava, Hay, Du, Russell (br0680) 2018 Riguzzi (br0520) 2018 Schrijvers, Santos Costa, Wielemaker, Demoen (br0590) 2008 Kolb, Zuidberg Dos Martires, De Raedt (br0380) 2019 Bingham, Chen, Jankowiak, Obermeyer, Pradhan, Karaletsos, Singh, Szerlip, Horsfall, Goodman (br0050) 2019; 20 Holtzen, Van den Broeck, Millstein (br0260) 2020 Carpenter, Gelman, Hoffman, Lee, Goodrich, Betancourt, Brubaker, Guo, Li, Riddell (br0060) 2017; 76 Mansinghka, Selsam, Perov (br0400) 2014 Valiant (br0630) 1979; 8 Kloek, Van Dijk (br0370) 1978 Badreddine, d'Avila Garcez, Serafini, Spranger (br0030) 2022; 303 Staton, Wood, Yang, Heunen, Kammar (br0620) 2016 Salvatier, Wiecki, Fonnesbeck (br0560) 2016; 2: e55 Dries, Kimmig, Meert, Renkens, Van den Broeck, Vlasselaer, De Raedt (br0150) 2015 Ge, Xu, Ghahramani (br0190) 2018 Casella, Robert (br0070) 1998; 7 d'Avila Garcez, Gori, Lamb, Serafini, Spranger, Tran (br0180) 2019 Fung, Chang (br0170) 1990; 10 Kimmig, De Raedt (br0350) 2017 Bellman (br0040) 1957 Darwiche, Marquis (br0100) 2002; 17 Gutmann, Jaeger, De Raedt (br0220) 2010 Iverson (br0280) 1962 Lloyd (br0390) 2012 De Raedt, Kimmig, Toivonen (br0120) 2007 Jacobs (br0290) 2021 Janhunen (br0300) 2004 Marra, Dumančić, Manhaeve, De Raedt (br0430) 2024 Zuidberg Dos Martires, Dries, De Raedt (br0720) 2019 Sato (br0570) 1995 Zuidberg Dos Martires (br0700) 2020 Cherchago, Hitzler, Hölldobler (br0080) 2007 Goodman, Mansinghka, Roy, Bonawitz, Tenenbaum (br0210) 2008 Poole (br0510) 2010 Fierens, Van den Broeck, Renkens, Shterionov, Gutmann, Thon, Janssens, De Raedt (br0160) 2015; 15 Harviainen, Ramaswamy, Koivisto (br0240) 2023 Azzolini, Riguzzi, Lamma (br0020) 2021; 294 De Smet, Zuidberg Dos Martires, Manhaeve, Marra, Kimmig, De Raedt (br0140) 2023 Milch, Marthi, Sontag, Russell, Ong, Kolobov (br0460) 2005 Asiful Islam, Ramakrishnan, Ramakrishnan (br0270) 2012; 12 Heunen, Kammar, Staton, Yang (br0250) 2017 Wood, Willem van de Meent, Mansinghka (br0670) 2014 Kersting, De Raedt (br0340) 2000 Kimmig, Van den Broeck, De Raedt (br0360) 2017; 22 Obermeyer, Bingham, Jankowiak, Phan, Chen (br0490) 2019 Speichert, Belle (br0610) 2019 Mantadelis, Janssens (br0410) 2010 Marinescu, Dechter (br0420) 2019 Riguzzi, Swift (br0530) 2011; 11 Gutmann, Thon, Kimmig, Bruynooghe, De Raedt (br0230) 2011; 11 Zuidberg Dos Martires, Derkinderen, Manhaeve, Meert, Kimmig, De Raedt (br0710) 2019 De Raedt, Kimmig (br0110) 2015; 100 Darwiche (br0090) 2001; 11 Saad, Rinard, Mansinghka (br0550) 2021 Milch (br0470) 2006 Vlasselaer, Renkens, Van den Broeck, De Raedt (br0660) 2014 Van Gelder, Ross, Schlipf (br0640) 1991; 38 Jacobs (10.1016/j.artint.2024.104227_br0290) 2021 Kimmig (10.1016/j.artint.2024.104227_br0350) 2017 Mantadelis (10.1016/j.artint.2024.104227_br0410) 2010 Ge (10.1016/j.artint.2024.104227_br0190) 2018 Kadane (10.1016/j.artint.2024.104227_br0320) 2011 Wood (10.1016/j.artint.2024.104227_br0670) 2014 Zuidberg Dos Martires (10.1016/j.artint.2024.104227_br0710) 2019 Staton (10.1016/j.artint.2024.104227_br0620) 2016 De Raedt (10.1016/j.artint.2024.104227_br0120) 2007 Marinescu (10.1016/j.artint.2024.104227_br0420) 2019 Zuidberg Dos Martires (10.1016/j.artint.2024.104227_br0700) 2020 Zuidberg Dos Martires (10.1016/j.artint.2024.104227_br0720) 2019 Heunen (10.1016/j.artint.2024.104227_br0250) 2017 Fung (10.1016/j.artint.2024.104227_br0170) 1990; 10 Van Gelder (10.1016/j.artint.2024.104227_br0640) 1991; 38 Shan (10.1016/j.artint.2024.104227_br0600) 2017 Goodman (10.1016/j.artint.2024.104227_br0210) 2008 Obermeyer (10.1016/j.artint.2024.104227_br0490) Bingham (10.1016/j.artint.2024.104227_br0050) 2019; 20 Fierens (10.1016/j.artint.2024.104227_br0160) 2015; 15 Michels (10.1016/j.artint.2024.104227_br0440) 2015; 228 De Raedt (10.1016/j.artint.2024.104227_br0130) 2016 Riguzzi (10.1016/j.artint.2024.104227_br0530) 2011; 11 Schrijvers (10.1016/j.artint.2024.104227_br0590) 2008 Mansinghka (10.1016/j.artint.2024.104227_br0400) Nitti (10.1016/j.artint.2024.104227_br0480) 2016; 103 Poole (10.1016/j.artint.2024.104227_br0500) 1993; 64 De Smet (10.1016/j.artint.2024.104227_br0140) 2023 Vlasselaer (10.1016/j.artint.2024.104227_br0660) 2014 Gehr (10.1016/j.artint.2024.104227_br0200) 2016 Gutmann (10.1016/j.artint.2024.104227_br0230) 2011; 11 d'Avila Garcez (10.1016/j.artint.2024.104227_br0180) Valiant (10.1016/j.artint.2024.104227_br0630) 1979; 8 Dries (10.1016/j.artint.2024.104227_br0150) 2015 Cherchago (10.1016/j.artint.2024.104227_br0080) 2007 Kahn (10.1016/j.artint.2024.104227_br0330) 1950; 6 Russell (10.1016/j.artint.2024.104227_br0540) 2015; 58 Harviainen (10.1016/j.artint.2024.104227_br0240) 2023 Janhunen (10.1016/j.artint.2024.104227_br0300) 2004 Milch (10.1016/j.artint.2024.104227_br0450) 2005 Speichert (10.1016/j.artint.2024.104227_br0610) 2019 Sato (10.1016/j.artint.2024.104227_br0580) 1997 Milch (10.1016/j.artint.2024.104227_br0460) 2005 Milch (10.1016/j.artint.2024.104227_br0470) 2006 Sato (10.1016/j.artint.2024.104227_br0570) 1995 Saad (10.1016/j.artint.2024.104227_br0550) 2021 Salvatier (10.1016/j.artint.2024.104227_br0560) 2016; 2: e55 Casella (10.1016/j.artint.2024.104227_br0070) 1998; 7 Vennekens (10.1016/j.artint.2024.104227_br0650) 2004 Iverson (10.1016/j.artint.2024.104227_br0280) 1962 Poole (10.1016/j.artint.2024.104227_br0510) 2010 Kersting (10.1016/j.artint.2024.104227_br0340) 2000 Wu (10.1016/j.artint.2024.104227_br0680) 2018 Azzolini (10.1016/j.artint.2024.104227_br0020) 2021; 294 De Raedt (10.1016/j.artint.2024.104227_br0110) 2015; 100 Bellman (10.1016/j.artint.2024.104227_br0040) 1957 Kloek (10.1016/j.artint.2024.104227_br0370) 1978 Jaynes (10.1016/j.artint.2024.104227_br0310) 2003 Kimmig (10.1016/j.artint.2024.104227_br0360) 2017; 22 Marra (10.1016/j.artint.2024.104227_br0430) 2024 Riguzzi (10.1016/j.artint.2024.104227_br0520) 2018 Darwiche (10.1016/j.artint.2024.104227_br0090) 2001; 11 Holtzen (10.1016/j.artint.2024.104227_br0260) 2020 Zeng (10.1016/j.artint.2024.104227_br0690) 2020 Gutmann (10.1016/j.artint.2024.104227_br0220) 2010 Darwiche (10.1016/j.artint.2024.104227_br0100) 2002; 17 Asiful Islam (10.1016/j.artint.2024.104227_br0270) 2012; 12 Carpenter (10.1016/j.artint.2024.104227_br0060) 2017; 76 Badreddine (10.1016/j.artint.2024.104227_br0030) 2022; 303 Lloyd (10.1016/j.artint.2024.104227_br0390) 2012 Azzolini (10.1016/j.artint.2024.104227_br0010) 2021 Kolb (10.1016/j.artint.2024.104227_br0380) 2019 |
| References_xml | – year: 1995 ident: br0570 article-title: A statistical learning method for logic programs with distribution semantics publication-title: International Conference on Logic Programming – volume: 12 start-page: 505 year: 2012 end-page: 523 ident: br0270 article-title: Inference in probabilistic logic programs with continuous random variables publication-title: Theory Pract. Log. Program. – year: 2006 ident: br0470 article-title: Probabilistic Models with Unknown Objects – volume: 6 year: 1950 ident: br0330 article-title: Random sampling (Monte Carlo) techniques in neutron attenuation problems. I publication-title: Nucleonics – year: 2008 ident: br0210 article-title: Church: a language for generative models publication-title: Conference on Uncertainty in Artificial Intelligence – year: 2014 ident: br0660 article-title: Compiling probabilistic logic programs into sentential decision diagrams publication-title: Workshop on Probabilistic Logic Programming (PLP) – year: 2018 ident: br0680 article-title: Discrete-continuous mixtures in probabilistic programming: generalized semantics and inference algorithms publication-title: International Conference on Machine Learning – year: 2005 ident: br0460 article-title: Approximate inference for infinite contingent bayesian networks publication-title: International Workshop on Artificial Intelligence and Statistics – volume: 38 start-page: 619 year: 1991 end-page: 649 ident: br0640 article-title: The well-founded semantics for general logic programs publication-title: J. ACM – start-page: 253 year: 2010 end-page: 269 ident: br0510 article-title: Probabilistic programming languages: independent choices and deterministic systems publication-title: Heuristics Probability and Causality: A Tribute to Judea Pearl – volume: 64 start-page: 81 year: 1993 end-page: 129 ident: br0500 article-title: Probabilistic horn abduction and bayesian networks publication-title: Artif. Intell. – year: 2014 ident: br0400 article-title: Venture: a higher-order probabilistic programming platform with programmable inference – year: 2021 ident: br0010 article-title: Syntactic requirements for well-defined hybrid probabilistic logic programs publication-title: Technical Communications of International Conference on Logic Programming – volume: 294 year: 2021 ident: br0020 article-title: A semantics for hybrid probabilistic logic programs with function symbols publication-title: Artif. Intell. – year: 1962 ident: br0280 article-title: A programming language publication-title: Spring Joint Computer Conference – volume: 76 year: 2017 ident: br0060 article-title: Stan: a probabilistic programming language publication-title: J. Stat. Softw. – year: 2020 ident: br0700 article-title: From Atoms to Possible Worlds: Probabilistic Inference in the Discrete-Continuous Domain – volume: 17 start-page: 229 year: 2002 end-page: 264 ident: br0100 article-title: A knowledge compilation map publication-title: J. Artif. Intell. Res. – volume: 100 start-page: 5 year: 2015 end-page: 47 ident: br0110 article-title: Probabilistic (logic) programming concepts publication-title: Mach. Learn. – volume: 10 start-page: 209 year: 1990 end-page: 219 ident: br0170 article-title: Weighing and integrating evidence for stochastic simulation in bayesian networks publication-title: Mach. Intell. Pattern Recogn. – volume: 2: e55 year: 2016 ident: br0560 article-title: Probabilistic programming in python using pymc3 publication-title: PeerJ Comput. Sci. – year: 2019 ident: br0420 article-title: Counting the optimal solutions in graphical models publication-title: Advances in Neural Information Processing Systems – year: 2016 ident: br0200 article-title: PSI: exact symbolic inference for probabilistic programs publication-title: International Conference on Computer Aided Verification – year: 1997 ident: br0580 article-title: Prism: a language for symbolic-statistical modeling publication-title: International Joint Conference on Artificial Intelligence – year: 2020 ident: br0690 article-title: Efficient search-based weighted model integration publication-title: Uncertainty in Artificial Intelligence – year: 1957 ident: br0040 article-title: Dynamic Programming – year: 2010 ident: br0410 article-title: Dedicated tabling for a probabilistic setting publication-title: Technical Communications of the 26th International Conference on Logic Programming – year: 2003 ident: br0310 article-title: Probability Theory: The Logic of Science – year: 2018 ident: br0520 article-title: Foundations of Probabilistic Logic Programming – year: 2023 ident: br0240 article-title: On inference and learning with probabilistic generating circuits publication-title: Uncertainty in Artificial Intelligence – year: 2017 ident: br0350 article-title: Probabilistic logic programs: unifying program trace and possible world semantics publication-title: Workshop on Probabilistic Programming Semantics – year: 2017 ident: br0600 article-title: Exact Bayesian inference by symbolic disintegration publication-title: ACM SIGPLAN Notices – volume: 8 start-page: 189 year: 1979 end-page: 201 ident: br0630 article-title: The complexity of computing the permanent publication-title: Theor. Comput. Sci. – volume: 11 start-page: 663 year: 2011 end-page: 680 ident: br0230 article-title: The magic of logical inference in probabilistic programming publication-title: Theory Pract. Log. Program. – year: 2017 ident: br0250 article-title: A convenient category for higher-order probability theory publication-title: Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) – year: 2018 ident: br0190 article-title: Turing: a language for flexible probabilistic inference publication-title: International Conference on Artificial Intelligence and Statistics – year: 2012 ident: br0390 article-title: Foundations of Logic Programming – year: 2019 ident: br0720 article-title: Exact and approximate weighted model integration with probability density functions using knowledge compilation publication-title: AAAI Conference on Artificial Intelligence – year: 2004 ident: br0300 article-title: Representing normal programs with clauses publication-title: European Conference on Artificial Intelligence – year: 2016 ident: br0620 article-title: Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints publication-title: Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) – volume: 11 start-page: 11 year: 2001 end-page: 34 ident: br0090 article-title: On the tractable counting of theory models application to truth maintenance and belief revision publication-title: J. Appl. Non-Class. Log. – year: 2019 ident: br0490 article-title: Functional tensors for probabilistic programming – year: 2007 ident: br0080 article-title: Decidability under the well-founded semantics publication-title: International Conference on Web Reasoning and Rule Systems – volume: 228 start-page: 1 year: 2015 end-page: 44 ident: br0440 article-title: A new probabilistic constraint logic programming language based on a generalised distribution semantics publication-title: Artif. Intell. – year: 2015 ident: br0150 article-title: Problog2: probabilistic logic programming publication-title: Joint European Conference on Machine Learning and Knowledge Discovery in Databases – year: 2016 ident: br0130 article-title: Statistical Relational Artificial Intelligence: Logic, Probability, and Computation. Synthesis Lectures on Artificial Intelligence and Machine Learning – year: 2023 ident: br0140 article-title: Neural probabilistic logic programming in discrete-continuous domains publication-title: Uncertainty in Artificial Intelligence Conference (UAI) – year: 2005 ident: br0450 article-title: Blog: probabilistic models with unknown objects publication-title: International Joint Conference on Artificial Intelligence – year: 2020 ident: br0260 article-title: Scaling exact inference for discrete probabilistic programs publication-title: ACM on Programming Languages – year: 2019 ident: br0610 article-title: Learning probabilistic logic programs over continuous data publication-title: International Conference on Inductive Logic Programming – volume: 20 start-page: 28:1 year: 2019 end-page: 28:6 ident: br0050 article-title: Pyro: deep universal probabilistic programming publication-title: J. Mach. Learn. Res. – year: 2021 ident: br0550 article-title: Sppl: probabilistic programming with fast exact symbolic inference publication-title: Conference on Programming Language Design and Implementation – volume: 58 start-page: 88 year: 2015 end-page: 97 ident: br0540 article-title: Unifying logic and probability publication-title: Commun. ACM – volume: 22 start-page: 46 year: 2017 end-page: 62 ident: br0360 article-title: Algebraic model counting publication-title: J. Appl. Log. – year: 2004 ident: br0650 article-title: Logic programs with annotated disjunctions publication-title: International Conference on Logic Programming – volume: 7 start-page: 139 year: 1998 end-page: 157 ident: br0070 article-title: Post-processing accept-reject samples: recycling and rescaling publication-title: J. Comput. Graph. Stat. – volume: 103 start-page: 407 year: 2016 end-page: 449 ident: br0480 article-title: Probabilistic logic programming for hybrid relational domains publication-title: Mach. Learn. – year: 2019 ident: br0380 article-title: How to exploit structure while solving weighted model integration problems publication-title: Uncertainty in Artificial Intelligence – volume: 15 start-page: 358 year: 2015 end-page: 401 ident: br0160 article-title: Inference and learning in probabilistic logic programs using weighted Boolean formulas publication-title: Theory Pract. Log. Program. – year: 2019 ident: br0180 article-title: Neural-symbolic computing: an effective methodology for principled integration of machine learning and reasoning – year: 2010 ident: br0220 article-title: Extending problog with continuous distributions publication-title: International Conference on Inductive Logic Programming – year: 2011 ident: br0320 article-title: Principles of Uncertainty – year: 2021 ident: br0290 article-title: Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities publication-title: ACM SIGPLAN Symposium on Principles of Programming Languages – start-page: 1 year: 1978 end-page: 19 ident: br0370 article-title: Bayesian estimates of equation system parameters: an application of integration by Monte Carlo publication-title: Econometrica – year: 2000 ident: br0340 article-title: Bayesian logic programs publication-title: International Conference on Inductive Logic Programming – year: 2007 ident: br0120 article-title: Problog: a probabilistic prolog and its application in link discovery publication-title: International Joint Conference on Artificial Intelligence – year: 2024 ident: br0430 article-title: From statistical relational to neurosymbolic artificial intelligence: a survey publication-title: Artif. Intell. – year: 2014 ident: br0670 article-title: A new approach to probabilistic programming inference publication-title: International Conference on Artificial Intelligence and Statistics – year: 2019 ident: br0710 article-title: Transforming probabilistic programs into algebraic circuits for inference and learning publication-title: Transformations for Machine Learning Workshop – volume: 303 year: 2022 ident: br0030 article-title: Logic tensor networks publication-title: Artif. Intell. – volume: 11 start-page: 433 year: 2011 end-page: 449 ident: br0530 article-title: The pita system: tabling and answer subsumption for reasoning under uncertainty publication-title: Theory Pract. Log. Program. – year: 2008 ident: br0590 article-title: Towards typed prolog publication-title: International Conference on Logic Programming – year: 2004 ident: 10.1016/j.artint.2024.104227_br0650 article-title: Logic programs with annotated disjunctions – year: 2021 ident: 10.1016/j.artint.2024.104227_br0290 article-title: Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities – year: 2021 ident: 10.1016/j.artint.2024.104227_br0010 article-title: Syntactic requirements for well-defined hybrid probabilistic logic programs – volume: 12 start-page: 505 issue: 4–5 year: 2012 ident: 10.1016/j.artint.2024.104227_br0270 article-title: Inference in probabilistic logic programs with continuous random variables publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068412000154 – volume: 64 start-page: 81 issue: 1 year: 1993 ident: 10.1016/j.artint.2024.104227_br0500 article-title: Probabilistic horn abduction and bayesian networks publication-title: Artif. Intell. doi: 10.1016/0004-3702(93)90061-F – year: 2023 ident: 10.1016/j.artint.2024.104227_br0240 article-title: On inference and learning with probabilistic generating circuits – volume: 2: e55 year: 2016 ident: 10.1016/j.artint.2024.104227_br0560 article-title: Probabilistic programming in python using pymc3 publication-title: PeerJ Comput. Sci. – volume: 100 start-page: 5 issue: 1 year: 2015 ident: 10.1016/j.artint.2024.104227_br0110 article-title: Probabilistic (logic) programming concepts publication-title: Mach. Learn. doi: 10.1007/s10994-015-5494-z – year: 2018 ident: 10.1016/j.artint.2024.104227_br0520 – year: 2010 ident: 10.1016/j.artint.2024.104227_br0410 article-title: Dedicated tabling for a probabilistic setting – year: 2004 ident: 10.1016/j.artint.2024.104227_br0300 article-title: Representing normal programs with clauses – year: 2019 ident: 10.1016/j.artint.2024.104227_br0720 article-title: Exact and approximate weighted model integration with probability density functions using knowledge compilation – volume: 76 issue: 1 year: 2017 ident: 10.1016/j.artint.2024.104227_br0060 article-title: Stan: a probabilistic programming language publication-title: J. Stat. Softw. doi: 10.18637/jss.v076.i01 – volume: 17 start-page: 229 year: 2002 ident: 10.1016/j.artint.2024.104227_br0100 article-title: A knowledge compilation map publication-title: J. Artif. Intell. Res. doi: 10.1613/jair.989 – year: 2006 ident: 10.1016/j.artint.2024.104227_br0470 – year: 1962 ident: 10.1016/j.artint.2024.104227_br0280 article-title: A programming language – year: 2019 ident: 10.1016/j.artint.2024.104227_br0380 article-title: How to exploit structure while solving weighted model integration problems – year: 2019 ident: 10.1016/j.artint.2024.104227_br0420 article-title: Counting the optimal solutions in graphical models – year: 2023 ident: 10.1016/j.artint.2024.104227_br0140 article-title: Neural probabilistic logic programming in discrete-continuous domains – volume: 228 start-page: 1 year: 2015 ident: 10.1016/j.artint.2024.104227_br0440 article-title: A new probabilistic constraint logic programming language based on a generalised distribution semantics publication-title: Artif. Intell. doi: 10.1016/j.artint.2015.06.008 – volume: 15 start-page: 358 issue: 3 year: 2015 ident: 10.1016/j.artint.2024.104227_br0160 article-title: Inference and learning in probabilistic logic programs using weighted Boolean formulas publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068414000076 – year: 2007 ident: 10.1016/j.artint.2024.104227_br0120 article-title: Problog: a probabilistic prolog and its application in link discovery – year: 2010 ident: 10.1016/j.artint.2024.104227_br0220 article-title: Extending problog with continuous distributions – year: 2020 ident: 10.1016/j.artint.2024.104227_br0690 article-title: Efficient search-based weighted model integration – year: 2011 ident: 10.1016/j.artint.2024.104227_br0320 – year: 2005 ident: 10.1016/j.artint.2024.104227_br0460 article-title: Approximate inference for infinite contingent bayesian networks – year: 2007 ident: 10.1016/j.artint.2024.104227_br0080 article-title: Decidability under the well-founded semantics – year: 2017 ident: 10.1016/j.artint.2024.104227_br0250 article-title: A convenient category for higher-order probability theory – year: 2017 ident: 10.1016/j.artint.2024.104227_br0600 article-title: Exact Bayesian inference by symbolic disintegration – volume: 11 start-page: 11 year: 2001 ident: 10.1016/j.artint.2024.104227_br0090 article-title: On the tractable counting of theory models application to truth maintenance and belief revision publication-title: J. Appl. Non-Class. Log. doi: 10.3166/jancl.11.11-34 – year: 2016 ident: 10.1016/j.artint.2024.104227_br0620 article-title: Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints – volume: 20 start-page: 28:1 year: 2019 ident: 10.1016/j.artint.2024.104227_br0050 article-title: Pyro: deep universal probabilistic programming publication-title: J. Mach. Learn. Res. – year: 2003 ident: 10.1016/j.artint.2024.104227_br0310 – volume: 8 start-page: 189 year: 1979 ident: 10.1016/j.artint.2024.104227_br0630 article-title: The complexity of computing the permanent publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(79)90044-6 – year: 2014 ident: 10.1016/j.artint.2024.104227_br0670 article-title: A new approach to probabilistic programming inference – year: 2000 ident: 10.1016/j.artint.2024.104227_br0340 article-title: Bayesian logic programs – year: 2019 ident: 10.1016/j.artint.2024.104227_br0610 article-title: Learning probabilistic logic programs over continuous data – year: 2021 ident: 10.1016/j.artint.2024.104227_br0550 article-title: Sppl: probabilistic programming with fast exact symbolic inference – ident: 10.1016/j.artint.2024.104227_br0180 – year: 2016 ident: 10.1016/j.artint.2024.104227_br0200 article-title: PSI: exact symbolic inference for probabilistic programs – volume: 6 year: 1950 ident: 10.1016/j.artint.2024.104227_br0330 article-title: Random sampling (Monte Carlo) techniques in neutron attenuation problems. I publication-title: Nucleonics – volume: 58 start-page: 88 issue: 7 year: 2015 ident: 10.1016/j.artint.2024.104227_br0540 article-title: Unifying logic and probability publication-title: Commun. ACM doi: 10.1145/2699411 – year: 2020 ident: 10.1016/j.artint.2024.104227_br0700 – year: 2020 ident: 10.1016/j.artint.2024.104227_br0260 article-title: Scaling exact inference for discrete probabilistic programs – year: 2018 ident: 10.1016/j.artint.2024.104227_br0190 article-title: Turing: a language for flexible probabilistic inference – start-page: 253 year: 2010 ident: 10.1016/j.artint.2024.104227_br0510 article-title: Probabilistic programming languages: independent choices and deterministic systems – year: 2016 ident: 10.1016/j.artint.2024.104227_br0130 – year: 1997 ident: 10.1016/j.artint.2024.104227_br0580 article-title: Prism: a language for symbolic-statistical modeling – year: 2012 ident: 10.1016/j.artint.2024.104227_br0390 – year: 2019 ident: 10.1016/j.artint.2024.104227_br0710 article-title: Transforming probabilistic programs into algebraic circuits for inference and learning – volume: 22 start-page: 46 year: 2017 ident: 10.1016/j.artint.2024.104227_br0360 article-title: Algebraic model counting publication-title: J. Appl. Log. doi: 10.1016/j.jal.2016.11.031 – ident: 10.1016/j.artint.2024.104227_br0490 – volume: 11 start-page: 433 issue: 4–5 year: 2011 ident: 10.1016/j.artint.2024.104227_br0530 article-title: The pita system: tabling and answer subsumption for reasoning under uncertainty publication-title: Theory Pract. Log. Program. doi: 10.1017/S147106841100010X – year: 2024 ident: 10.1016/j.artint.2024.104227_br0430 article-title: From statistical relational to neurosymbolic artificial intelligence: a survey publication-title: Artif. Intell. doi: 10.1016/j.artint.2023.104062 – year: 2014 ident: 10.1016/j.artint.2024.104227_br0660 article-title: Compiling probabilistic logic programs into sentential decision diagrams – year: 2017 ident: 10.1016/j.artint.2024.104227_br0350 article-title: Probabilistic logic programs: unifying program trace and possible world semantics – volume: 11 start-page: 663 issue: 4–5 year: 2011 ident: 10.1016/j.artint.2024.104227_br0230 article-title: The magic of logical inference in probabilistic programming publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068411000238 – year: 1995 ident: 10.1016/j.artint.2024.104227_br0570 article-title: A statistical learning method for logic programs with distribution semantics – year: 1957 ident: 10.1016/j.artint.2024.104227_br0040 – volume: 303 year: 2022 ident: 10.1016/j.artint.2024.104227_br0030 article-title: Logic tensor networks publication-title: Artif. Intell. doi: 10.1016/j.artint.2021.103649 – year: 2008 ident: 10.1016/j.artint.2024.104227_br0590 article-title: Towards typed prolog – volume: 7 start-page: 139 issue: 2 year: 1998 ident: 10.1016/j.artint.2024.104227_br0070 article-title: Post-processing accept-reject samples: recycling and rescaling publication-title: J. Comput. Graph. Stat. doi: 10.1080/10618600.1998.10474767 – ident: 10.1016/j.artint.2024.104227_br0400 – volume: 38 start-page: 619 issue: 3 year: 1991 ident: 10.1016/j.artint.2024.104227_br0640 article-title: The well-founded semantics for general logic programs publication-title: J. ACM doi: 10.1145/116825.116838 – volume: 294 year: 2021 ident: 10.1016/j.artint.2024.104227_br0020 article-title: A semantics for hybrid probabilistic logic programs with function symbols publication-title: Artif. Intell. doi: 10.1016/j.artint.2021.103452 – year: 2018 ident: 10.1016/j.artint.2024.104227_br0680 article-title: Discrete-continuous mixtures in probabilistic programming: generalized semantics and inference algorithms – volume: 10 start-page: 209 year: 1990 ident: 10.1016/j.artint.2024.104227_br0170 article-title: Weighing and integrating evidence for stochastic simulation in bayesian networks publication-title: Mach. Intell. Pattern Recogn. – volume: 103 start-page: 407 issue: 3 year: 2016 ident: 10.1016/j.artint.2024.104227_br0480 article-title: Probabilistic logic programming for hybrid relational domains publication-title: Mach. Learn. doi: 10.1007/s10994-016-5558-8 – start-page: 1 year: 1978 ident: 10.1016/j.artint.2024.104227_br0370 article-title: Bayesian estimates of equation system parameters: an application of integration by Monte Carlo publication-title: Econometrica doi: 10.2307/1913641 – year: 2005 ident: 10.1016/j.artint.2024.104227_br0450 article-title: Blog: probabilistic models with unknown objects – year: 2008 ident: 10.1016/j.artint.2024.104227_br0210 article-title: Church: a language for generative models – year: 2015 ident: 10.1016/j.artint.2024.104227_br0150 article-title: Problog2: probabilistic logic programming |
| SSID | ssj0003991 |
| Score | 2.4582639 |
| Snippet | Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The... |
| SourceID | swepub crossref elsevier |
| SourceType | Open Access Repository Index Database Publisher |
| StartPage | 104227 |
| SubjectTerms | Algebraic model counting Declarative semantics Discrete-continuous distributions Knowledge compilation Likelihood weighting Logic programming Probabilistic programming |
| Title | Declarative probabilistic logic programming in discrete-continuous domains |
| URI | https://dx.doi.org/10.1016/j.artint.2024.104227 https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-116987 |
| Volume | 337 |
| WOSCitedRecordID | wos001331460000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 0004-3702 databaseCode: AIEXJ dateStart: 20211211 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0003991 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1La9wwEBZl00MvbdMHTV_4UHpZXGzLsqTj0qQ0oYTSpmFvxnotzsMbvOuSn9_Rw46TTegDerAxBq_MzOz4k_TNNwi9o6wSiSmKOMvSKs6lsW1ecBErTrLcSFwRt11w_IUeHrL5nH8N_TtXrp0AbRp2eckv_qur4R4425bO_oW7hx-FG3ANToczuB3Of-T4XS3Pej1v2y7GSehaNeapS3M9I-s8FLPYstwWkHNsSet101lKrFqeV3VYxhsUah2pyLX4GKl4DuvOXa0sUwwA-WrqpAna0AJAq3Y5oGU9_VZp5RcDOnm1_w9vs_D0yoU-q0-r8VpElt_gdWwWyYSkm0MeS64lXeylXjYSuF9LOPngNBQs1zXL7TZ05gUEbkhjf3cbmdTBEngQw6d4K6OEswnamu3vzQ-GbzLAsNA70b9KX0TpmH6bY90JUsZqsg6BHD1GD8PUIZp5l2-je7p5gh71bTmikKWfooNRBETXIiByERCNIiCqm-iWCIhCBDxDPz7tHX38HIeWGbHEmK9jowgWKfwBCcwbNS6kTlNBBS0IMRygnFJJoWQF0EWkucSZSBTPjVCsSoSQqcHP0aRZNvoFirAGpKx4QipdWAkjljOjJZOJoalSRO-guLdReeGVUcqeMnhSepuW1qalt-kOor0hy4DuPGorwfe_efK9t_swjtVE362PZ-WyXcDRwTy24Iy-_OchXqEHV_H8Gk3WbaffoPvy57petW9DNP0CzyiHww |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Declarative+probabilistic+logic+programming+in+discrete-continuous+domains&rft.jtitle=Artificial+intelligence&rft.au=Zuidberg+Dos+Martires%2C+Pedro&rft.au=De+Raedt%2C+Luc&rft.au=Kimmig%2C+Angelika&rft.date=2024-12-01&rft.pub=Elsevier+B.V&rft.issn=0004-3702&rft.volume=337&rft_id=info:doi/10.1016%2Fj.artint.2024.104227&rft.externalDocID=S0004370224001632 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0004-3702&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0004-3702&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0004-3702&client=summon |