{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:42:07Z","timestamp":1740109327822,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T00:00:00Z","timestamp":1637280000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T00:00:00Z","timestamp":1637280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10115-021-01620-1","type":"journal-article","created":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T21:02:31Z","timestamp":1637355751000},"page":"3183-3215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Pruning strategies for the efficient traversal of the search space in PILP environments"],"prefix":"10.1007","volume":"63","author":[{"given":"Joana","family":"C\u00f4rte-Real","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3578-7769","authenticated-orcid":false,"given":"In\u00eas","family":"Dutra","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,19]]},"reference":[{"key":"1620_CR1","doi-asserted-by":"crossref","unstructured":"Bellodi E, Riguzzi F ( 2012) , Learning the structure of probabilistic logic programs. In: Inductive logic programming, Springer, pp\u00a061\u201375","DOI":"10.1007\/978-3-642-31951-8_10"},{"issue":"02","key":"1620_CR2","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1017\/S1471068413000689","volume":"15","author":"E Bellodi","year":"2015","unstructured":"Bellodi E, Riguzzi F (2015) Structure learning of probabilistic logic programs by searching the clause space. Theory Pract Logic Program 15(02):169\u2013212","journal-title":"Theory Pract Logic Program"},{"issue":"5","key":"1620_CR3","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1148\/radiographics.16.5.8888394","volume":"16","author":"WA Berg","year":"1996","unstructured":"Berg WA, Hruban RH, Kumar D, Singh HR, Brem RF, Gatewood OM (1996) Lessons from mammographic histopathologic correlation of large-core needle breast biopsy. Radiographics 16(5):1111\u20131130","journal-title":"Radiographics"},{"issue":"4","key":"1620_CR4","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/j.breast.2011.10.008","volume":"21","author":"B Brancato","year":"2012","unstructured":"Brancato B, Crocetti E, Bianchi S, Catarzi S, Risso GG, Bulgaresi P, Piscioli F, Scialpi M, Ciatto S, Houssami N (2012) Accuracy of needle biopsy of breast lesions visible on ultrasound: audit of fine needle versus core needle biopsy in 3233 consecutive samplings with ascertained outcomes. Breast 21(4):449\u2013454","journal-title":"Breast"},{"issue":"11","key":"1620_CR5","first-page":"988","volume":"63","author":"F Burbank","year":"1997","unstructured":"Burbank F (1997) Stereotactic breast biopsy: comparison of 14- and 11-gauge mammotome probe performance and complication rates. Am Surg 63(11):988\u2013995","journal-title":"Am Surg"},{"key":"1620_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/0470073047","volume-title":"Mining graph data","author":"D Cook","year":"2006","unstructured":"Cook D, Holder L (2006) Mining graph data. Wiley, London"},{"key":"1620_CR7","unstructured":"C\u00f4rte-Real J, Dries A, Dutra I, Rocha R ( 2018) Improving candidate quality of probabilistic logic models. In: dal Pal\u00f9 A, Tarau P (eds) Technical communications of the 34th international conference on logic programming (ICLP 2018), Oxford, UK"},{"key":"1620_CR8","doi-asserted-by":"crossref","unstructured":"C\u00f4rte-Real J, Dutra I, Rocha R (2016) Estimation-based search space traversal in PILP environments. In: Russo A, Cussens J (eds) Proceedings of the 26th international conference on inductive logic programming (ILP 2016), LNAI, Springer, London, UK. Published in 2017","DOI":"10.1007\/978-3-319-63342-8_1"},{"key":"1620_CR9","doi-asserted-by":"crossref","unstructured":"C\u00f4rte-Real J, Mantadelis T, Dutra I, Rocha R, Burnside E (2015) SkILL: a stochastic inductive logic learner. In: International conference on machine learning and applications, Miami, Florida, USA","DOI":"10.1109\/ICMLA.2015.159"},{"issue":"1 & 2","key":"1620_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068411000512","volume":"12","author":"VS Costa","year":"2012","unstructured":"Costa VS, Rocha R, Damas L (2012) The YAP prolog system. J Theory Pract Logic Program 12(1 & 2):5\u201334","journal-title":"J Theory Pract Logic Program"},{"key":"1620_CR11","unstructured":"De Raedt L, Dries A, Thon I, Van den Broeck G, Verbeke M ( 2015) Inducing probabilistic relational rules from probabilistic examples. In: International joint conference on artificial intelligence, AAAI Press, pp\u00a01835\u20131843"},{"key":"1620_CR12","doi-asserted-by":"crossref","unstructured":"De Raedt L, Kersting K ( 2004) Probabilistic inductive logic programming. In: International conference on algorithmic learning theory. Springer, Berlin, pp 19\u201336","DOI":"10.1007\/978-3-540-30215-5_3"},{"key":"1620_CR13","doi-asserted-by":"crossref","unstructured":"De Raedt L, Kimmig A (2015) Probabilistic (logic) programming concepts. Mach Learn 100(1):5\u201347","DOI":"10.1007\/s10994-015-5494-z"},{"key":"1620_CR14","doi-asserted-by":"crossref","unstructured":"De Raedt L, Thon I ( 2011) Probabilistic rule learning. In: Inductive logic programming. Springer, pp\u00a047\u201358","DOI":"10.1007\/978-3-642-21295-6_9"},{"key":"1620_CR15","volume-title":"Relational data mining","author":"S D\u017eeroski","year":"2010","unstructured":"D\u017eeroski S (2010) Relational data mining. Springer, Berlin"},{"issue":"1\u20132","key":"1620_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1007694015589","volume":"43","author":"S D\u017eeroski","year":"2001","unstructured":"D\u017eeroski S, De Raedt L, Driessens K (2001) Relational reinforcement learning. Mach Learn 43(1\u20132):7\u201352","journal-title":"Mach Learn"},{"issue":"7","key":"1620_CR17","first-page":"123","volume":"33","author":"AV Gon\u00e7alves","year":"2011","unstructured":"Gon\u00e7alves AV, Thuler LC, Kestelman FP, Carmo PA, Lima CF, Cipolotti R (2011) Underestimation of malignancy of core needle biopsy for nonpalpable breast lesions. Rev Bras Ginecol Obstet 33(7):123\u2013131","journal-title":"Rev Bras Ginecol Obstet"},{"issue":"3","key":"1620_CR18","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J Halpern","year":"1990","unstructured":"Halpern J (1990) An analysis of first-order logics of probability. Artif Intell 46(3):311\u2013350","journal-title":"Artif Intell"},{"key":"1620_CR19","unstructured":"Kersting K, De Raedt L, Kramer S ( 2000) Interpreting Bayesian logic programs. In: AAAI workshop on learning statistical models from relational data, pp\u00a029\u201335"},{"issue":"2 & 3","key":"1620_CR20","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1017\/S1471068410000566","volume":"11","author":"A Kimmig","year":"2011","unstructured":"Kimmig A, Demoen B, Raedt LD, Costa VS, Rocha R (2011) On the implementation of the probabilistic logic programming language ProbLog. Theory Pract Logic Program 11(2 & 3):235\u2013262","journal-title":"Theory Pract Logic Program"},{"key":"1620_CR21","doi-asserted-by":"crossref","unstructured":"Kok S, Domingos P ( 2005) Learning the structure of Markov logic networks. In: International conference on machine learning. ACM, pp\u00a0441\u2013448","DOI":"10.1145\/1102351.1102407"},{"issue":"5","key":"1620_CR22","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.2214\/ajr.174.5.1741191","volume":"174","author":"L Liberman","year":"2000","unstructured":"Liberman L (2000) Percutaneous imaging-guided core breast biopsy: state of the art at the millennium. Am J Roentgenol 174(5):1191\u20131199","journal-title":"Am J Roentgenol"},{"issue":"12","key":"1620_CR23","doi-asserted-by":"publisher","first-page":"2538","DOI":"10.1002\/1097-0142(20001215)89:12<2538::AID-CNCR4>3.0.CO;2-#","volume":"89","author":"L Liberman","year":"2000","unstructured":"Liberman L, Drotman M, Morris EA et al (2000) Imaging-histologic discordance at percutaneous breast biopsy. Cancer 89(12):2538\u20132546","journal-title":"Cancer"},{"key":"1620_CR24","first-page":"254","volume":"32","author":"S Muggleton","year":"1996","unstructured":"Muggleton S (1996) Stochastic logic programs. Adv Inductive Logic Program 32:254\u2013264","journal-title":"Adv Inductive Logic Program"},{"issue":"20","key":"1620_CR25","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton S, Raedt LD (1994) Inductive logic programming: theory and methods. J Log Program 19(20):629\u2013679","journal-title":"J Log Program"},{"key":"1620_CR26","doi-asserted-by":"crossref","unstructured":"Muggleton S, Santos J, Almeida C, Tamaddoni-Nezhad A ( 2008) TopLog: ILP using a logic program declarative bias. In: International conference on logic programming, Springer, Berlin, pp\u00a0687\u2013692","DOI":"10.1007\/978-3-540-89982-2_58"},{"key":"1620_CR27","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa F, Varoquaux G, Gramfort A, Michel V, Thirion B, Grisel O, Blondel M, Prettenhofer P, Weiss R, Dubourg V, Vanderplas J, Passos A, Cournapeau D, Brucher M, Perrot M, Duchesnay E (2011) Scikit-learn: machine learning in python. J Mach Learn Res 12:2825\u20132830","journal-title":"J Mach Learn Res"},{"issue":"1","key":"1620_CR28","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole D (1997) The independent choice logic for modelling multiple agents under uncertainty. Artif Intell 94(1):7\u201356","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"1620_CR29","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson M, Domingos P (2006) Markov logic networks. Mach Learn 62(1\u20132):107\u2013136","journal-title":"Mach Learn"},{"key":"1620_CR30","unstructured":"Santos Costa V, Page D, Qazi M, Cussens J ( 2002) CLP(BN): constraint logic programming for probabilistic knowledge. In: Conference on uncertainty in artificial intelligence, pp\u00a0517\u2013524"},{"key":"1620_CR31","doi-asserted-by":"crossref","unstructured":"Sato T (1995) A statistical learning method for logic programs with distribution semantics. In: Proceedings of the 12th international conference on logic programming (ICLP 95), Citeseer","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"1620_CR32","unstructured":"Sato T, Kameya Y ( 1997) PRISM: A language for symbolic-statistical modeling. In: International joint conference on artificial intelligence, vol\u00a097, Morgan Kaufmann, pp\u00a01330\u20131339"},{"key":"1620_CR33","doi-asserted-by":"crossref","unstructured":"Vennekens J, Verbaeten S, Bruynooghe M (2004) Logic programs with annotated disjunctions. In: Logic programming. Springer, pp\u00a0431\u2013445","DOI":"10.1007\/978-3-540-27775-0_30"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-021-01620-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10115-021-01620-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-021-01620-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T18:19:24Z","timestamp":1726165164000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10115-021-01620-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,19]]},"references-count":33,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["1620"],"URL":"https:\/\/doi.org\/10.1007\/s10115-021-01620-1","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"type":"print","value":"0219-1377"},{"type":"electronic","value":"0219-3116"}],"subject":[],"published":{"date-parts":[[2021,11,19]]},"assertion":[{"value":"23 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 October 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}