{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T03:27:13Z","timestamp":1768447633114,"version":"3.49.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031352539","type":"print"},{"value":"9783031352546","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_28","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"346-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logic-Based Explainable and\u00a0Incremental Machine Learning"],"prefix":"10.1007","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Huaduo","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Kinjal","family":"Basu","sequence":"additional","affiliation":[]},{"given":"Farhad","family":"Shakerin","sequence":"additional","affiliation":[]},{"given":"Elmer","family":"Salazar","sequence":"additional","affiliation":[]},{"given":"Sarat Chandra","family":"Varanasi","sequence":"additional","affiliation":[]},{"given":"Parth","family":"Padalkar","sequence":"additional","affiliation":[]},{"given":"Sopam","family":"Dasgupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","unstructured":"Aggarwal, C.C.: Neural Networks and Deep Learning - A Textbook. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94463-0","DOI":"10.1007\/978-3-319-94463-0"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Arias, J., et al.: Constraint answer set programming without grounding. TPLP 18(3\u20134), 337\u2013354 (2018)","DOI":"10.1017\/S1471068418000285"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Arias, J., et al.: Justifications for goal-directed constraint answer set programming. In: Proceedings 36th International Conference on Logic Programming (Technical Communications), vol. 325. EPTCS, pp. 59\u201372 (2020)","DOI":"10.4204\/EPTCS.325.12"},{"key":"28_CR4","unstructured":"Basu, K., et al.: Symbolic reinforcement learning framework with incremental learning of rule-based policy. In: Proceedings of ICLP GDE\u201922 Workshop, vol. 3193. CEUR Workshop Proceedings. CEUR-WS.org (2022)"},{"key":"28_CR5","unstructured":"Chen, T., Guestrin, C.: XGBoost: a scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD. KDD \u201916, San Francisco, California, USA, pp. 785\u2013794 (2016). ISBN 978-1-4503-4232-2"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, W.W.: Fast effective rule induction. In: Proceedings of ICML, San Francisco, CA, USA, pp. 115\u2013123 (1995)","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"key":"28_CR7","unstructured":"Cropper, A., Dumancic, S.: Inductive logic programming at 30: a new introduction. arXiv:2008.07912 (2020)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"DeJong, G., Mooney, R.J.: Explanation-based learning: an alternative view. Mach. Learn. 1(2), 145\u2013176 (1986)","DOI":"10.1007\/BF00114116"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Dietz Saldanha, E.A., H\u00f6lldobler, S., Pereira, L.M.: Our themes on abduction in human reasoning: a synopsis. In: Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry, and Social Practice, pp. 279\u2013293 (2021)","DOI":"10.1007\/978-3-030-61773-8_14"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-59286-5_53","volume-title":"Machine Learning: ECML-95","author":"Y Dimopoulos","year":"1995","unstructured":"Dimopoulos, Y., Kakas, A.: Learning non-monotonic logic programs: learning exceptions. In: Lavrac, N., Wrobel, S. (eds.) ECML 1995. LNCS, vol. 912, pp. 122\u2013137. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59286-5_53"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Mach. Learn. 19(2), 95\u2013131 (1995)","DOI":"10.1007\/BF01007461"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: the Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)","DOI":"10.1017\/CBO9781139342124"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"van Harmelen, F., Bundy, A.: Explanation-based generalisation = partial evaluation. Artif. Intell. 36(3), 401\u2013412 (1988)","DOI":"10.1016\/0004-3702(88)90088-4"},{"key":"28_CR14","unstructured":"Laber, E., Molinaro, M., Pereira, F.M.: Binary partitions with approximate minimum impurity. In: by Dy, J., Krause, A. (eds.) Proceedings of ICML, vol. 80, pp. 2854\u20132862. Proceedings of Machine Learning Research. PMLR (2018)"},{"key":"28_CR15","unstructured":"Lundberg, S.M., Lee, S.-I.: A unified approach to interpreting model predictions. In: Advances in Neural Information Processing Systems, pp. 4765\u20134774 (2017)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Minton, S., et al.: Explanation-based learning: a problem solving perspective. Artif. Intell. 40(1\u20133), 63\u2013118 (1989)","DOI":"10.1016\/0004-3702(89)90047-7"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Mitchener, L., et al.: Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework. Mach. Learn. 111(4), 1523\u20131549 (2022)","DOI":"10.1007\/s10994-022-06142-7"},{"key":"28_CR18","unstructured":"Padalkar, P., Wang, H., Gupta, G.: NeSyFOLD: a system for generating logic-based explanations from convolutional neural networks. arXiv:2301.12667 (2023)"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Quinlan, J.R.: Learning logical definitions from relations. Mach. Learn. 5, 239\u2013266 (1990)","DOI":"10.1007\/BF00117105"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Ribeiro, M.T., Singh, S., Guestrin, C.: \u201cWhy should I trust you?\u201d: explaining the predictions of any classifier. In: Proceedings of KDD, pp. 1135\u20131144. ACM (2016)","DOI":"10.1145\/2939672.2939778"},{"key":"28_CR22","unstructured":"Shakerin, F.: Logic programming-based approaches in explainable AI and natural language processing. Ph.D. thesis, Department of Computer Science, The University of Texas at Dallas (2020)"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Shakerin, F., Gupta, G.: Induction of non-monotonic logic programs to explain boosted tree models using LIME. In: Proceeding of AAAI, pp. 3052\u20133059. AAAI Press (2019)","DOI":"10.1609\/aaai.v33i01.33013052"},{"key":"28_CR24","unstructured":"Shakerin, F., Gupta, G.: Induction of non-monotonic rules from statistical learning models using high-utility itemset mining. arXiv:1905.11226 (2019)"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Shakerin, F., Salazar, E., Gupta, G.: A new algorithm to automate inductive learning of default theories. TPLP 17(5\u20136), 1010\u20131026 (2017)","DOI":"10.1017\/S1471068417000333"},{"key":"28_CR26","unstructured":"Srinivasan, A., Muggleton, S.H., Bain, M.: Distinguishing exceptions from noise in non-monotonic learning. In: Proceedings of International Workshop on Inductive Logic Programming (1992)"},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)","DOI":"10.7551\/mitpress\/7964.001.0001"},{"key":"28_CR28","doi-asserted-by":"publisher","unstructured":"Wang, H., Gupta, G.: FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data. In: Hanus, M., Igarashi, A. (eds.) FLOPS 2022. LNCS, vol. 13215, pp. 224\u2013242. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99461-7_13, isbn: 978-3-030-99460-0","DOI":"10.1007\/978-3-030-99461-7_13"},{"key":"28_CR29","unstructured":"Wang, H., Gupta, G.: FOLD-SE: scalable explainable AI (2022)"},{"key":"28_CR30","unstructured":"Wang, H., Gupta, G.: FOLD-TR: a scalable and efficient inductive learning algorithm for learning to rank (2022). arXiv: 2206.07295"},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"Wang, H., Shakerin, F., Gupta, G.: FOLD-RM: efficient scalable explainable AI. TPLP 22(5), 658\u2013677 (2022)","DOI":"10.1017\/S1471068422000205"},{"key":"28_CR32","doi-asserted-by":"crossref","unstructured":"Wusteman, J.: Explanation-based learning: a survey. Artif. Intell. Rev. 6(3), 243\u2013262 (1992)","DOI":"10.1007\/BF00155763"},{"key":"28_CR33","doi-asserted-by":"crossref","unstructured":"Yang, Z., Ishay, A., Lee, J.: NeurASP: embracing neural networks into answer set programming. In: Bessiere, C. (ed.) IJCAI 2020, pp. 1755\u20131762 (2020)","DOI":"10.24963\/ijcai.2020\/243"}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T23:11:20Z","timestamp":1687129880000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}