A new probabilistic constraint logic programming language based on a generalised distribution semantics
Probabilistic logics combine the expressive power of logic with the ability to reason with uncertainty. Several probabilistic logic languages have been proposed in the past, each of them with their own features. We focus on a class of probabilistic logic based on Sato's distribution semantics,...
Uložené v:
| Vydané v: | Artificial intelligence Ročník 228; s. 1 - 44 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier B.V
01.11.2015
|
| Predmet: | |
| ISSN: | 0004-3702, 1872-7921 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Probabilistic logics combine the expressive power of logic with the ability to reason with uncertainty. Several probabilistic logic languages have been proposed in the past, each of them with their own features. We focus on a class of probabilistic logic based on Sato's distribution semantics, which extends logic programming with probability distributions on binary random variables and guarantees a unique probability distribution. For many applications binary random variables are, however, not sufficient and one requires random variables with arbitrary ranges, e.g. real numbers. We tackle this problem by developing a generalised distribution semantics for a new probabilistic constraint logic programming language. In order to perform exact inference, imprecise probabilities are taken as a starting point, i.e. we deal with sets of probability distributions rather than a single one. It is shown that given any continuous distribution, conditional probabilities of events can be approximated arbitrarily close to the true probability. Furthermore, for this setting an inference algorithm that is a generalisation of weighted model counting is developed, making use of SMT solvers. We show that inference has similar complexity properties as precise probabilistic inference, unlike most imprecise methods for which inference is more complex. We also experimentally confirm that our algorithm is able to exploit local structure, such as determinism, which further reduces the computational complexity. |
|---|---|
| AbstractList | Probabilistic logics combine the expressive power of logic with the ability to reason with uncertainty. Several probabilistic logic languages have been proposed in the past, each of them with their own features. We focus on a class of probabilistic logic based on Sato's distribution semantics, which extends logic programming with probability distributions on binary random variables and guarantees a unique probability distribution. For many applications binary random variables are, however, not sufficient and one requires random variables with arbitrary ranges, e.g. real numbers. We tackle this problem by developing a generalised distribution semantics for a new probabilistic constraint logic programming language. In order to perform exact inference, imprecise probabilities are taken as a starting point, i.e. we deal with sets of probability distributions rather than a single one. It is shown that given any continuous distribution, conditional probabilities of events can be approximated arbitrarily close to the true probability. Furthermore, for this setting an inference algorithm that is a generalisation of weighted model counting is developed, making use of SMT solvers. We show that inference has similar complexity properties as precise probabilistic inference, unlike most imprecise methods for which inference is more complex. We also experimentally confirm that our algorithm is able to exploit local structure, such as determinism, which further reduces the computational complexity. |
| Author | Hommersom, Arjen Michels, Steffen Velikova, Marina Lucas, Peter J.F. |
| Author_xml | – sequence: 1 givenname: Steffen surname: Michels fullname: Michels, Steffen email: s.michels@science.ru.nl organization: Radboud University, Institute for Computing and Information Sciences, Nijmegen, The Netherlands – sequence: 2 givenname: Arjen surname: Hommersom fullname: Hommersom, Arjen email: arjenh@cs.ru.nl organization: Radboud University, Institute for Computing and Information Sciences, Nijmegen, The Netherlands – sequence: 3 givenname: Peter J.F. surname: Lucas fullname: Lucas, Peter J.F. email: peterl@cs.ru.nl organization: Radboud University, Institute for Computing and Information Sciences, Nijmegen, The Netherlands – sequence: 4 givenname: Marina orcidid: 0000-0002-9739-5488 surname: Velikova fullname: Velikova, Marina email: marina.velikova@tno.nl organization: Embedded Systems Innovation by TNO, The Netherlands |
| BookMark | eNqFkEtLxTAQhYMoeH38AxdZumlNmjZpXAgivkBwo-swTacllzbVJFfx35vLdeVCV8M8vsOZc0T2_eKRkDPOSs64vFiXEJLzqawYb0omS8baPbLiraoKpSu-T1aMsboQilWH5CjGdW6F1nxFxmvq8ZO-haWDzk0uJmepXXxMAbIinZYxD_J6DDDPzo90Aj9uYETaQcSeLp4CHdFjgEznQZ81gus2yeVVxBl8lown5GCAKeLpTz0mr3e3LzcPxdPz_ePN9VNhhdCpGFStWqv4MPSVFbwBaFHUvQQNQvRacC0tR1Zp2wysVaBr1bVYDb0UDXYMxDE53-lmy-8bjMnMLlqcsmtcNtFwVdeyrWUj8-nl7tSGJcaAg7Euwdb29vfJcGa26Zq12aVrtukaJk1ON8P1L_gtuBnC13_Y1Q7DnMGHw2Cidegt9i6gTaZf3N8C3y4Tmy0 |
| CitedBy_id | crossref_primary_10_1016_j_ijar_2019_12_003 crossref_primary_10_1016_j_artint_2024_104227 crossref_primary_10_1016_j_artint_2021_103452 crossref_primary_10_1016_j_ijar_2020_07_004 |
| Cites_doi | 10.1109/TIT.2005.850085 10.1145/322276.322287 10.1017/S1471068412000154 10.1007/BF03037184 10.1016/S0888-613X(00)00031-1 10.1016/j.artint.2007.11.002 10.1016/S0004-3702(00)00069-2 10.1016/0004-3702(86)90031-7 10.1016/S0747-7171(88)80004-X 10.2200/S00529ED1V01Y201308AIM023 10.1017/S1471068411000238 10.1017/S1471068409003767 10.1214/aoms/1177729694 10.1016/j.procs.2013.01.057 10.1145/116825.116838 10.1613/jair.1122 10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO;2-O 10.1023/A:1007421730016 10.1145/129393.129398 10.1016/j.ijar.2011.10.004 10.1145/322217.322228 10.1016/S0004-3702(00)00029-1 10.1080/01621459.1992.10476265 10.2337/dc07-0720 10.1007/s10994-010-5206-7 10.1016/0890-5401(92)90061-J 10.1016/j.artint.2007.09.006 10.1016/j.jda.2009.06.002 10.1007/s10994-006-5833-1 10.1137/0608024 |
| ContentType | Journal Article |
| Copyright | 2015 Elsevier B.V. |
| Copyright_xml | – notice: 2015 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| DOI | 10.1016/j.artint.2015.06.008 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Computer and Information Systems Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7921 |
| EndPage | 44 |
| ExternalDocumentID | 10_1016_j_artint_2015_06_008 S0004370215001009 |
| GrantInformation_xml | – fundername: Dutch national program COMMIT |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 1B1 1~. 1~5 23N 4.4 457 4G. 5GY 5VS 6I. 6J9 6TJ 7-5 71M 77K 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AAKPC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABFRF ABJNI ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFO ACGFS ACNCT ACNNM ACRLP ACWUS ACZNC ADBBV ADEZE ADMUD AEBSH AECPX AEFWE AEKER AENEX AETEA AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 E3Z EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F0J F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K 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 XFK XJE XJT XPP XSW ZMT ~02 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c339t-f7478c71ffd2c315aa8e34d6a9a33d93196c1e029c5f087a947b8e2fd635eb0a3 |
| ISICitedReferencesCount | 13 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000361405800001&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 |
| IngestDate | Sat Sep 27 21:53:49 EDT 2025 Tue Nov 18 20:19:53 EST 2025 Sat Nov 29 06:08:09 EST 2025 Fri Feb 23 02:31:58 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Continuous probability distributions Imprecise probabilities Exact probabilistic inference Probabilistic logic programming |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c339t-f7478c71ffd2c315aa8e34d6a9a33d93196c1e029c5f087a947b8e2fd635eb0a3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| ORCID | 0000-0002-9739-5488 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.artint.2015.06.008 |
| PQID | 1744684656 |
| PQPubID | 23500 |
| PageCount | 44 |
| ParticipantIDs | proquest_miscellaneous_1744684656 crossref_citationtrail_10_1016_j_artint_2015_06_008 crossref_primary_10_1016_j_artint_2015_06_008 elsevier_sciencedirect_doi_10_1016_j_artint_2015_06_008 |
| PublicationCentury | 2000 |
| PublicationDate | 2015-11-01 |
| PublicationDateYYYYMMDD | 2015-11-01 |
| PublicationDate_xml | – month: 11 year: 2015 text: 2015-11-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Artificial intelligence |
| PublicationYear | 2015 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Valdez, Yoon, Liu, Khoury (br0210) 2007; 30 Janhunen (br0380) 2004; vol. 16 Fierens, Van den Broeck, Renkens, Shterionov, Gutmann, Thon, Janssens, De Raedt (br0580) 2014 Dechter (br0810) 2013; 7 De Campos, Cozman (br0480) 2005; vol. 5 Gelfond, Lifschitz (br0260) 1988; vol. 88 Wang, Domingos (br0120) 2008 Gutmann, Jaeger, De Raedt (br0130) 2010 Costa, Page, Qazi, Cussens (br0710) 2002 Walley (br0280) 2000; 24 Sato (br0050) 1995 Sato, Ishihata, Inoue (br0750) 2011; 83 Gutmann, Thon, Kimmig, Bruynooghe, Raedt (br0140) 2011; 11 Brooks, Gelman, Jones, Meng (br0940) 2011 Lauritzen (br0660) 1992; 87 Velikova, Novák, Huijbrechts, Laarhuis, Hoeksma, Michels (br0980) 2014 Weichselberger, Augustin (br0320) 2003; vol. 3 Angelopoulos (br0730) 2003; vol. 2833 Matiyasevich (br0510) 1971 Vennekens, Denecker, Bruynooghe (br0090) 2009; 9 Levi (br0290) 1980 Choi, Amir, Hill (br0960) 2010; vol. 10 Darwiche (br0590) 2004 Kimmig, Costa (br0020) 2012 Fierens, Van den Broeck, Thon, Gutmann, De Raedt (br0190) 2011 Neveu (br0300) 1965 Langseth, Nielsen, Salmerón (br0790) 2012; 53 Goodman, Mansinghka, Roy, Bonawitz, Tenenbaum (br0640) 2008 Jaffar, Maher, Marriott, Stuckey (br0370) 1998; 37 Sato, Kameya (br0070) 1997 Grädel (br0230) 1992; vol. 626 Yedidia, Freeman, Weiss (br0830) 2005; 51 Darwiche (br0410) 2001; 126 Nilsson (br0160) 1986; 28 Davenport, Heintz (br0340) 1988; 5 Diestel (br0540) 2005; vol. 173 Mantadelis, Janssens (br0390) 2010 Poole, Zhang (br0400) 2003; 18 Dutertre, Moura (br0470) 2006 Samer, Szeider (br0530) 2010; 8 Li, Ramsundar, Russell (br0920) 2013 Kullback, Leibler (br0880) 1951; 22 Jensen, Anderson (br0420) 1990 Sang, Beame, Kautz (br0570) 2005; vol. 1 Hendriks, van de Laar (br0970) 2013; 16 Sanner, Abbasnejad (br0800) 2012 Renkens, Kimmig, Van den Broeck, De Raedt (br0870) 2014 Cozman (br0670) 2000; 120 Pearl (br0100) 1988 Jaffar, Michaylov, Stuckey, Yap (br0360) 1992; 14 Bayardo, Pehoushek (br0440) 2000 Hoffman, Gelman (br0910) 2014; 15 Van Gelder, Ross, Schlipf (br0250) 1991; 38 Moldovan, Moreno, van Otterlo, Santos-Victor, De Raedt (br0030) 2012 Binder, Koller, Russell, Kanazawa, Smyth (br0200) 1997 Sato, Kameya (br0310) 2008 Jaffar, Lassez (br0150) 1987 Costa, Paes (br0720) 2009 Apt, Blair, Walker (br0240) 1986 Laskey (br0610) 2008; 172 Domingos, Kok, Lowd, Poon, Richardson, Singla (br0700) 2008 Bodlaender (br0560) 1993 Tatikonda, Jordan (br0840) 2002 Poole (br0860) 1993; 11 Downey, Sethi, Tarjan (br0490) 1980; 27 Milch, Marthi, Russell, Sontag, Ong, Kolobov (br0650) 2005 Bodlaender (br0520) 1992 Mooij, Kappen (br0850) 2005 Nitti, Laet, Raedt (br0900) 2013 Kersting (br0950) 2012 Reizler (br0740) 1998 van der Gaag (br0760) 1990 (br0010) 2007 Poole (br0080) 2008 De Moura, Bjørner (br0460) 2008 Murphy, Weiss, Jordan (br0820) 1999 Islam, Ramakrishnan, Ramakrishnan (br0780) 2012; 12 Chavira, Darwiche (br0180) 2008; 172 Boutilier, Friedman, Goldszmidt, Koller (br0430) 1996 Cozman, De Campos, Ide, da Rocha (br0770) 2004 Muise, Mcilraith, Beck, Hsu (br0600) 2012 McCallum, Schultz, Singh (br0620) 2009 Michels, Velikova, Hommersom, Lucas (br0040) 2013 Richardson, Domingos (br0110) 2006; 62 Sang, Beame, Kautz (br0450) 2005 Michels, Hommersom, Lucas, Velikova, Koopman (br0170) 2013 Kolmogorov (br0270) 1960 Propp, Wilson (br0930) 1996; 9 Arora, de Salvo Braz, Sudderth, Russell (br0890) 2010 Lloyd (br0220) 1987 Michels, Hommersom, Lucas, Velikova (br0690) 2014 Ng, Subrahmanian (br0680) 1992; 101 Raedt, Kimmig, Toivonen (br0060) 2007 Arnborg, Corneil, Proskurowski (br0550) 1987; 8 Hentenryck (br0350) 1989 Karmarkar (br0500) 1984 Pfeffer (br0630) 2009 Papadimitriou (br0330) 1981; 28 Sanner (10.1016/j.artint.2015.06.008_br0800) 2012 Islam (10.1016/j.artint.2015.06.008_br0780) 2012; 12 Mantadelis (10.1016/j.artint.2015.06.008_br0390) 2010 Gutmann (10.1016/j.artint.2015.06.008_br0140) 2011; 11 Gelfond (10.1016/j.artint.2015.06.008_br0260) 1988; vol. 88 Sang (10.1016/j.artint.2015.06.008_br0570) 2005; vol. 1 Hentenryck (10.1016/j.artint.2015.06.008_br0350) 1989 Li (10.1016/j.artint.2015.06.008_br0920) 2013 Michels (10.1016/j.artint.2015.06.008_br0170) 2013 Bayardo (10.1016/j.artint.2015.06.008_br0440) 2000 Costa (10.1016/j.artint.2015.06.008_br0720) 2009 Arnborg (10.1016/j.artint.2015.06.008_br0550) 1987; 8 Goodman (10.1016/j.artint.2015.06.008_br0640) 2008 Poole (10.1016/j.artint.2015.06.008_br0080) 2008 Dutertre (10.1016/j.artint.2015.06.008_br0470) 2006 Valdez (10.1016/j.artint.2015.06.008_br0210) 2007; 30 Jaffar (10.1016/j.artint.2015.06.008_br0360) 1992; 14 Angelopoulos (10.1016/j.artint.2015.06.008_br0730) 2003; vol. 2833 Kullback (10.1016/j.artint.2015.06.008_br0880) 1951; 22 Hendriks (10.1016/j.artint.2015.06.008_br0970) 2013; 16 Darwiche (10.1016/j.artint.2015.06.008_br0590) 2004 Papadimitriou (10.1016/j.artint.2015.06.008_br0330) 1981; 28 Laskey (10.1016/j.artint.2015.06.008_br0610) 2008; 172 Boutilier (10.1016/j.artint.2015.06.008_br0430) 1996 Pearl (10.1016/j.artint.2015.06.008_br0100) 1988 Walley (10.1016/j.artint.2015.06.008_br0280) 2000; 24 Matiyasevich (10.1016/j.artint.2015.06.008_br0510) 1971 Grädel (10.1016/j.artint.2015.06.008_br0230) 1992; vol. 626 Hoffman (10.1016/j.artint.2015.06.008_br0910) 2014; 15 Michels (10.1016/j.artint.2015.06.008_br0040) 2013 Lloyd (10.1016/j.artint.2015.06.008_br0220) 1987 Yedidia (10.1016/j.artint.2015.06.008_br0830) 2005; 51 Pfeffer (10.1016/j.artint.2015.06.008_br0630) 2009 Weichselberger (10.1016/j.artint.2015.06.008_br0320) 2003; vol. 3 Davenport (10.1016/j.artint.2015.06.008_br0340) 1988; 5 Murphy (10.1016/j.artint.2015.06.008_br0820) 1999 Sato (10.1016/j.artint.2015.06.008_br0750) 2011; 83 Sato (10.1016/j.artint.2015.06.008_br0070) 1997 Costa (10.1016/j.artint.2015.06.008_br0710) 2002 Van Gelder (10.1016/j.artint.2015.06.008_br0250) 1991; 38 Kersting (10.1016/j.artint.2015.06.008_br0950) 2012 Dechter (10.1016/j.artint.2015.06.008_br0810) 2013; 7 Fierens (10.1016/j.artint.2015.06.008_br0190) 2011 Jensen (10.1016/j.artint.2015.06.008_br0420) 1990 Samer (10.1016/j.artint.2015.06.008_br0530) 2010; 8 McCallum (10.1016/j.artint.2015.06.008_br0620) 2009 Raedt (10.1016/j.artint.2015.06.008_br0060) 2007 De Campos (10.1016/j.artint.2015.06.008_br0480) 2005; vol. 5 Cozman (10.1016/j.artint.2015.06.008_br0670) 2000; 120 Velikova (10.1016/j.artint.2015.06.008_br0980) 2014 Kolmogorov (10.1016/j.artint.2015.06.008_br0270) 1960 Langseth (10.1016/j.artint.2015.06.008_br0790) 2012; 53 Fierens (10.1016/j.artint.2015.06.008_br0580) 2014 Nilsson (10.1016/j.artint.2015.06.008_br0160) 1986; 28 Wang (10.1016/j.artint.2015.06.008_br0120) 2008 Janhunen (10.1016/j.artint.2015.06.008_br0380) 2004; vol. 16 Diestel (10.1016/j.artint.2015.06.008_br0540) 2005; vol. 173 Lauritzen (10.1016/j.artint.2015.06.008_br0660) 1992; 87 Mooij (10.1016/j.artint.2015.06.008_br0850) 2005 Cozman (10.1016/j.artint.2015.06.008_br0770) 2004 Chavira (10.1016/j.artint.2015.06.008_br0180) 2008; 172 Kimmig (10.1016/j.artint.2015.06.008_br0020) 2012 Sato (10.1016/j.artint.2015.06.008_br0310) 2008 Nitti (10.1016/j.artint.2015.06.008_br0900) 2013 Propp (10.1016/j.artint.2015.06.008_br0930) 1996; 9 Bodlaender (10.1016/j.artint.2015.06.008_br0560) 1993 Bodlaender (10.1016/j.artint.2015.06.008_br0520) 1992 Arora (10.1016/j.artint.2015.06.008_br0890) 2010 Sang (10.1016/j.artint.2015.06.008_br0450) 2005 Michels (10.1016/j.artint.2015.06.008_br0690) 2014 van der Gaag (10.1016/j.artint.2015.06.008_br0760) 1990 Renkens (10.1016/j.artint.2015.06.008_br0870) 2014 Milch (10.1016/j.artint.2015.06.008_br0650) 2005 Choi (10.1016/j.artint.2015.06.008_br0960) 2010; vol. 10 Brooks (10.1016/j.artint.2015.06.008_br0940) 2011 Domingos (10.1016/j.artint.2015.06.008_br0700) 2008 De Moura (10.1016/j.artint.2015.06.008_br0460) 2008 (10.1016/j.artint.2015.06.008_br0010) 2007 Reizler (10.1016/j.artint.2015.06.008_br0740) 1998 Richardson (10.1016/j.artint.2015.06.008_br0110) 2006; 62 Muise (10.1016/j.artint.2015.06.008_br0600) 2012 Ng (10.1016/j.artint.2015.06.008_br0680) 1992; 101 Sato (10.1016/j.artint.2015.06.008_br0050) 1995 Moldovan (10.1016/j.artint.2015.06.008_br0030) 2012 Downey (10.1016/j.artint.2015.06.008_br0490) 1980; 27 Binder (10.1016/j.artint.2015.06.008_br0200) 1997 Vennekens (10.1016/j.artint.2015.06.008_br0090) 2009; 9 Jaffar (10.1016/j.artint.2015.06.008_br0370) 1998; 37 Tatikonda (10.1016/j.artint.2015.06.008_br0840) 2002 Karmarkar (10.1016/j.artint.2015.06.008_br0500) 1984 Poole (10.1016/j.artint.2015.06.008_br0400) 2003; 18 Poole (10.1016/j.artint.2015.06.008_br0860) 1993; 11 Darwiche (10.1016/j.artint.2015.06.008_br0410) 2001; 126 Jaffar (10.1016/j.artint.2015.06.008_br0150) 1987 Neveu (10.1016/j.artint.2015.06.008_br0300) 1965 Gutmann (10.1016/j.artint.2015.06.008_br0130) 2010 Apt (10.1016/j.artint.2015.06.008_br0240) 1986 Levi (10.1016/j.artint.2015.06.008_br0290) 1980 |
| References_xml | – start-page: 33 year: 2012 end-page: 38 ident: br0950 article-title: Lifted probabilistic inference publication-title: ECAI – volume: vol. 16 start-page: 358 year: 2004 ident: br0380 article-title: Representing normal programs with clauses publication-title: ECAI – start-page: 621 year: 2014 end-page: 626 ident: br0690 article-title: Imprecise probabilistic horn clause logic publication-title: ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014 – volume: 172 start-page: 772 year: 2008 end-page: 799 ident: br0180 article-title: On probabilistic inference by weighted model counting publication-title: Artif. Intell. – year: 2010 ident: br0130 article-title: Extending ProbLog with continuous distributions publication-title: Proc. of the 20th International Conference on Inductive Logic Programming – volume: 172 start-page: 140 year: 2008 end-page: 178 ident: br0610 article-title: MEBN: a language for first-order Bayesian knowledge bases publication-title: Artif. Intell. – start-page: 1330 year: 1997 end-page: 1335 ident: br0070 article-title: PRISM: a language for symbolic-statistical modeling publication-title: Proc. of the 15th International Joint Conference on Artificial Intelligence – volume: 14 start-page: 339 year: 1992 end-page: 395 ident: br0360 article-title: The CLP(R) language and system publication-title: ACM Trans. Program. Lang. Syst. – start-page: 715 year: 1995 end-page: 729 ident: br0050 article-title: A statistical learning method for logic programs with distribution semantics publication-title: ICLP – start-page: 104 year: 2004 end-page: 111 ident: br0770 article-title: Propositional and relational Bayesian networks associated with imprecise and qualitative probabilistic assessments publication-title: Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence – volume: vol. 88 start-page: 1070 year: 1988 end-page: 1080 ident: br0260 article-title: The stable model semantics for logic programming publication-title: ICLP/SLP – start-page: 1352 year: 2005 end-page: 1359 ident: br0650 article-title: BLOG: probabilistic models with unknown objects publication-title: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence – start-page: 407 year: 2012 end-page: 426 ident: br0020 article-title: Link and node prediction in metabolic networks with probabilistic logic publication-title: Bisociative Knowledge Discovery – volume: 53 start-page: 212 year: 2012 end-page: 227 ident: br0790 article-title: Mixtures of truncated basis functions publication-title: Int. J. Approx. Reason. – start-page: 118 year: 2008 end-page: 155 ident: br0310 article-title: New advances in logic-based probabilistic modeling by prism publication-title: Probabilistic Inductive Logic Programming – year: 1988 ident: br0100 article-title: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference – year: 1960 ident: br0270 article-title: Foundations of the Theory of Probability – start-page: 1 year: 2014 end-page: 44 ident: br0580 article-title: Inference and learning in probabilistic logic programs using weighted Boolean formulas publication-title: Theory Pract. Log. Program. – volume: 22 start-page: 79 year: 1951 end-page: 86 ident: br0880 article-title: On information and sufficiency publication-title: Ann. Math. Stat. – volume: 126 start-page: 5 year: 2001 end-page: 41 ident: br0410 article-title: Recursive conditioning publication-title: Artif. Intell. – start-page: 337 year: 2008 end-page: 340 ident: br0460 article-title: Z3: an efficient SMT solver publication-title: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – volume: vol. 173 year: 2005 ident: br0540 article-title: Graph Theory publication-title: Grad. Texts Math. – start-page: 220 year: 2008 end-page: 229 ident: br0640 article-title: Church: a language for generative models publication-title: Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence – start-page: 226 year: 2005 end-page: 240 ident: br0450 article-title: Heuristics for fast exact model counting publication-title: Theory and Applications of Satisfiability Testing – volume: 28 start-page: 71 year: 1986 end-page: 87 ident: br0160 article-title: Probabilistic logic publication-title: Artif. Intell. – start-page: 115 year: 1996 end-page: 123 ident: br0430 article-title: Context-specific independence in Bayesian networks publication-title: Proceedings of the Twelfth International Conference on Uncertainty in Artificial Intelligence – volume: 8 start-page: 50 year: 2010 end-page: 64 ident: br0530 article-title: Algorithms for propositional model counting publication-title: J. Discrete Algorithms – volume: 18 start-page: 263 year: 2003 end-page: 313 ident: br0400 article-title: Exploiting contextual independence in probabilistic inference publication-title: J. Artif. Intell. Res. – start-page: 467 year: 1999 end-page: 475 ident: br0820 article-title: Loopy belief propagation for approximate inference: an empirical study publication-title: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence – volume: 16 start-page: 542 year: 2013 end-page: 551 ident: br0970 article-title: Metis: dependable cooperative systems for public safety publication-title: Proc. Comput. Sci. – start-page: 30 year: 2010 end-page: 39 ident: br0890 article-title: Gibbs sampling in open-universe stochastic languages publication-title: Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence – volume: 27 start-page: 758 year: 1980 end-page: 771 ident: br0490 article-title: Variations on the common subexpression problem publication-title: J. ACM – year: 2011 ident: br0940 article-title: Handbook of Markov Chain Monte Carlo – start-page: 222 year: 2008 end-page: 243 ident: br0080 article-title: The independent choice logic and beyond publication-title: Probabilistic Inductive Logic Programming – start-page: 517 year: 2002 end-page: 524 ident: br0710 article-title: CLP (BN): constraint logic programming for probabilistic knowledge publication-title: Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence – volume: 87 start-page: 1098 year: 1992 end-page: 1108 ident: br0660 article-title: Propagation of probabilities, means, and variances in mixed graphical association models publication-title: J. Am. Stat. Assoc. – year: 1992 ident: br0520 article-title: A tourist guide through treewidth – start-page: 157 year: 2000 end-page: 162 ident: br0440 article-title: Counting models using connected components publication-title: AAAI/IAAI – start-page: 397 year: 2013 end-page: 405 ident: br0920 article-title: Dynamic scaled sampling for deterministic constraints publication-title: Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics – start-page: 211 year: 2011 end-page: 220 ident: br0190 article-title: Inference in probabilistic logic programs using weighted CNF's publication-title: Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence – volume: 12 start-page: 505 year: 2012 end-page: 523 ident: br0780 article-title: Inference in probabilistic logic programs with continuous random variables publication-title: Theory Pract. Log. Program. – start-page: 2468 year: 2007 end-page: 2473 ident: br0060 article-title: ProbLog: a probabilistic prolog and its application in link discovery publication-title: Proc. of the 20th International Joint Conference on Artificial Intelligence – volume: 7 start-page: 1 year: 2013 end-page: 191 ident: br0810 article-title: Reasoning with probabilistic and deterministic graphical models: exact algorithms publication-title: Synth. Lect. Artif. Intell. Mach. Learn. – start-page: 213 year: 1997 end-page: 244 ident: br0200 article-title: Adaptive probabilistic networks with hidden variables publication-title: Mach. Learn. – volume: vol. 1 start-page: 475 year: 2005 end-page: 482 ident: br0570 article-title: Solving Bayesian networks by weighted model counting publication-title: Proceedings of the Twentieth National Conference on Artificial Intelligence – start-page: 1249 year: 2009 end-page: 1257 ident: br0620 article-title: Factorie: probabilistic programming via imperatively defined factor graphs publication-title: Advances in Neural Information Processing Systems – volume: 83 start-page: 241 year: 2011 end-page: 264 ident: br0750 article-title: Constraint-based probabilistic modeling for statistical abduction publication-title: Mach. Learn. – start-page: 2764 year: 2013 end-page: 2771 ident: br0900 article-title: A particle filter for hybrid relational domains publication-title: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems – start-page: 396 year: 2005 end-page: 403 ident: br0850 article-title: Sufficient conditions for convergence of loopy belief propagation publication-title: Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence – start-page: 162 year: 1990 end-page: 169 ident: br0420 article-title: Approximations in Bayesian belief universe for knowledge based systems publication-title: Proceedings of the Sixth Conference Annual Conference on Uncertainty in Artificial Intelligence – volume: vol. 2833 start-page: 784 year: 2003 end-page: 788 ident: br0730 article-title: clp(pdf(y)): constraints for probabilistic reasoning in logic programming publication-title: Principles and Practice of Constraint Programming 2003 – year: 2009 ident: br0630 article-title: Figaro: an object-oriented probabilistic programming language – volume: 51 start-page: 2282 year: 2005 end-page: 2312 ident: br0830 article-title: Constructing free-energy approximations and generalized belief propagation algorithms publication-title: IEEE Trans. Inf. Theory – volume: 28 start-page: 765 year: 1981 end-page: 768 ident: br0330 article-title: On the complexity of integer programming publication-title: J. ACM – start-page: 4373 year: 2012 end-page: 4378 ident: br0030 article-title: Learning relational affordance models for robots in multi-object manipulation tasks publication-title: 2012 IEEE International Conference on Robotics and Automation – volume: 37 start-page: 1 year: 1998 end-page: 46 ident: br0370 article-title: The semantics of constraint logic programs publication-title: J. Funct. Logic Program. – year: 1990 ident: br0760 article-title: On probability intervals and their updating – volume: 62 start-page: 107 year: 2006 end-page: 136 ident: br0110 article-title: Markov logic networks publication-title: Mach. Learn. – volume: 5 start-page: 29 year: 1988 end-page: 35 ident: br0340 article-title: Real quantifier elimination is doubly exponential publication-title: J. Symb. Comput. – volume: 9 start-page: 245 year: 2009 end-page: 308 ident: br0090 article-title: CP-logic: a language of causal probabilistic events and its relation to logic programming publication-title: Theory Pract. Log. Program. – start-page: 1106 year: 2008 end-page: 1111 ident: br0120 article-title: Hybrid Markov logic networks publication-title: Proceedings of the 23rd National Conference on Artificial Intelligence, vol. 2 – volume: 8 start-page: 277 year: 1987 end-page: 284 ident: br0550 article-title: Complexity of finding embeddings in ak-tree publication-title: SIAM J. Algebr. Discrete Methods – year: 2014 ident: br0870 article-title: Explanation-based approximate weighted model counting for probabilistic logics publication-title: Proceedings of the 28th AAAI Conference on Artificial Intelligence – volume: 11 start-page: 377 year: 1993 end-page: 400 ident: br0860 article-title: Logic programming, abduction and probability publication-title: New Gener. Comput. – start-page: 171 year: 1971 end-page: 177 ident: br0510 article-title: Diophantine representation of recursively enumerable predicates publication-title: Second Scandinavian Logic Symposium – year: 2006 ident: br0470 article-title: The Yices SMT solver – start-page: 92 year: 2008 end-page: 117 ident: br0700 article-title: Markov logic publication-title: Probabilistic Inductive Logic Programming – year: 1998 ident: br0740 article-title: Probabilistic constraint logic programming – year: 2013 ident: br0170 article-title: Inference for a new probabilistic constraint logic publication-title: IJCAI, IJCAI/AAAI – year: 1986 ident: br0240 article-title: Towards a theory of declarative knowledge – start-page: 226 year: 1993 end-page: 234 ident: br0560 article-title: A linear time algorithm for finding tree-decompositions of small treewidth publication-title: Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing – year: 2012 ident: br0800 article-title: Symbolic variable elimination for discrete and continuous graphical models publication-title: AAAI – volume: 11 start-page: 663 year: 2011 end-page: 680 ident: br0140 article-title: The magic of logical inference in probabilistic programming publication-title: Theory Pract. Log. Program. – volume: vol. 5 start-page: 1313 year: 2005 end-page: 1318 ident: br0480 article-title: The inferential complexity of Bayesian and credal networks publication-title: IJCAI – start-page: 493 year: 2002 end-page: 500 ident: br0840 article-title: Loopy belief propagation and Gibbs measures publication-title: Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence – start-page: 111 year: 1987 end-page: 119 ident: br0150 article-title: Constraint logic programming publication-title: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages – year: 2012 ident: br0600 article-title: DSHARP: fast d-DNNF compilation with sharpSAT publication-title: Canadian Conference on Artificial Intelligence – volume: 120 start-page: 199 year: 2000 end-page: 233 ident: br0670 article-title: Credal networks publication-title: Artif. Intell. – volume: vol. 626 start-page: 149 year: 1992 end-page: 163 ident: br0230 article-title: On transitive closure logic publication-title: Computer Science Logic: 5th Workshop – start-page: 1197 year: 2014 end-page: 1202 ident: br0980 article-title: An integrated reconfigurable system for maritime situational awareness publication-title: ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014 – start-page: 124 year: 2010 end-page: 133 ident: br0390 article-title: Dedicated tabling for a probabilistic setting publication-title: ICLP (Technical Communications) – start-page: 663 year: 2013 end-page: 668 ident: br0040 article-title: A decision support model for uncertainty reasoning in safety and security tasks publication-title: 2013 IEEE International Conference on Systems, Man, and Cybernetics – volume: 38 start-page: 619 year: 1991 end-page: 649 ident: br0250 article-title: The well-founded semantics for general logic programs publication-title: J. ACM – volume: vol. 3 start-page: 608 year: 2003 end-page: 629 ident: br0320 article-title: On the symbiosis of two concepts of conditional interval probability publication-title: ISIPTA – volume: 24 start-page: 125 year: 2000 end-page: 148 ident: br0280 article-title: Towards a unified theory of imprecise probability publication-title: Int. J. Approx. Reason. – volume: 9 start-page: 223 year: 1996 end-page: 252 ident: br0930 article-title: Exact sampling with coupled Markov chains and applications to statistical mechanics publication-title: Random Struct. Algorithms – year: 2007 ident: br0010 publication-title: An Introduction to Statistical Relational Learning – year: 2009 ident: br0720 article-title: On the relationship between PRISM and publication-title: Proc. of the Int. Workshop on Statistical Relational Learning – volume: 15 start-page: 1593 year: 2014 end-page: 1623 ident: br0910 article-title: The no-u-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo publication-title: J. Mach. Learn. Res. – year: 1989 ident: br0350 article-title: Constraint Satisfaction in Logic Programming – volume: 101 start-page: 150 year: 1992 end-page: 201 ident: br0680 article-title: Probabilistic logic programming publication-title: Inf. Comput. – year: 1965 ident: br0300 article-title: Mathematical Foundations of the Calculus of Probability – year: 1987 ident: br0220 article-title: Foundations of Logic Programming – volume: vol. 10 start-page: 126 year: 2010 end-page: 134 ident: br0960 article-title: Lifted inference for relational continuous models publication-title: UAI – start-page: 302 year: 1984 end-page: 311 ident: br0500 article-title: A new polynomial-time algorithm for linear programming publication-title: Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing – volume: 30 start-page: 2517 year: 2007 end-page: 2522 ident: br0210 article-title: Family history and prevalence of diabetes in the us population the 6-year results from the national health and nutrition examination survey (1999–2004) publication-title: Diabetes Care – year: 1980 ident: br0290 article-title: The Enterprise of Knowledge – start-page: 328 year: 2004 end-page: 332 ident: br0590 article-title: New advances in compiling CNF to decomposable negation normal form publication-title: Proc. of ECAI – volume: 51 start-page: 2282 issue: 7 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0830 article-title: Constructing free-energy approximations and generalized belief propagation algorithms publication-title: IEEE Trans. Inf. Theory doi: 10.1109/TIT.2005.850085 – volume: vol. 88 start-page: 1070 year: 1988 ident: 10.1016/j.artint.2015.06.008_br0260 article-title: The stable model semantics for logic programming – start-page: 30 year: 2010 ident: 10.1016/j.artint.2015.06.008_br0890 article-title: Gibbs sampling in open-universe stochastic languages – start-page: 1330 year: 1997 ident: 10.1016/j.artint.2015.06.008_br0070 article-title: PRISM: a language for symbolic-statistical modeling – volume: vol. 3 start-page: 608 year: 2003 ident: 10.1016/j.artint.2015.06.008_br0320 article-title: On the symbiosis of two concepts of conditional interval probability – year: 2014 ident: 10.1016/j.artint.2015.06.008_br0870 article-title: Explanation-based approximate weighted model counting for probabilistic logics – year: 2007 ident: 10.1016/j.artint.2015.06.008_br0010 – volume: 37 start-page: 1 issue: 1–3 year: 1998 ident: 10.1016/j.artint.2015.06.008_br0370 article-title: The semantics of constraint logic programs publication-title: J. Funct. Logic Program. – start-page: 396 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0850 article-title: Sufficient conditions for convergence of loopy belief propagation – volume: 28 start-page: 765 issue: 4 year: 1981 ident: 10.1016/j.artint.2015.06.008_br0330 article-title: On the complexity of integer programming publication-title: J. ACM doi: 10.1145/322276.322287 – start-page: 337 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0460 article-title: Z3: an efficient SMT solver – start-page: 2764 year: 2013 ident: 10.1016/j.artint.2015.06.008_br0900 article-title: A particle filter for hybrid relational domains – year: 1980 ident: 10.1016/j.artint.2015.06.008_br0290 – start-page: 118 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0310 article-title: New advances in logic-based probabilistic modeling by prism – volume: 12 start-page: 505 issue: 4–5 year: 2012 ident: 10.1016/j.artint.2015.06.008_br0780 article-title: Inference in probabilistic logic programs with continuous random variables publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068412000154 – start-page: 111 year: 1987 ident: 10.1016/j.artint.2015.06.008_br0150 article-title: Constraint logic programming – start-page: 663 year: 2013 ident: 10.1016/j.artint.2015.06.008_br0040 article-title: A decision support model for uncertainty reasoning in safety and security tasks – start-page: 104 year: 2004 ident: 10.1016/j.artint.2015.06.008_br0770 article-title: Propositional and relational Bayesian networks associated with imprecise and qualitative probabilistic assessments – year: 2006 ident: 10.1016/j.artint.2015.06.008_br0470 – start-page: 226 year: 1993 ident: 10.1016/j.artint.2015.06.008_br0560 article-title: A linear time algorithm for finding tree-decompositions of small treewidth – start-page: 517 year: 2002 ident: 10.1016/j.artint.2015.06.008_br0710 article-title: CLP (BN): constraint logic programming for probabilistic knowledge – start-page: 493 year: 2002 ident: 10.1016/j.artint.2015.06.008_br0840 article-title: Loopy belief propagation and Gibbs measures – volume: 11 start-page: 377 issue: 3–4 year: 1993 ident: 10.1016/j.artint.2015.06.008_br0860 article-title: Logic programming, abduction and probability publication-title: New Gener. Comput. doi: 10.1007/BF03037184 – year: 2012 ident: 10.1016/j.artint.2015.06.008_br0600 article-title: DSHARP: fast d-DNNF compilation with sharpSAT – start-page: 220 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0640 article-title: Church: a language for generative models – volume: 24 start-page: 125 issue: 2 year: 2000 ident: 10.1016/j.artint.2015.06.008_br0280 article-title: Towards a unified theory of imprecise probability publication-title: Int. J. Approx. Reason. doi: 10.1016/S0888-613X(00)00031-1 – start-page: 328 year: 2004 ident: 10.1016/j.artint.2015.06.008_br0590 article-title: New advances in compiling CNF to decomposable negation normal form – start-page: 171 year: 1971 ident: 10.1016/j.artint.2015.06.008_br0510 article-title: Diophantine representation of recursively enumerable predicates – start-page: 1352 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0650 article-title: BLOG: probabilistic models with unknown objects – year: 1960 ident: 10.1016/j.artint.2015.06.008_br0270 – start-page: 115 year: 1996 ident: 10.1016/j.artint.2015.06.008_br0430 article-title: Context-specific independence in Bayesian networks – volume: 172 start-page: 772 issue: 6–7 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0180 article-title: On probabilistic inference by weighted model counting publication-title: Artif. Intell. doi: 10.1016/j.artint.2007.11.002 – volume: 126 start-page: 5 issue: 1 year: 2001 ident: 10.1016/j.artint.2015.06.008_br0410 article-title: Recursive conditioning publication-title: Artif. Intell. doi: 10.1016/S0004-3702(00)00069-2 – volume: 28 start-page: 71 issue: 1 year: 1986 ident: 10.1016/j.artint.2015.06.008_br0160 article-title: Probabilistic logic publication-title: Artif. Intell. doi: 10.1016/0004-3702(86)90031-7 – volume: 5 start-page: 29 issue: 1 year: 1988 ident: 10.1016/j.artint.2015.06.008_br0340 article-title: Real quantifier elimination is doubly exponential publication-title: J. Symb. Comput. doi: 10.1016/S0747-7171(88)80004-X – start-page: 92 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0700 article-title: Markov logic – start-page: 4373 year: 2012 ident: 10.1016/j.artint.2015.06.008_br0030 article-title: Learning relational affordance models for robots in multi-object manipulation tasks – start-page: 222 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0080 article-title: The independent choice logic and beyond – start-page: 407 year: 2012 ident: 10.1016/j.artint.2015.06.008_br0020 article-title: Link and node prediction in metabolic networks with probabilistic logic – volume: 7 start-page: 1 issue: 3 year: 2013 ident: 10.1016/j.artint.2015.06.008_br0810 article-title: Reasoning with probabilistic and deterministic graphical models: exact algorithms publication-title: Synth. Lect. Artif. Intell. Mach. Learn. doi: 10.2200/S00529ED1V01Y201308AIM023 – volume: vol. 5 start-page: 1313 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0480 article-title: The inferential complexity of Bayesian and credal networks – volume: 11 start-page: 663 year: 2011 ident: 10.1016/j.artint.2015.06.008_br0140 article-title: The magic of logical inference in probabilistic programming publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068411000238 – volume: 9 start-page: 245 year: 2009 ident: 10.1016/j.artint.2015.06.008_br0090 article-title: CP-logic: a language of causal probabilistic events and its relation to logic programming publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068409003767 – start-page: 33 year: 2012 ident: 10.1016/j.artint.2015.06.008_br0950 article-title: Lifted probabilistic inference – start-page: 621 year: 2014 ident: 10.1016/j.artint.2015.06.008_br0690 article-title: Imprecise probabilistic horn clause logic – year: 1998 ident: 10.1016/j.artint.2015.06.008_br0740 – volume: 22 start-page: 79 issue: 1 year: 1951 ident: 10.1016/j.artint.2015.06.008_br0880 article-title: On information and sufficiency publication-title: Ann. Math. Stat. doi: 10.1214/aoms/1177729694 – volume: 16 start-page: 542 year: 2013 ident: 10.1016/j.artint.2015.06.008_br0970 article-title: Metis: dependable cooperative systems for public safety publication-title: Proc. Comput. Sci. doi: 10.1016/j.procs.2013.01.057 – volume: vol. 16 start-page: 358 year: 2004 ident: 10.1016/j.artint.2015.06.008_br0380 article-title: Representing normal programs with clauses – volume: vol. 1 start-page: 475 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0570 article-title: Solving Bayesian networks by weighted model counting – volume: vol. 173 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0540 article-title: Graph Theory – year: 1988 ident: 10.1016/j.artint.2015.06.008_br0100 – year: 1986 ident: 10.1016/j.artint.2015.06.008_br0240 – year: 2009 ident: 10.1016/j.artint.2015.06.008_br0720 article-title: On the relationship between PRISM and CLP(BN) – year: 1990 ident: 10.1016/j.artint.2015.06.008_br0760 – volume: 38 start-page: 619 issue: 3 year: 1991 ident: 10.1016/j.artint.2015.06.008_br0250 article-title: The well-founded semantics for general logic programs publication-title: J. ACM doi: 10.1145/116825.116838 – volume: 18 start-page: 263 year: 2003 ident: 10.1016/j.artint.2015.06.008_br0400 article-title: Exploiting contextual independence in probabilistic inference publication-title: J. Artif. Intell. Res. doi: 10.1613/jair.1122 – start-page: 2468 year: 2007 ident: 10.1016/j.artint.2015.06.008_br0060 article-title: ProbLog: a probabilistic prolog and its application in link discovery – volume: 9 start-page: 223 issue: 1–2 year: 1996 ident: 10.1016/j.artint.2015.06.008_br0930 article-title: Exact sampling with coupled Markov chains and applications to statistical mechanics publication-title: Random Struct. Algorithms doi: 10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO;2-O – start-page: 213 year: 1997 ident: 10.1016/j.artint.2015.06.008_br0200 article-title: Adaptive probabilistic networks with hidden variables publication-title: Mach. Learn. doi: 10.1023/A:1007421730016 – volume: 14 start-page: 339 issue: 3 year: 1992 ident: 10.1016/j.artint.2015.06.008_br0360 article-title: The CLP(R) language and system publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/129393.129398 – volume: 53 start-page: 212 issue: 2 year: 2012 ident: 10.1016/j.artint.2015.06.008_br0790 article-title: Mixtures of truncated basis functions publication-title: Int. J. Approx. Reason. doi: 10.1016/j.ijar.2011.10.004 – year: 1987 ident: 10.1016/j.artint.2015.06.008_br0220 – volume: 27 start-page: 758 issue: 4 year: 1980 ident: 10.1016/j.artint.2015.06.008_br0490 article-title: Variations on the common subexpression problem publication-title: J. ACM doi: 10.1145/322217.322228 – year: 2012 ident: 10.1016/j.artint.2015.06.008_br0800 article-title: Symbolic variable elimination for discrete and continuous graphical models – year: 2010 ident: 10.1016/j.artint.2015.06.008_br0130 article-title: Extending ProbLog with continuous distributions – start-page: 1197 year: 2014 ident: 10.1016/j.artint.2015.06.008_br0980 article-title: An integrated reconfigurable system for maritime situational awareness – volume: 120 start-page: 199 issue: 2 year: 2000 ident: 10.1016/j.artint.2015.06.008_br0670 article-title: Credal networks publication-title: Artif. Intell. doi: 10.1016/S0004-3702(00)00029-1 – volume: 87 start-page: 1098 issue: 420 year: 1992 ident: 10.1016/j.artint.2015.06.008_br0660 article-title: Propagation of probabilities, means, and variances in mixed graphical association models publication-title: J. Am. Stat. Assoc. doi: 10.1080/01621459.1992.10476265 – volume: 30 start-page: 2517 issue: 10 year: 2007 ident: 10.1016/j.artint.2015.06.008_br0210 article-title: Family history and prevalence of diabetes in the us population the 6-year results from the national health and nutrition examination survey (1999–2004) publication-title: Diabetes Care doi: 10.2337/dc07-0720 – volume: 83 start-page: 241 issue: 2 year: 2011 ident: 10.1016/j.artint.2015.06.008_br0750 article-title: Constraint-based probabilistic modeling for statistical abduction publication-title: Mach. Learn. doi: 10.1007/s10994-010-5206-7 – start-page: 211 year: 2011 ident: 10.1016/j.artint.2015.06.008_br0190 article-title: Inference in probabilistic logic programs using weighted CNF's – start-page: 226 year: 2005 ident: 10.1016/j.artint.2015.06.008_br0450 article-title: Heuristics for fast exact model counting – start-page: 1 year: 2014 ident: 10.1016/j.artint.2015.06.008_br0580 article-title: Inference and learning in probabilistic logic programs using weighted Boolean formulas publication-title: Theory Pract. Log. Program. – year: 2013 ident: 10.1016/j.artint.2015.06.008_br0170 article-title: Inference for a new probabilistic constraint logic – volume: 101 start-page: 150 issue: 2 year: 1992 ident: 10.1016/j.artint.2015.06.008_br0680 article-title: Probabilistic logic programming publication-title: Inf. Comput. doi: 10.1016/0890-5401(92)90061-J – year: 1992 ident: 10.1016/j.artint.2015.06.008_br0520 – year: 1989 ident: 10.1016/j.artint.2015.06.008_br0350 – year: 2011 ident: 10.1016/j.artint.2015.06.008_br0940 – year: 1965 ident: 10.1016/j.artint.2015.06.008_br0300 – volume: vol. 2833 start-page: 784 year: 2003 ident: 10.1016/j.artint.2015.06.008_br0730 article-title: clp(pdf(y)): constraints for probabilistic reasoning in logic programming – volume: 172 start-page: 140 issue: 2–3 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0610 article-title: MEBN: a language for first-order Bayesian knowledge bases publication-title: Artif. Intell. doi: 10.1016/j.artint.2007.09.006 – volume: 8 start-page: 50 issue: 1 year: 2010 ident: 10.1016/j.artint.2015.06.008_br0530 article-title: Algorithms for propositional model counting publication-title: J. Discrete Algorithms doi: 10.1016/j.jda.2009.06.002 – start-page: 302 year: 1984 ident: 10.1016/j.artint.2015.06.008_br0500 article-title: A new polynomial-time algorithm for linear programming – start-page: 1106 year: 2008 ident: 10.1016/j.artint.2015.06.008_br0120 article-title: Hybrid Markov logic networks – start-page: 162 year: 1990 ident: 10.1016/j.artint.2015.06.008_br0420 article-title: Approximations in Bayesian belief universe for knowledge based systems – start-page: 1249 year: 2009 ident: 10.1016/j.artint.2015.06.008_br0620 article-title: Factorie: probabilistic programming via imperatively defined factor graphs – start-page: 124 year: 2010 ident: 10.1016/j.artint.2015.06.008_br0390 article-title: Dedicated tabling for a probabilistic setting – start-page: 157 year: 2000 ident: 10.1016/j.artint.2015.06.008_br0440 article-title: Counting models using connected components – volume: 62 start-page: 107 issue: 1–2 year: 2006 ident: 10.1016/j.artint.2015.06.008_br0110 article-title: Markov logic networks publication-title: Mach. Learn. doi: 10.1007/s10994-006-5833-1 – volume: 8 start-page: 277 issue: 2 year: 1987 ident: 10.1016/j.artint.2015.06.008_br0550 article-title: Complexity of finding embeddings in ak-tree publication-title: SIAM J. Algebr. Discrete Methods doi: 10.1137/0608024 – start-page: 467 year: 1999 ident: 10.1016/j.artint.2015.06.008_br0820 article-title: Loopy belief propagation for approximate inference: an empirical study – volume: vol. 626 start-page: 149 year: 1992 ident: 10.1016/j.artint.2015.06.008_br0230 article-title: On transitive closure logic – year: 2009 ident: 10.1016/j.artint.2015.06.008_br0630 – start-page: 715 year: 1995 ident: 10.1016/j.artint.2015.06.008_br0050 article-title: A statistical learning method for logic programs with distribution semantics – volume: 15 start-page: 1593 issue: 1 year: 2014 ident: 10.1016/j.artint.2015.06.008_br0910 article-title: The no-u-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo publication-title: J. Mach. Learn. Res. – volume: vol. 10 start-page: 126 year: 2010 ident: 10.1016/j.artint.2015.06.008_br0960 article-title: Lifted inference for relational continuous models – start-page: 397 year: 2013 ident: 10.1016/j.artint.2015.06.008_br0920 article-title: Dynamic scaled sampling for deterministic constraints |
| SSID | ssj0003991 |
| Score | 2.2915785 |
| Snippet | Probabilistic logics combine the expressive power of logic with the ability to reason with uncertainty. Several probabilistic logic languages have been... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1 |
| SubjectTerms | Continuous probability distributions Exact probabilistic inference Imprecise probabilities Inference Logic Logic programming Probabilistic logic programming Probabilistic methods Probability distribution Probability theory Random variables Semantics |
| Title | A new probabilistic constraint logic programming language based on a generalised distribution semantics |
| URI | https://dx.doi.org/10.1016/j.artint.2015.06.008 https://www.proquest.com/docview/1744684656 |
| Volume | 228 |
| WOSCitedRecordID | wos000361405800001&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 customDbUrl: eissn: 1872-7921 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0003991 issn: 0004-3702 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LaxsxEBYm6aGXvkvTFyr0ZtbsW9LRhIQ0hFBoGnxbtCup2HV2g-2Y_J7-0szosXZrStpCL4vZ9a5tzefRaPTNfIR8LFMNQbaRUV4nKspVbSJeyjIqc8FSyVSsrA7Z5Rk7P-eTifg8GPwItTDrOWtbfnsrrv-rqeEcGBtLZ__C3P1D4QS8BqPDEcwOxz8y_BhVwpF3VdvmudiHGbnlSysGsRpaXxdoWVeYKAgpyyHOaAp3DyQKK2OyaoonFPbW9bJYw6W-AlsEinzfvtYyjqz-x1aLz96Ylm669KQyYzbVZyedzZt3FpTjxWxz5QzF2HoC8fB0dDwKly71fPq9W0tfauT1v0PqIil8DV-fT9upqfE-Oge3FzsfrZ1b5gzWAcLVUge_nfqqcud5k60p3HWU3JkcXJ5iNrL9GZBHmxS2d2vMN5NhT1H8YjdJGYZEuG7GGtH9lBUCPOf--NPR5LSf7yHE87qM7nuHAk3LItz9rN8FQL-EAja-uXhCHvmFCR07QD0lA90-I4-D6Af1c8Bz8m1MAV_0J3zRDb6oxRfdwhcN-KIWX7RrqaRb-KLb-KI9vl6Qr8dHF4cnkVfriJosE6vIoBJDwxJjVNpkSSEl11muSilklimBrr5JdJyKpjAxZ1LkrOY6NQpCXl3HMntJ9tqu1a8Ixb1pJbjKpeG5KU2dKVjWy1g2qqwhgD0gWRjCqvGt7PFHzqvAWZxVbuArHPjKUjf5AYn6u65dK5d73s-CdSofjrowswJA3XPnh2DMCrw1bsHJVnc3ywrW_3nJsUfh639--hvycPNnekv2Vosb_Y48aNar6XLx3qPzDlWQwtk |
| 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=A+new+probabilistic+constraint+logic+programming+language+based+on+a+generalised+distribution+semantics&rft.jtitle=Artificial+intelligence&rft.au=Michels%2C+Steffen&rft.au=Hommersom%2C+Arjen&rft.au=Lucas%2C+Peter+J.F.&rft.au=Velikova%2C+Marina&rft.date=2015-11-01&rft.pub=Elsevier+B.V&rft.issn=0004-3702&rft.eissn=1872-7921&rft.volume=228&rft.spage=1&rft.epage=44&rft_id=info:doi/10.1016%2Fj.artint.2015.06.008&rft.externalDocID=S0004370215001009 |
| 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 |