{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:20:37Z","timestamp":1768908037326,"version":"3.49.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s11704-024-40085-7","type":"journal-article","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T08:01:18Z","timestamp":1719820878000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ABLkit: a Python toolkit for abductive learning"],"prefix":"10.1007","volume":"18","author":[{"given":"Yu-Xuan","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen-Chao","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"En-Hao","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,1]]},"reference":[{"issue":"7","key":"40085_CR1","doi-asserted-by":"publisher","first-page":"76101","DOI":"10.1007\/s11432-018-9801-4","volume":"62","author":"Z H Zhou","year":"2019","unstructured":"Zhou Z H. Abductive learning: towards bridging machine learning and logical reasoning. Science China Information Sciences, 2019, 62(7): 76101","journal-title":"Science China Information Sciences"},{"key":"40085_CR2","first-page":"353","volume-title":"Neuro-Symbolic Artificial Intelligence: The State of the Art","author":"Z H Zhou","year":"2022","unstructured":"Zhou Z H, Huang Y X. Abductive learning. In: Hitzler P, Sarker M K, eds. Neuro-Symbolic Artificial Intelligence: The State of the Art. Amsterdam: IOS Press, 2022, 353\u2013369"},{"issue":"85","key":"40085_CR3","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 \u00c9. cdkitllarrn: machine learning in python. Journal of Machine Learning Research, 2011, 12(85): 2825\u20132830","journal-title":"Journal of Machine Learning Research"},{"key":"40085_CR4","first-page":"8024","volume":"32","author":"A Paszke","year":"2019","unstructured":"Paszke A, Gross S, Massa F, Lerer A, Bradbury J, Chanan G, Killeen T, Lin Z, Gimelshein N, Antiga L, Desmaison A, K\u00f6pf A, Yang E, DeVito Z, Raison M, Tejani A, Chilamkurthy S, Steiner B, Fang L, Bai J, Chintala S. PyTorch: an imperative style, high-performance deep learning library. In: Advances in Neural Information Processing Systems 32. 2019, 8024\u20138035","journal-title":"Advances in Neural Information Processing Systems"},{"issue":"1\u20132","key":"40085_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker J, Schrijvers T, Triska M, Lager T. SWI-prolog. Theory and Practice of Logic Programming, 2012, 12(1\u20132): 67\u201396","journal-title":"Theory and Practice of Logic Programming"},{"issue":"10","key":"40085_CR6","doi-asserted-by":"publisher","first-page":"207101","DOI":"10.1007\/s11432-021-3416-y","volume":"65","author":"Y R Liu","year":"2022","unstructured":"Liu Y R, Hu Y Q, Qian H, Qian C, Yu Y. ZOOpt: a toolbox for derivative-free optimization. Science China Information Sciences, 2022, 65(10): 207101","journal-title":"Science China Information Sciences"},{"key":"40085_CR7","first-page":"3753","volume":"31","author":"R Manhaeve","year":"2018","unstructured":"Manhaeve R, Dumancic S, Kimmig A, Demeester T, De Raedt L. DeepProblog: neural probabilistic logic programming. In: Advances in Neural Information Processing Systems 31. 2018, 3753\u20133763","journal-title":"Advances in Neural Information Processing Systems"},{"key":"40085_CR8","doi-asserted-by":"crossref","unstructured":"Winters T, Marra G, Manhaeve R, De Raedt L. DeepStochLog: neural stochastic logic programming. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. 2022, 10090\u201310100","DOI":"10.1609\/aaai.v36i9.21248"},{"key":"40085_CR9","unstructured":"Li Q, Huang S, Hong Y, Chen Y, Wu Y N, Zhu S C. Closed loop neural-symbolic learning via integrating neural perception, grammar parsing, and symbolic reasoning. In: Proceedings of the 37th International Conference on Machine Learning. 2020, 5884\u20135894"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-024-40085-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-024-40085-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-024-40085-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T20:33:07Z","timestamp":1768854787000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-024-40085-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,1]]},"references-count":9,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["40085"],"URL":"https:\/\/doi.org\/10.1007\/s11704-024-40085-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,1]]},"assertion":[{"value":"19 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Competing interests\n                      The authors declare that they have no competing interests or financial conflicts to disclose.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}],"article-number":"186354"}}