{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:33:40Z","timestamp":1763663620812,"version":"3.45.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032090867","type":"print"},{"value":"9783032090874","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-09087-4_19","type":"book-chapter","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:17Z","timestamp":1763662877000},"page":"268-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Enhancing LLMs with\u00a0Logic-Based Reasoning: A Meta Inverse Entailment Approach"],"prefix":"10.1007","author":[{"given":"Dany","family":"Varghese","sequence":"first","affiliation":[]},{"given":"Ghazal Afroozi","family":"Milani","sequence":"additional","affiliation":[]},{"given":"Alireza","family":"Tamaddoni-Nezhad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,21]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"52138","DOI":"10.1109\/ACCESS.2018.2870052","volume":"6","author":"A Adadi","year":"2018","unstructured":"Adadi, A., Berrada, M.: Peeking inside the black-box: a survey on explainable artificial intelligence (XAI). IEEE Access 6, 52138\u201352160 (2018)","journal-title":"IEEE Access"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0026693","volume-title":"Machine Learning: ECML-98","author":"H Bostr\u00f6m","year":"1998","unstructured":"Bostr\u00f6m, H.: Predicate invention and learning from positive examples only. In: N\u00e9dellec, C., Rouveirol, C. (eds.) ECML 1998. LNCS, vol. 1398, pp. 226\u2013237. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0026693"},{"key":"19_CR3","first-page":"1877","volume":"33","author":"T Brown","year":"2020","unstructured":"Brown, T., Mann, B., Ryder, N., et al.: Language models are few-shot learners. Adv. Neural. Inf. Process. Syst. 33, 1877\u20131901 (2020)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"19_CR4","unstructured":"Cropper, A.: Efficiently learning efficient programs. Ph.D. thesis, Imperial College London (2017)"},{"key":"19_CR5","doi-asserted-by":"publisher","unstructured":"Cussens, J., Pulman, S.: Experiments in inductive chart parsing. In: Cussens, J., D\u017eeroski, S. (eds) LLL 1999. LNCS, vol. 1925, pp. 143\u2013156. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-40030-3_9","DOI":"10.1007\/3-540-40030-3_9"},{"issue":"9","key":"19_CR6","doi-asserted-by":"publisher","first-page":"1332","DOI":"10.1016\/j.patcog.2005.01.003","volume":"38","author":"C De La Higuera","year":"2005","unstructured":"De La Higuera, C.: A bibliographical study of grammatical inference. Pattern Recogn. 38(9), 1332\u20131348 (2005)","journal-title":"Pattern Recogn."},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1010826628977","volume":"44","author":"F Denis","year":"2001","unstructured":"Denis, F.: Learning regular languages from simple positive examples. Mach. Learn. 44, 37\u201366 (2001)","journal-title":"Mach. Learn."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Devlin, J., Chang, M.W., Lee, K., Toutanova, K.: BERT: pre-training of deep bidirectional transformers for language understanding. In: Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers), pp. 4171\u20134186 (2019)","DOI":"10.18653\/v1\/N19-1423"},{"key":"19_CR9","unstructured":"Heinz, J., De\u00a0la Higuera, C., Van\u00a0Zaanen, M.: Grammatical Inference for Computational Linguistics. Springer, Cham (2022)"},{"key":"19_CR10","doi-asserted-by":"publisher","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation, 2nd edition. SIGACT News 32(1), 60 65 (2001). https:\/\/doi.org\/10.1145\/568438.568455","DOI":"10.1145\/568438.568455"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1023\/B:MACH.0000023149.72125.e2","volume":"55","author":"K Inoue","year":"2004","unstructured":"Inoue, K.: Induction as consequence finding. Mach. Learn. 55, 109\u2013135 (2004). https:\/\/doi.org\/10.1023\/B:MACH.0000023149.72125.e2","journal-title":"Mach. Learn."},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.neucom.2011.03.049","volume":"75","author":"VF L\u00f3pez","year":"2012","unstructured":"L\u00f3pez, V.F., Aguilar, R., Alonso, L., Moreno, M.N., Corchado, J.M.: Grammatical inference with bioinformatics criteria. Neurocomputing 75(1), 88\u201397 (2012)","journal-title":"Neurocomputing"},{"key":"19_CR13","unstructured":"Marcus, G., Davis, E.: Rebooting AI: Building Artificial Intelligence We Can Trust. Vintage (2020)"},{"key":"19_CR14","doi-asserted-by":"publisher","unstructured":"Michie, D.: Machine learning in the next five years. In: Proceedings of the 3rd European Conference on European Working Session on Learning, EWSL 1988, pp. 107\u2013122. Pitman Publishing, Inc., USA (1988). https:\/\/doi.org\/10.5555\/3108771.3108781","DOI":"10.5555\/3108771.3108781"},{"key":"19_CR15","first-page":"129","volume":"34","author":"EF Moore","year":"1956","unstructured":"Moore, E.F., et al.: Gedanken-experiments on sequential machines. Autom. Stud. 34, 129\u2013153 (1956)","journal-title":"Autom. Stud."},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. New Gener. Comput. 8, 295\u2013318 (1991). https:\/\/doi.org\/10.1007\/BF03037089","journal-title":"New Gener. Comput."},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Gener. Comput. 13, 245\u2013286 (1995). https:\/\/doi.org\/10.1007\/BF03037227","journal-title":"New Gener. Comput."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Lin, D., Pahlavi, N., Tamaddoni-Nezhad, A.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94(1), 25 \u2013 49 (2014). https:\/\/github.com\/metagol\/metagol","DOI":"10.1007\/s10994-013-5358-3"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Lin, D., Tamaddoni-Nezhad, A.: MC-TopLog: complete multi-clause learning guided by a top theory, pp. 238\u2013254 (2011)","DOI":"10.1007\/978-3-642-31951-8_22"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-73847-3_9","volume-title":"Inductive Logic Programming","author":"S Muggleton","year":"2007","unstructured":"Muggleton, S., Tamaddoni-Nezhad, A.: QG\/GA: a stochastic search for progol. In: Muggleton, S., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol. 4455, pp. 37\u201339. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73847-3_9"},{"key":"19_CR21","unstructured":"Radford, A., Narasimhan, K., Salimans, T., Sutskever, I., et\u00a0al.: Improving language understanding by generative pre-training (2018)"},{"key":"19_CR22","first-page":"95","volume":"38","author":"A Srinivasan","year":"2001","unstructured":"Srinivasan, A.: Aleph: a learning engine for proposing hypotheses. Mach. Learn. 38, 95\u2013133 (2001)","journal-title":"Mach. Learn."},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10994-009-5117-7","volume":"76","author":"A Tamaddoni-Nezhad","year":"2009","unstructured":"Tamaddoni-Nezhad, A., Muggleton, S.: The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause. Mach. Learn. 76, 37\u201372 (2009)","journal-title":"Mach. Learn."},{"issue":"8","key":"19_CR24","doi-asserted-by":"publisher","first-page":"1930","DOI":"10.1038\/s41591-023-02448-8","volume":"29","author":"AJ Thirunavukarasu","year":"2023","unstructured":"Thirunavukarasu, A.J., Ting, D.S.J., Elangovan, K., Gutierrez, L., Tan, T.F., Ting, D.S.W.: Large language models in medicine. Nat. Med. 29(8), 1930\u20131940 (2023)","journal-title":"Nat. Med."},{"key":"19_CR25","doi-asserted-by":"publisher","unstructured":"Varghese, D.: Explainable and efficient machine learning using meta inverse entailment. Ph.D. thesis, University of Surrey (2024). https:\/\/doi.org\/10.15126\/thesis.901077","DOI":"10.15126\/thesis.901077"},{"key":"19_CR26","unstructured":"Varghese, D., Barroso-Bergada, D., Bohan, D.A., Tamaddoni-Nezhad, A.: Efficient abductive learning of microbial interactions using meta inverse entailment. In: Proceedings of the 31st International Conference on ILP (2022). (in press)"},{"key":"19_CR27","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-031-35641-4_26","volume-title":"Advanced Computing","author":"D Varghese","year":"2023","unstructured":"Varghese, D., Patel, U., Krause, P., Tamaddoni-Nezhad, A.: Few-shot learning for plant disease classification using ILP. In: Garg, D., Narayana, V.A., Suganthan, P.N., Anguera, J., Koppula, V.K., Gupta, S.K. (eds.) IACC 2022. CCIS, vol. 1781, pp. 321\u2013336. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35641-4_26"},{"key":"19_CR28","unstructured":"Varghese, D., Tamaddoni-Nezhad, A.: PyGol (2022). https:\/\/github.com\/PyGol\/"},{"key":"19_CR29","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Advances in Neural Information Processing Systems, vol. 30 (2017)"},{"key":"19_CR30","series-title":"NATO ASI Series","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-57745-1_27","volume-title":"Speech Recognition and Coding","author":"E Vidal","year":"1995","unstructured":"Vidal, E., Casacuberta, F., Garc\u00eda, P.: Grammatical inference and automatic speech recognition. In: Ayuso, A.J.R., Soler, J.M.L. (eds.) Speech Recognition and Coding. NATO ASI Series, vol. 147, pp. 174\u2013191. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/978-3-642-57745-1_27"},{"key":"19_CR31","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1017\/pds.2022.185","volume":"2","author":"Q Zhu","year":"2022","unstructured":"Zhu, Q., Luo, J.: Generative pre-trained transformer for design concept generation: an exploration. Proc. Design Soc. 2, 1825\u20131834 (2022)","journal-title":"Proc. Design Soc."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09087-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:19Z","timestamp":1763662879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09087-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,21]]},"ISBN":["9783032090867","9783032090874"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09087-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,21]]},"assertion":[{"value":"21 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ILP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanjing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ilp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.lamda.nju.edu.cn\/ijclr24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}