Lifted discriminative learning of probabilistic logic programs
Probabilistic logic programming (PLP) provides a powerful tool for reasoning with uncertain relational models. However, learning probabilistic logic programs is expensive due to the high cost of inference. Among the proposals to overcome this problem, one of the most promising is lifted inference. I...
Saved in:
| Published in: | Machine learning Vol. 108; no. 7; pp. 1111 - 1135 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York
Springer US
01.07.2019
Springer Nature B.V |
| Subjects: | |
| ISSN: | 0885-6125, 1573-0565 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Probabilistic logic programming (PLP) provides a powerful tool for reasoning with uncertain relational models. However, learning probabilistic logic programs is expensive due to the high cost of inference. Among the proposals to overcome this problem, one of the most promising is lifted inference. In this paper we consider PLP models that are amenable to lifted inference and present an algorithm for performing parameter and structure learning of these models from positive and negative examples. We discuss parameter learning with EM and LBFGS and structure learning with LIFTCOVER, an algorithm similar to SLIPCOVER. The results of the comparison of LIFTCOVER with SLIPCOVER on 12 datasets show that it can achieve solutions of similar or better quality in a fraction of the time. |
|---|---|
| AbstractList | Probabilistic logic programming (PLP) provides a powerful tool for reasoning with uncertain relational models. However, learning probabilistic logic programs is expensive due to the high cost of inference. Among the proposals to overcome this problem, one of the most promising is lifted inference. In this paper we consider PLP models that are amenable to lifted inference and present an algorithm for performing parameter and structure learning of these models from positive and negative examples. We discuss parameter learning with EM and LBFGS and structure learning with LIFTCOVER, an algorithm similar to SLIPCOVER. The results of the comparison of LIFTCOVER with SLIPCOVER on 12 datasets show that it can achieve solutions of similar or better quality in a fraction of the time. |
| Author | Riguzzi, Fabrizio Nguembang Fadja, Arnaud |
| Author_xml | – sequence: 1 givenname: Arnaud orcidid: 0000-0003-3352-5260 surname: Nguembang Fadja fullname: Nguembang Fadja, Arnaud organization: Dipartimento di Ingegneria, University of Ferrara – sequence: 2 givenname: Fabrizio orcidid: 0000-0003-1654-9703 surname: Riguzzi fullname: Riguzzi, Fabrizio email: fabrizio.riguzzi@unife.it organization: Dipartimento di Matematica e Informatica, University of Ferrara |
| BookMark | eNp9kE1LAzEURYNUsK3-AHcDrqMvmUky2QhS_IKCG12HTD6GlGmmJlPBf29KBUHQzQs87slNzgLN4hgdQpcErgmAuMkEpGwwkBYzwQDDCZoTJmoMjLMZmkPbMswJZWdokfMGAChv-RzdroOfnK1syCaFbYh6Ch-uGpxOMcS-Gn21S2OnuzCEPAVTDWNfZtn1SW_zOTr1esju4vtcoreH-9fVE16_PD6v7tbY1ExO2FLb0aYDC7XxTedAOM6FFr6ljhCr207WwrYgbd0Rbg1xhMoafGMcM56beomujveW4ve9y5PajPsUS6WiIIEQxiQtKXJMmTTmnJxXu_InnT4VAXXQpI6aVNGkDpoUFEb8YkyYioQxTkmH4V-SHslcWmLv0s-b_oa-AGh4foM |
| CitedBy_id | crossref_primary_10_1007_s10994_020_05911_6 crossref_primary_10_1007_s10994_021_06016_4 crossref_primary_10_1016_j_ijar_2023_109040 crossref_primary_10_1145_3447581 crossref_primary_10_1007_s10994_023_06320_1 crossref_primary_10_1016_j_knosys_2025_113906 crossref_primary_10_1007_s11517_022_02674_1 crossref_primary_10_1016_j_ijar_2025_109497 |
| Cites_doi | 10.1002/spe.2386 10.1017/S0269888900006147 10.1017/S1471068411000494 10.1007/BF03037227 10.3233/IA-170105 10.1007/s10994-015-5494-z 10.1111/j.2517-6161.1977.tb01600.x 10.1017/S1471068414000283 10.1016/S0004-3702(97)00027-1 10.1016/j.patrec.2005.10.010 10.1093/bioinformatics/btr698 10.1137/0208032 10.1016/0004-3702(95)00122-0 10.1007/s10994-015-5532-x 10.1090/S0025-5718-1980-0572855-7 10.1613/jair.3793 10.1017/S1471068412000245 10.1016/j.ijar.2016.10.002 10.1007/s10994-015-5510-3 10.1613/jair.989 10.1016/j.ijar.2016.05.005 10.1016/S0743-1066(99)00071-0 10.1017/S1471068413000677 10.1007/s10994-006-7733-9 10.1007/s10994-012-5289-4 10.3233/IDA-130582 10.1006/jagm.1997.0913 10.1007/978-3-319-69775-8_5 10.1613/jair.305 10.1007/BF00117105 10.1017/S1471068413000689 10.1093/comjnl/bxt096 10.1007/s10994-011-5244-9 10.1093/bjps/XI.44.305 10.1017/S147106841100010X 10.1109/ICMLA.2009.134 10.1016/B978-1-55860-335-6.50024-6 10.1145/1143844.1143874 10.1109/ICDM.2011.87 10.1145/116825.116838 10.1007/978-3-642-31951-8_10 10.7551/mitpress/4298.003.0069 10.1145/1273496.1273575 10.1145/1390156.1390209 10.1145/2661829.2662022 10.1007/11871842_79 10.1007/978-3-540-30549-1_95 10.1007/978-3-642-13840-9_10 10.1145/1102351.1102407 10.1007/978-3-642-23783-6_6 10.1007/3540635149_56 |
| ContentType | Journal Article |
| Copyright | The Author(s) 2018 Machine Learning is a copyright of Springer, (2018). All Rights Reserved. |
| Copyright_xml | – notice: The Author(s) 2018 – notice: Machine Learning is a copyright of Springer, (2018). All Rights Reserved. |
| DBID | AAYXX CITATION 3V. 7SC 7XB 88I 8AL 8AO 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N M2P P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1007/s10994-018-5750-0 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Science Database (Alumni Edition) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials Local Electronic Collection Information ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Science Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Science Journals (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1573-0565 |
| EndPage | 1135 |
| ExternalDocumentID | 10_1007_s10994_018_5750_0 |
| GrantInformation_xml | – fundername: GNCS-INDAM – fundername: Regione Emilia Romagna grantid: the Piano triennale alte competenze - POR FSE 2014/2020 Obiettivo tematico 10 |
| GroupedDBID | -4Z -59 -5G -BR -EM -~C -~X .4S .86 .DC .VR 06D 0R~ 0VY 199 1N0 203 29M 2J2 2JN 2JY 2KG 2KM 2LR 2~H 30V 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 78A 88I 8AO 8FE 8FG 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTV ABHLI ABHQN ABIVO ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABUWG ABWNU ABXPI ACAOD ACDTI ACGFS ACGOD ACHSB ACHXU ACKNC ACMDZ ACMLO ACNCT ACOKC ACOMO ACPIV ACZOJ ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CCPQU CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GXS HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITG ITH ITM IWAJR IXC IZIGR IZQ I~X I~Y I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV LAK LLZTM M0N M2P M4Y MA- N9A NB0 NPVJJ NQJWS NU0 O93 O9G O9I O9J OAM P19 P2P P62 P9O PF- PQQKQ PROAC PT4 Q2X QF4 QM1 QN7 QO4 QOK QOS R89 R9I RHV RNS ROL RPX RSV S16 S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TAE TN5 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX VC2 W23 W48 WH7 WIP WK8 YLTOR Z45 Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z83 Z85 Z86 Z87 Z88 Z8M Z8N Z8O Z8P Z8Q Z8R Z8S Z8T Z8U Z8W Z8Z Z91 Z92 ZMTXR -Y2 1SB 2.D 28- 2P1 2VQ 5QI 6TJ AAEWM AAOBN AAPKM AARHV AAYTO AAYXX ABBRH ABDBE ABFSG ABQSL ABRTQ ABULA ACBXY ACSTC ADHKG ADKFA AEBTG AEFIE AEKMD AEZWR AFDZB AFEXP AFFHD AFGCZ AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP AJBLW AMVHM ATHPR AYFIA BBWZM CAG CITATION COF H13 KOW MVM N2Q NDZJH O9- OVD PHGZM PHGZT PQGLB R4E RNI RZC RZE S1Z S26 S28 SCJ SCLPG T16 TEORI UZXMN VFIZW 3V. 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c359t-d2db24b0d03cf4be07e667a7f82e11da8b937d809d3b16dc1e12930f4ce5cf6c3 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 10 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000470684600004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0885-6125 |
| IngestDate | Tue Nov 04 22:25:53 EST 2025 Sat Nov 29 01:43:27 EST 2025 Tue Nov 18 21:30:37 EST 2025 Fri Feb 21 02:28:47 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 7 |
| Keywords | Expectation maximization Lifted inference Probabilistic inductive logic programming Statistical relational learning Probabilistic logic programming |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c359t-d2db24b0d03cf4be07e667a7f82e11da8b937d809d3b16dc1e12930f4ce5cf6c3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0003-1654-9703 0000-0003-3352-5260 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007/s10994-018-5750-0.pdf |
| PQID | 2090115592 |
| PQPubID | 54194 |
| PageCount | 25 |
| ParticipantIDs | proquest_journals_2090115592 crossref_primary_10_1007_s10994_018_5750_0 crossref_citationtrail_10_1007_s10994_018_5750_0 springer_journals_10_1007_s10994_018_5750_0 |
| PublicationCentury | 2000 |
| PublicationDate | 2019-07-01 |
| PublicationDateYYYYMMDD | 2019-07-01 |
| PublicationDate_xml | – month: 07 year: 2019 text: 2019-07-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York – name: Dordrecht |
| PublicationTitle | Machine learning |
| PublicationTitleAbbrev | Mach Learn |
| PublicationYear | 2019 |
| Publisher | Springer US Springer Nature B.V |
| Publisher_xml | – name: Springer US – name: Springer Nature B.V |
| References | De Raedt, Kimmig (CR8) 2015; 100 Fawcett (CR12) 2006; 27 Nguembang Fadja, Riguzzi, Holzinger, Goebel, Ferri, Palade (CR36) 2017 Darwiche, Marquis (CR6) 2002; 17 CR37 Di Mauro, Bellodi, Riguzzi (CR11) 2015; 100 Good (CR13) 1961; 11 CR35 CR33 CR30 CR73 Hoos, Stützle (CR16) 2004 Koller, Friedman (CR26) 2009 Pearl (CR39) 1988 CR71 Riguzzi, Bellodi, Lamma, Zese, Cota (CR49) 2016; 46 Quinlan (CR43) 1990; 5 Van Haaren, Van den Broeck, Meert, Davis (CR64) 2016; 103 CR2 Van Gelder, Ross, Schlipf (CR63) 1991; 38 CR7 Bellodi, Riguzzi (CR4) 2015; 15 Zhang, Poole (CR74) 1996; 5 CR9 Wellman, Breese, Goldman (CR69) 1992; 7 CR44 Dempster, Laird, Rubin (CR10) 1977; 39 Alberti, Bellodi, Cota, Riguzzi, Zese (CR1) 2017; 11 Natarajan, Khot, Kersting, Gutmann, Shavlik (CR34) 2012; 86 Meert, Struyf, Blockeel (CR28) 2008; 89 Sato, Kubota (CR54) 2015; 15 Srinivasan, Muggleton, Sternberg, King (CR57) 1996; 85 CR19 CR18 Muggleton (CR32) 1995; 13 CR17 CR59 CR58 CR56 CR53 CR52 CR51 Bellodi, Riguzzi (CR3) 2013; 17 Riguzzi, Swift, Kifer, Liu (CR48) 2018 Poole (CR41) 2000; 44 Schulte, Khosravi (CR55) 2012; 88 Wielemaker, Schrijvers, Triska, Lager (CR70) 2012; 12 Bellodi, Lamma, Riguzzi, Costa, Zese (CR5) 2014; 14 Nocedal (CR38) 1980; 35 Riguzzi, Bellodi, Zese, Cota, Lamma (CR50) 2017; 80 Železný, Srinivasan, Page (CR72) 2006; 64 Poole (CR40) 1997; 94 CR29 CR27 CR25 Poole (CR42) 2003; 3 Valiant (CR61) 1979; 8 CR24 Riguzzi, Swift (CR47) 2011; 11 CR68 CR23 CR67 CR22 CR66 CR21 CR65 CR20 Mørk, Holmes (CR31) 2012; 28 CR62 Riguzzi (CR46) 2016; 77 Gorlin, Ramakrishnan, Smolka (CR15) 2012; 12 Gordon (CR14) 1998; 27 Riguzzi (CR45) 2014; 57 Taghipour, Fierens, Davis, Blockeel (CR60) 2013; 47 A Srinivasan (5750_CR57) 1996; 85 A Darwiche (5750_CR6) 2002; 17 F Riguzzi (5750_CR45) 2014; 57 O Schulte (5750_CR55) 2012; 88 5750_CR44 D Poole (5750_CR40) 1997; 94 F Riguzzi (5750_CR50) 2017; 80 F Riguzzi (5750_CR48) 2018 M Alberti (5750_CR1) 2017; 11 LG Valiant (5750_CR61) 1979; 8 E Bellodi (5750_CR4) 2015; 15 J Wielemaker (5750_CR70) 2012; 12 AP Dempster (5750_CR10) 1977; 39 F Riguzzi (5750_CR47) 2011; 11 5750_CR33 5750_CR35 F Železný (5750_CR72) 2006; 64 5750_CR37 D Koller (5750_CR26) 2009 S Muggleton (5750_CR32) 1995; 13 5750_CR71 5750_CR73 5750_CR30 MP Wellman (5750_CR69) 1992; 7 E Bellodi (5750_CR5) 2014; 14 F Riguzzi (5750_CR46) 2016; 77 N Taghipour (5750_CR60) 2013; 47 DM Gordon (5750_CR14) 1998; 27 5750_CR29 JR Quinlan (5750_CR43) 1990; 5 W Meert (5750_CR28) 2008; 89 D Poole (5750_CR41) 2000; 44 5750_CR21 5750_CR65 5750_CR22 A Nguembang Fadja (5750_CR36) 2017 5750_CR66 5750_CR23 5750_CR67 5750_CR24 5750_CR68 5750_CR25 5750_CR27 F Riguzzi (5750_CR49) 2016; 46 5750_CR62 5750_CR20 D Poole (5750_CR42) 2003; 3 L Raedt De (5750_CR8) 2015; 100 T Fawcett (5750_CR12) 2006; 27 J Nocedal (5750_CR38) 1980; 35 A Gorlin (5750_CR15) 2012; 12 IJ Good (5750_CR13) 1961; 11 T Sato (5750_CR54) 2015; 15 E Bellodi (5750_CR3) 2013; 17 5750_CR18 5750_CR19 S Natarajan (5750_CR34) 2012; 86 HH Hoos (5750_CR16) 2004 5750_CR56 NL Zhang (5750_CR74) 1996; 5 5750_CR58 5750_CR59 A Gelder Van (5750_CR63) 1991; 38 5750_CR17 5750_CR7 J Haaren Van (5750_CR64) 2016; 103 5750_CR51 5750_CR52 5750_CR2 N Mauro Di (5750_CR11) 2015; 100 5750_CR53 S Mørk (5750_CR31) 2012; 28 J Pearl (5750_CR39) 1988 5750_CR9 |
| References_xml | – ident: CR22 – ident: CR68 – volume: 46 start-page: 1381 issue: 10 year: 2016 end-page: 1396 ident: CR49 article-title: Probabilistic logic programming on the web publication-title: Software: Practice and Experience doi: 10.1002/spe.2386 – ident: CR51 – volume: 7 start-page: 35 issue: 1 year: 1992 end-page: 53 ident: CR69 article-title: From knowledge bases to decision models publication-title: The Knowledge Engineering Review doi: 10.1017/S0269888900006147 – volume: 12 start-page: 67 issue: 1–2 year: 2012 end-page: 96 ident: CR70 article-title: SWI-Prolog publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068411000494 – ident: CR35 – ident: CR29 – volume: 13 start-page: 245 year: 1995 end-page: 286 ident: CR32 article-title: Inverse entailment and Progol publication-title: New Generation Computing doi: 10.1007/BF03037227 – ident: CR58 – volume: 11 start-page: 47 issue: 1 year: 2017 end-page: 64 ident: CR1 article-title: cplint on SWISH: Probabilistic logical inference with a web browser publication-title: Intelligenza Artificiale doi: 10.3233/IA-170105 – volume: 100 start-page: 5 issue: 1 year: 2015 end-page: 47 ident: CR8 article-title: Probabilistic (logic) programming concepts publication-title: Machine Learning doi: 10.1007/s10994-015-5494-z – ident: CR25 – year: 2009 ident: CR26 publication-title: Probabilistic graphical models: Principles and techniques – ident: CR21 – ident: CR71 – volume: 39 start-page: 1 issue: 1 year: 1977 end-page: 38 ident: CR10 article-title: Maximum likelihood from incomplete data via the EM algorithm publication-title: Journal of the Royal Statistical Society Series B (Methodological) doi: 10.1111/j.2517-6161.1977.tb01600.x – ident: CR19 – volume: 14 start-page: 681 issue: 4–5 year: 2014 end-page: 695 ident: CR5 article-title: Lifted variable elimination for probabilistic logic programming publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068414000283 – volume: 94 start-page: 7 year: 1997 end-page: 56 ident: CR40 article-title: The independent choice logic for modelling multiple agents under uncertainty publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(97)00027-1 – ident: CR67 – volume: 27 start-page: 861 year: 2006 end-page: 874 ident: CR12 article-title: An introduction to ROC analysis publication-title: Pattern Recognition Letters doi: 10.1016/j.patrec.2005.10.010 – ident: CR9 – volume: 28 start-page: 636 issue: 5 year: 2012 end-page: 642 ident: CR31 article-title: Evaluating bacterial gene-finding hmm structures as probabilistic logic programs publication-title: Bioinformatics doi: 10.1093/bioinformatics/btr698 – volume: 8 start-page: 410 issue: 3 year: 1979 end-page: 421 ident: CR61 article-title: The complexity of enumeration and reliability problems publication-title: SIAM Journal on Computing doi: 10.1137/0208032 – volume: 38 start-page: 620 issue: 3 year: 1991 end-page: 650 ident: CR63 article-title: The well-founded semantics for general logic programs publication-title: Journal of the ACM – volume: 85 start-page: 277 issue: 1–2 year: 1996 end-page: 299 ident: CR57 article-title: Theories for mutagenicity: A study in first-order and feature-based induction publication-title: Artificial Intelligence doi: 10.1016/0004-3702(95)00122-0 – volume: 103 start-page: 27 issue: 1 year: 2016 end-page: 55 ident: CR64 article-title: Lifted generative learning of markov logic networks publication-title: Machine Learning doi: 10.1007/s10994-015-5532-x – volume: 35 start-page: 773 issue: 151 year: 1980 end-page: 782 ident: CR38 article-title: Updating quasi-Newton matrices with limited storage publication-title: Mathematics of Computation doi: 10.1090/S0025-5718-1980-0572855-7 – volume: 47 start-page: 393 year: 2013 end-page: 439 ident: CR60 article-title: Lifted variable elimination: Decoupling the operators from the constraint language publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.3793 – volume: 12 start-page: 681 issue: 4–5 year: 2012 end-page: 700 ident: CR15 article-title: Model checking with probabilistic tabled logic programming publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068412000245 – ident: CR18 – ident: CR66 – volume: 3 start-page: 985 year: 2003 end-page: 991 ident: CR42 article-title: First-order probabilistic inference publication-title: IJCAI – ident: CR2 – ident: CR37 – ident: CR53 – volume: 80 start-page: 313 year: 2017 end-page: 333 ident: CR50 article-title: A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics publication-title: International Journal of Approximate Reasoning doi: 10.1016/j.ijar.2016.10.002 – ident: CR30 – volume: 100 start-page: 127 issue: 1 year: 2015 end-page: 156 ident: CR11 article-title: Bandit-based Monte-Carlo structure learning of probabilistic logic programs publication-title: Machine Learning doi: 10.1007/s10994-015-5510-3 – volume: 17 start-page: 229 year: 2002 end-page: 264 ident: CR6 article-title: A knowledge compilation map publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.989 – ident: CR33 – volume: 77 start-page: 1 year: 2016 end-page: 19 ident: CR46 article-title: The distribution semantics for normal programs with function symbols publication-title: International Journal of Approximate Reasoning doi: 10.1016/j.ijar.2016.05.005 – volume: 44 start-page: 5 issue: 1–3 year: 2000 end-page: 35 ident: CR41 article-title: Abducing through negation as failure: Stable models within the independent choice logic publication-title: Journal of Logic Programming doi: 10.1016/S0743-1066(99)00071-0 – ident: CR56 – volume: 15 start-page: 147 issue: 02 year: 2015 end-page: 168 ident: CR54 article-title: Viterbi training in PRISM publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068413000677 – volume: 64 start-page: 183 issue: 1–3 year: 2006 end-page: 208 ident: CR72 article-title: Randomised restarted search in ILP publication-title: Machine Learning doi: 10.1007/s10994-006-7733-9 – volume: 88 start-page: 331 issue: 3 year: 2012 end-page: 368 ident: CR55 article-title: Learning graphical models for relational data via lattice search publication-title: Machine Learning doi: 10.1007/s10994-012-5289-4 – ident: CR27 – year: 2004 ident: CR16 publication-title: Stochastic local search: Foundations and applications – ident: CR23 – volume: 17 start-page: 343 issue: 2 year: 2013 end-page: 363 ident: CR3 article-title: Expectation maximization over binary decision diagrams for probabilistic logic programs publication-title: Intelligent Data Analysis doi: 10.3233/IDA-130582 – ident: CR44 – volume: 27 start-page: 129 issue: 1 year: 1998 end-page: 146 ident: CR14 article-title: A survey of fast exponentiation methods publication-title: Journal of Algorithms doi: 10.1006/jagm.1997.0913 – year: 2018 ident: CR48 article-title: Probabilistic logic programming under the distribution semantics publication-title: Declarative logic programming: Theory, systems, and applications – ident: CR73 – year: 2017 ident: CR36 article-title: Probabilistic logic programming in action publication-title: Towards integrative machine learning and knowledge extraction doi: 10.1007/978-3-319-69775-8_5 – ident: CR65 – volume: 5 start-page: 301 year: 1996 end-page: 328 ident: CR74 article-title: Exploiting causal independence in Bayesian network inference publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.305 – year: 1988 ident: CR39 publication-title: Probabilistic reasoning in intelligent systems: Networks of plausible inference – volume: 5 start-page: 239 year: 1990 end-page: 266 ident: CR43 article-title: Learning logical definitions from relations publication-title: Machine Learning doi: 10.1007/BF00117105 – ident: CR52 – ident: CR17 – volume: 89 start-page: 131 issue: 1 year: 2008 end-page: 160 ident: CR28 article-title: Learning ground CP-Logic theories by leveraging Bayesian network learning techniques publication-title: Fundamenta Informaticae – ident: CR7 – ident: CR59 – volume: 15 start-page: 169 issue: 2 year: 2015 end-page: 212 ident: CR4 article-title: Structure learning of probabilistic logic programs by searching the clause space publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068413000689 – volume: 57 start-page: 347 issue: 3 year: 2014 end-page: 363 ident: CR45 article-title: Speeding up inference for probabilistic logic programs publication-title: The Computer Journal doi: 10.1093/comjnl/bxt096 – volume: 86 start-page: 25 issue: 1 year: 2012 end-page: 56 ident: CR34 article-title: Gradient-based boosting for statistical relational learning: The relational dependency network case publication-title: Machine Learning doi: 10.1007/s10994-011-5244-9 – ident: CR62 – ident: CR24 – volume: 11 start-page: 305 issue: 44 year: 1961 end-page: 318 ident: CR13 article-title: A causal calculus (I) publication-title: The British journal for the philosophy of science doi: 10.1093/bjps/XI.44.305 – ident: CR20 – volume: 11 start-page: 433 issue: 4–5 year: 2011 end-page: 449 ident: CR47 article-title: The PITA system: Tabling and answer subsumption for reasoning under uncertainty publication-title: Theory and Practice of Logic Programming doi: 10.1017/S147106841100010X – volume: 5 start-page: 301 year: 1996 ident: 5750_CR74 publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.305 – ident: 5750_CR33 doi: 10.1109/ICMLA.2009.134 – volume: 57 start-page: 347 issue: 3 year: 2014 ident: 5750_CR45 publication-title: The Computer Journal doi: 10.1093/comjnl/bxt096 – volume-title: Towards integrative machine learning and knowledge extraction year: 2017 ident: 5750_CR36 doi: 10.1007/978-3-319-69775-8_5 – volume-title: Stochastic local search: Foundations and applications year: 2004 ident: 5750_CR16 – ident: 5750_CR22 doi: 10.1016/B978-1-55860-335-6.50024-6 – ident: 5750_CR23 – volume: 77 start-page: 1 year: 2016 ident: 5750_CR46 publication-title: International Journal of Approximate Reasoning doi: 10.1016/j.ijar.2016.05.005 – ident: 5750_CR65 – volume: 12 start-page: 681 issue: 4–5 year: 2012 ident: 5750_CR15 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068412000245 – volume: 17 start-page: 343 issue: 2 year: 2013 ident: 5750_CR3 publication-title: Intelligent Data Analysis doi: 10.3233/IDA-130582 – volume-title: Probabilistic reasoning in intelligent systems: Networks of plausible inference year: 1988 ident: 5750_CR39 – ident: 5750_CR7 doi: 10.1145/1143844.1143874 – volume: 8 start-page: 410 issue: 3 year: 1979 ident: 5750_CR61 publication-title: SIAM Journal on Computing doi: 10.1137/0208032 – ident: 5750_CR21 doi: 10.1109/ICDM.2011.87 – volume: 100 start-page: 5 issue: 1 year: 2015 ident: 5750_CR8 publication-title: Machine Learning doi: 10.1007/s10994-015-5494-z – ident: 5750_CR56 – volume: 85 start-page: 277 issue: 1–2 year: 1996 ident: 5750_CR57 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(95)00122-0 – volume: 38 start-page: 620 issue: 3 year: 1991 ident: 5750_CR63 publication-title: Journal of the ACM doi: 10.1145/116825.116838 – volume: 27 start-page: 129 issue: 1 year: 1998 ident: 5750_CR14 publication-title: Journal of Algorithms doi: 10.1006/jagm.1997.0913 – ident: 5750_CR37 – ident: 5750_CR71 – ident: 5750_CR2 doi: 10.1007/978-3-642-31951-8_10 – volume: 3 start-page: 985 year: 2003 ident: 5750_CR42 publication-title: IJCAI – ident: 5750_CR52 doi: 10.7551/mitpress/4298.003.0069 – volume: 44 start-page: 5 issue: 1–3 year: 2000 ident: 5750_CR41 publication-title: Journal of Logic Programming doi: 10.1016/S0743-1066(99)00071-0 – volume-title: Probabilistic graphical models: Principles and techniques year: 2009 ident: 5750_CR26 – volume: 86 start-page: 25 issue: 1 year: 2012 ident: 5750_CR34 publication-title: Machine Learning doi: 10.1007/s10994-011-5244-9 – ident: 5750_CR30 doi: 10.1145/1273496.1273575 – ident: 5750_CR17 doi: 10.1145/1390156.1390209 – volume: 46 start-page: 1381 issue: 10 year: 2016 ident: 5750_CR49 publication-title: Software: Practice and Experience doi: 10.1002/spe.2386 – ident: 5750_CR68 doi: 10.1145/2661829.2662022 – volume: 17 start-page: 229 year: 2002 ident: 5750_CR6 publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.989 – ident: 5750_CR9 – volume: 94 start-page: 7 year: 1997 ident: 5750_CR40 publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(97)00027-1 – ident: 5750_CR59 doi: 10.1007/11871842_79 – ident: 5750_CR44 doi: 10.1007/978-3-540-30549-1_95 – volume: 39 start-page: 1 issue: 1 year: 1977 ident: 5750_CR10 publication-title: Journal of the Royal Statistical Society Series B (Methodological) doi: 10.1111/j.2517-6161.1977.tb01600.x – volume: 7 start-page: 35 issue: 1 year: 1992 ident: 5750_CR69 publication-title: The Knowledge Engineering Review doi: 10.1017/S0269888900006147 – volume: 28 start-page: 636 issue: 5 year: 2012 ident: 5750_CR31 publication-title: Bioinformatics doi: 10.1093/bioinformatics/btr698 – ident: 5750_CR19 – ident: 5750_CR53 – volume: 5 start-page: 239 year: 1990 ident: 5750_CR43 publication-title: Machine Learning doi: 10.1007/BF00117105 – volume: 11 start-page: 305 issue: 44 year: 1961 ident: 5750_CR13 publication-title: The British journal for the philosophy of science doi: 10.1093/bjps/XI.44.305 – ident: 5750_CR29 doi: 10.1007/978-3-642-13840-9_10 – volume: 27 start-page: 861 year: 2006 ident: 5750_CR12 publication-title: Pattern Recognition Letters doi: 10.1016/j.patrec.2005.10.010 – ident: 5750_CR67 – volume: 14 start-page: 681 issue: 4–5 year: 2014 ident: 5750_CR5 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068414000283 – volume: 89 start-page: 131 issue: 1 year: 2008 ident: 5750_CR28 publication-title: Fundamenta Informaticae – volume: 12 start-page: 67 issue: 1–2 year: 2012 ident: 5750_CR70 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068411000494 – ident: 5750_CR25 – volume: 88 start-page: 331 issue: 3 year: 2012 ident: 5750_CR55 publication-title: Machine Learning doi: 10.1007/s10994-012-5289-4 – ident: 5750_CR24 doi: 10.1145/1102351.1102407 – volume-title: Declarative logic programming: Theory, systems, and applications year: 2018 ident: 5750_CR48 – volume: 80 start-page: 313 year: 2017 ident: 5750_CR50 publication-title: International Journal of Approximate Reasoning doi: 10.1016/j.ijar.2016.10.002 – volume: 35 start-page: 773 issue: 151 year: 1980 ident: 5750_CR38 publication-title: Mathematics of Computation doi: 10.1090/S0025-5718-1980-0572855-7 – ident: 5750_CR18 doi: 10.1007/978-3-642-23783-6_6 – ident: 5750_CR73 – ident: 5750_CR35 – volume: 15 start-page: 169 issue: 2 year: 2015 ident: 5750_CR4 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068413000689 – volume: 100 start-page: 127 issue: 1 year: 2015 ident: 5750_CR11 publication-title: Machine Learning doi: 10.1007/s10994-015-5510-3 – volume: 64 start-page: 183 issue: 1–3 year: 2006 ident: 5750_CR72 publication-title: Machine Learning doi: 10.1007/s10994-006-7733-9 – volume: 47 start-page: 393 year: 2013 ident: 5750_CR60 publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.3793 – ident: 5750_CR20 – ident: 5750_CR66 – ident: 5750_CR62 – ident: 5750_CR27 – ident: 5750_CR58 doi: 10.1007/3540635149_56 – ident: 5750_CR51 – volume: 103 start-page: 27 issue: 1 year: 2016 ident: 5750_CR64 publication-title: Machine Learning doi: 10.1007/s10994-015-5532-x – volume: 15 start-page: 147 issue: 02 year: 2015 ident: 5750_CR54 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068413000677 – volume: 11 start-page: 47 issue: 1 year: 2017 ident: 5750_CR1 publication-title: Intelligenza Artificiale doi: 10.3233/IA-170105 – volume: 13 start-page: 245 year: 1995 ident: 5750_CR32 publication-title: New Generation Computing doi: 10.1007/BF03037227 – volume: 11 start-page: 433 issue: 4–5 year: 2011 ident: 5750_CR47 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S147106841100010X |
| SSID | ssj0002686 |
| Score | 2.3646507 |
| Snippet | Probabilistic logic programming (PLP) provides a powerful tool for reasoning with uncertain relational models. However, learning probabilistic logic programs... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1111 |
| SubjectTerms | Algorithms Artificial Intelligence Computer Science Control Inference Logic programming Logic programs Machine learning Mathematical models Mechatronics Natural Language Processing (NLP) Parameters Robotics Simulation and Modeling Software Special Issue of the Inductive Logic Programming (ILP) |
| SummonAdditionalLinks | – databaseName: Computer Science Database dbid: K7- link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3LS8MwHA46PXhxPnG-yMGTEkjSpk0uiohDcAwPKruV5iUD2eY6_ftN0nRFwV08tw0lv9eX_B4fABeEaSwo1yhzloRSbkskdJ4ialJLpWSaBY6l10E-HPLRSDzFC7cqllU2PjE4aj1V_o7cHdJ9k6TDv_Rm9oE8a5TPrkYKjXWwQSglXs8fc7T0xDQLTI_OkBjykbzJatatc2EoLuHIARaM8M-41ILNX_nREHb63f_-8A7YjoAT3tYasgvWzGQPdBsyBxhtex9cD8bWoU_o23Rrqi_vCGFklXiDUws9-UwYyOtnO8PgNGGs76oOwEv__vnuAUVyBaQSJhZIUy1pKrHGibKpNDg3WZaXueXUEKJLLh1w0RwLnUiSaUWMRwbYpsowZTOVHILOZDoxRwCW1HKmiBTKmtSd56SWDqZZwRnXOaWiB3CztYWKk8c9AcZ70c5M9tIonDQKL40C98Dl8pNZPXZj1cunjQSKaIFV0W5_D1w1Mmwf_7nY8erFTsCWg0yiLtg9BZ3F_NOcgU31tRhX8_Ogft8UR99J priority: 102 providerName: ProQuest |
| Title | Lifted discriminative learning of probabilistic logic programs |
| URI | https://link.springer.com/article/10.1007/s10994-018-5750-0 https://www.proquest.com/docview/2090115592 |
| Volume | 108 |
| WOSCitedRecordID | wos000470684600004&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: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1573-0565 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002686 issn: 0885-6125 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB609eDF-sRqLTl4UgLZdLObXASVFsFalqpFvCyblxSklbb6-022u62KCnrJZZOwTDIz35CZ-QCOA6aJoFzjyGkSDrnNsNBxiKkJLZWSaZZzLA26ca_HHx5EUtRxT8ts9_JJMrfUH4rd8ja2AccOYhDs4vSq83bca2P_drAwvzTK6R2d9jDs3Xf5lPndFp-d0RJhfnkUzX1Np_avv9yEjQJaovP5XdiCFTPahlpJ24AKLd6Bs-7QOpyJfEHunNTLmzxU8Ec8obFFnmYmb73ruzij3DyiIpNrugv3nfbd5RUuaBSwajExw5pqSUNJNGkpG0pDYhNFcRZbTk0Q6IxLB1E0J0K3ZBBpFRiPAYgNlWHKRqq1B5XReGT2AWXUcqYCKZQ1oYvcpJYOkFnBGdcxpaIOpJRnqooe457q4jlddkf28kmdfFIvn5TU4WSx5GXeYOO3yY3ykNJC16YpJb581kVGtA6n5aEsP_-42cGfZh_CusNKYp6p24DKbPJqjmBNvc2G00kTqhftXtJvwup1jN14QxM3JuyxmV_Od9Bx2X8 |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1JSwMxFH64gV7cxbrmoBclkEmTmeSgImpRrKWHKuJlbDYRpFVbFf-Uv9FklhYFvXnwPDOBme8t35vkvQ9gK-KGSCoMjr0nYSZcG0uTMEwtc1QpbnimsXRVTxoNcX0tmyPwUfbChGOVZUzMArXp6vCP3BfpoUnS81968PiEg2pU2F0tJTRyszi372--ZOvtnR17fLcprZ20jk5xoSqAdZXLPjbUKMoUMaSqHVOWJDaOk3biBLVRZNpC-YxtBJGmqqLY6MiGlEgc05ZrF-uqX3cUxhnzxZL3nya_GUR-GmfKkt5xOQ7ModxFzVv1siG8kcCeIBFMvubBIbn9th-bpbnazH_7QLMwXRBqdJh7wByM2M48zJRiFaiIXQuwX793nl2j0IacS5mFQI8K1Yw71HUoiOtkA4fD7GqUJQVUnF_rLcLln7zFEox1uh27DKhNneA6UlI7y3y9qozyNNRJwYVJKJUVICWUqS4mqweBj4d0OBM6oJ969NOAfkoqsDN45DEfK_LbzWsl4mkRYXrpEO4K7JY2M7z842Irvy-2CZOnrYt6Wj9rnK_ClKeHMj-cvAZj_ecXuw4T-rV_33veyEwfwe1fm9InPms-fg |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8NAEB60injxLdbnHvSiLG622WT3oCLWorSUHlSKl9h9iSCttlXxr_nr3M3DomBvHjwnGUjm9U12Zj6A3YBpIijXOHKehENuO1joOMTUhJZKyTRLOZZuGnGzydtt0ZqAj2IWxrdVFjExDdS6p_w_clek-yFJh3_poc3bIlrV2snTM_YMUv6ktaDTyEykbt7fXPk2OLqsOl3vUVo7vzq7wDnDAFYVJoZYUy1pKIkmFWVDaUhsoijuxJZTEwS6w6XL3poToSsyiLQKjE-PxIbKMGUjVXFyJ2EqdjWmL_xa7PYrC9AoZZl0TsywRxHFiWo2tpcu5A04dmCJYPI9J46A7o-z2TTl1eb_88dagLkcaKPTzDMWYcJ0l2C-ILFAeUxbhuPGg3WoG_nx5IzizCcAlLNp3KOeRZ50J11E7HdaozRZoLyvbbAC13_yFqtQ6va6Zg1Qh1rOVCCFsiZ0dazU0sFTKzjjOqZUlIEUak1UvnHdE388JqNd0d4SEmcJibeEhJRh_-uRp2zdyLibNwvtJ3nkGSQj1ZfhoLCf0eVfha2PF7YDM86CksZls74Bsw41iqxneRNKw_6L2YJp9Tp8GPS3Uy9AcPfXlvQJmF5HUg |
| 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=Lifted+discriminative+learning+of+probabilistic+logic+programs&rft.jtitle=Machine+learning&rft.au=Nguembang+Fadja%2C+Arnaud&rft.au=Riguzzi%2C+Fabrizio&rft.date=2019-07-01&rft.pub=Springer+US&rft.issn=0885-6125&rft.eissn=1573-0565&rft.volume=108&rft.issue=7&rft.spage=1111&rft.epage=1135&rft_id=info:doi/10.1007%2Fs10994-018-5750-0&rft.externalDocID=10_1007_s10994_018_5750_0 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0885-6125&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0885-6125&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0885-6125&client=summon |