{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T12:50:33Z","timestamp":1780059033074,"version":"3.54.0"},"reference-count":117,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Neural Netw. Learning Syst."],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1109\/tnnls.2023.3246980","type":"journal-article","created":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T17:49:34Z","timestamp":1680716974000},"page":"10220-10236","source":"Crossref","is-referenced-by-count":13,"title":["A Critical Review of Inductive Logic Programming Techniques for Explainable AI"],"prefix":"10.1109","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1707-624X","authenticated-orcid":false,"given":"Zheng","family":"Zhang","sequence":"first","affiliation":[{"name":"Department of Computer Science and Software Engineering, Auburn University, Auburn, AL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5082-3908","authenticated-orcid":false,"given":"Levent","family":"Yilmaz","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, Auburn University, Auburn, AL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2519-6196","authenticated-orcid":false,"given":"Bo","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Auburn University, Auburn, AL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2870052"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2019.12.012"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3301275.3308446"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-019-05856-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/info11030167"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.13507"},{"key":"ref7","article-title":"Inductive programming as approach to comprehensible machine learning","volume-title":"Proc. 7th Workshop Dyn. Knowl. Belief 6th workshop KI Kognition 41st German Conf. Artif. Intell.","volume":"2194","author":"Schmid"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/287"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-013-5358-3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8_1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5714"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037089"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(75)90047-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4980-1_32"},{"key":"ref15","article-title":"Engineering expert system applications","volume-title":"Proc. Annu. Conf. BCS Spec. Group Expert Syst.","author":"Slocombe"},{"key":"ref16","first-page":"10","article-title":"News from brainware","volume":"1","author":"Hayes-Michie","year":"1990","journal-title":"Pragmatica"},{"key":"ref17","article-title":"Discovering rules from large collections of examples: A case study","volume-title":"Expert Systems in the Microelectronic Age","author":"Quinlan"},{"key":"ref18","volume-title":"Automatic methods of inductive inference","author":"Plotkin","year":"1972"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582185"},{"key":"ref20","first-page":"167","article-title":"Learning concepts by asking questions","volume-title":"Machine Learning: An Artificial Intelligence Approach","volume":"2","author":"Sammut"},{"key":"ref21","volume-title":"Learning Relations: Comparison of a Symbolic and a Connectionist Approach","author":"Quinlan","year":"1989"},{"key":"ref22","author":"Muggleton","year":"1990","journal-title":"Efficient Induction of Logic Programs"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-011-5259-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56602-3_131"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0"},{"key":"ref27","volume-title":"The Aleph Manual","author":"Srinivasan","year":"1999"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF00117105"},{"key":"ref29","volume-title":"Prolog Programming for Artificial Intelligence","author":"Bratko","year":"2001"},{"key":"ref30","volume-title":"Metagol System","author":"Cropper","year":"2016"},{"key":"ref31","volume-title":"First-Order Logic","author":"Smullyan","year":"1995"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-73839-6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"ref34","first-page":"175","article-title":"CLINT: A multi-strategy interactive concept-learner and theory revision system","volume-title":"Proc. Multi-Strategy Learn. Workshop","author":"De Raedt"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017020"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56602-3_127"},{"key":"ref38","first-page":"610","article-title":"Learning missing clauses by inverse resolution","volume-title":"Proc. FGCS","author":"Idestam-Almquist"},{"key":"ref39","first-page":"2462","article-title":"ProbLog: A probabilistic Prolog and its application in link discovery","volume-title":"Proc. IJCAI","volume":"7","author":"De Raedt"},{"key":"ref40","first-page":"3749","article-title":"DeepProbLog: Neural probabilistic logic programming","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"31","author":"Manhaeve"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-020-05934-z"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90112-0"},{"issue":"1","key":"ref43","first-page":"153","article-title":"A note on inductive generalization","volume":"5","author":"Plotkin","year":"1970","journal-title":"Mach. Intell."},{"key":"ref44","first-page":"1316","article-title":"Learning probabilities for noisy first-order rules","volume-title":"Proc. IJCAI","author":"Koller"},{"key":"ref45","first-page":"679","article-title":"Learning probabilistic models of link structure","volume":"3","author":"Getoor","year":"2003","journal-title":"J. Mach. Learn. Res."},{"key":"ref46","article-title":"Discriminative probabilistic models for relational data","author":"Taskar","year":"2012","journal-title":"arXiv:1301.0604"},{"key":"ref47","first-page":"340","article-title":"Structural learning in object oriented domains","volume-title":"Proc. 14th Florida Artif. Intell. Res. Soc. Conf.","author":"Langseth"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2004.10101"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30109-7_21"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"ref51","first-page":"1330","article-title":"PRISM: A language for symbolic-statistical modeling","volume-title":"Proc. IJCAI","volume":"97","author":"Sato"},{"key":"ref52","first-page":"254","article-title":"Stochastic logic programs","volume-title":"Advances in Inductive Logic Programming","volume":"32","author":"Muggleton"},{"key":"ref53","first-page":"11","article-title":"Hidden Markov model induction by Bayesian model merging","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Stolcke"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/775047.775068"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1675"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010924021315"},{"issue":"B","key":"ref57","first-page":"141","article-title":"Learning stochastic logic programs","volume":"4","author":"Muggleton","year":"2000","journal-title":"Electron. Trans. Artif. Intell."},{"key":"ref58","first-page":"490","article-title":"Yet more efficient EM learning for parameterized logic programs by inter-goal sharing","volume-title":"Proc. ECAI","volume":"16","author":"Kameya"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1613\/jair.912"},{"key":"ref60","first-page":"47","article-title":"Probabilistic rule learning","volume-title":"Proc. Int. Conf. Inductive Log. Program.","author":"De Raedt"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2505515.2505573"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31951-8_10"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000689"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23708-4_5"},{"key":"ref66","first-page":"1","article-title":"Learning higher-order logic programs","volume":"109","author":"Cropper","year":"2019","journal-title":"Mach. Learn."},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19570-0_13"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66158-2_44"},{"key":"ref69","first-page":"1","article-title":"Logical reduction of metarules","volume":"109","author":"Cropper","year":"2019","journal-title":"Mach. Learn."},{"key":"ref70","first-page":"990","article-title":"RobustFill: Neural program learning under noisy I\/O","volume-title":"Proc. 34th Int. Conf. Mach. Learn.","volume":"70","author":"Devlin"},{"key":"ref71","first-page":"547","article-title":"Programming with a differentiable forth interpreter","volume-title":"Proc. 34th Int. Conf. Mach. Learn.","volume":"70","author":"Bo\u0161njak"},{"key":"ref72","first-page":"3788","article-title":"End-to-end differentiable proving","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Rockt\u00e4schel"},{"key":"ref73","article-title":"Inductive logic programming via differentiable deep neural logic networks","author":"Payani","year":"2019","journal-title":"arXiv:1906.03523"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3659"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48751-4_1"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-008-5076-4"},{"key":"ref78","first-page":"266","article-title":"Relational Bayesian networks","volume-title":"Proc. 13th Conf. Uncertainty Artif. Intell.","author":"Jaeger"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7432.003.0008"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7432.003.0010"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90061-F"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7432.003.0012"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-023-10448-w"},{"key":"ref85","article-title":"AAAI 2020 Robert S. Engelmore memorial award lecture","volume-title":"Proc. AAAI","author":"Kautz"},{"key":"ref86","article-title":"Deep learning for symbolic mathematics","author":"Lample","year":"2019","journal-title":"arXiv:1912.01412"},{"key":"ref87","article-title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision","author":"Mao","year":"2019","journal-title":"arXiv:1904.12584"},{"key":"ref88","first-page":"6938","article-title":"Learning reasoning strategies in end-to-end differentiable proving","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Minervini"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012970"},{"key":"ref90","article-title":"Compositional generalization via neural-symbolic stack machines","author":"Chen","year":"2020","journal-title":"arXiv:2008.06662"},{"key":"ref91","article-title":"Embedding symbolic knowledge into deep networks","author":"Xie","year":"2019","journal-title":"arXiv:1909.01161"},{"key":"ref92","article-title":"Generative neurosymbolic machines","author":"Jiang","year":"2020","journal-title":"arXiv:2010.12152"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/601"},{"key":"ref94","article-title":"Scalable neural methods for reasoning with a symbolic knowledge base","author":"Cohen","year":"2020","journal-title":"arXiv:2002.06115"},{"key":"ref95","article-title":"Neural symbolic reader: Scalable integration of distributed and symbolic representations for reading comprehension","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Chen"},{"key":"ref96","first-page":"3462","article-title":"Know-evolve: Deep temporal reasoning for dynamic knowledge graphs","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Trivedi"},{"key":"ref97","first-page":"80","article-title":"Learning continuous semantic representations of symbolic expressions","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Allamanis"},{"key":"ref98","article-title":"Differentiable reasoning over a virtual knowledge base","author":"Dhingra","year":"2020","journal-title":"arXiv:2002.10640"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/688"},{"key":"ref100","first-page":"5502","article-title":"A semantic loss function for deep learning with symbolic knowledge","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Xu"},{"key":"ref101","article-title":"Neural logic machines","author":"Dong","year":"2019","journal-title":"arXiv:1904.11694"},{"key":"ref102","article-title":"Logic tensor networks: Deep learning and logical reasoning from data and knowledge","author":"Serafini","year":"2016","journal-title":"arXiv:1606.04422"},{"key":"ref103","article-title":"Relational neural machines","author":"Marra","year":"2020","journal-title":"arXiv:2002.02193"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1618"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5494-z"},{"key":"ref106","article-title":"Hinge-loss Markov random fields and probabilistic soft logic","author":"Bach","year":"2015","journal-title":"arXiv:1505.04406"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2008.01.003"},{"key":"ref108","article-title":"Can we do better explanations? A proposal of user-centered explainable AI","volume-title":"Proc. IUI Workshops","author":"Ribera"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1080\/17477778.2020.1821587"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2021.09.022"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57321-8_3"},{"key":"ref112","article-title":"Towards explainable neural-symbolic visual reasoning","author":"Bennetot","year":"2019","journal-title":"arXiv:1909.09065"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1007\/11430230_23"},{"key":"ref114","first-page":"46","article-title":"Meta-interpretive learning of data transformation programs","volume-title":"Proc. Int. Conf. Inductive Log. Program.","author":"Cropper"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/673"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13840-9_24"},{"key":"ref117","article-title":"Beneficial and harmful explanatory machine learning","author":"Ai","year":"2020","journal-title":"arXiv:2009.06410"}],"container-title":["IEEE Transactions on Neural Networks and Learning Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5962385\/10623582\/10092808.pdf?arnumber=10092808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T10:27:34Z","timestamp":1722940054000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10092808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8]]},"references-count":117,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tnnls.2023.3246980","relation":{},"ISSN":["2162-237X","2162-2388"],"issn-type":[{"value":"2162-237X","type":"print"},{"value":"2162-2388","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8]]}}}