{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:09:10Z","timestamp":1768162150740,"version":"3.49.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032159809","type":"print"},{"value":"9783032159816","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-15981-6_10","type":"book-chapter","created":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T17:13:30Z","timestamp":1768151610000},"page":"161-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["REGAL: Extracting Implicit Rules in\u00a0Text Using LLMs with\u00a0Logic Program Feedback"],"prefix":"10.1007","author":[{"given":"Abhiramon","family":"Rajasekharan","sequence":"first","affiliation":[]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,12]]},"reference":[{"issue":"3\u20134","key":"10_CR1","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S1471068418000285","volume":"18","author":"J Arias","year":"2018","unstructured":"Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. TPLP 18(3\u20134), 337\u2013354 (2018). https:\/\/doi.org\/10.1017\/S1471068418000285","journal-title":"TPLP"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"10_CR3","unstructured":"Beiser, A., Penz, D., Musliu, N.: Intermediate languages matter: formal choice drives neurosymbolic LLM reasoning (2025). https:\/\/arxiv.org\/abs\/2502.17216"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54, 92\u2013103 (2011). https:\/\/doi.org\/10.1145\/2043174.2043195","journal-title":"Commun. ACM"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Chakrabarty, T., Trivedi, A., Muresan, S.: Implicit premise generation with discourse-aware commonsense knowledge models. In: Moens, M.F., Huang, X., Specia, L., Yih, S.W.T. (eds.) Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, pp. 6247\u20136252. Association for Computational Linguistics, Online and Punta Cana, Dominican Republic (2021). https:\/\/doi.org\/10.18653\/v1\/2021.emnlp-main.504. https:\/\/aclanthology.org\/2021.emnlp-main.504\/","DOI":"10.18653\/v1\/2021.emnlp-main.504"},{"key":"10_CR6","unstructured":"Chen, X., Lin, M., Sch\u00e4rli, N., Zhou, D.: Teaching large language models to self-debug. arXiv abs\/2304.05128 (2023). https:\/\/api.semanticscholar.org\/CorpusID:258059885"},{"key":"10_CR7","unstructured":"Gao, L., et al.: PAL: program-aided language models. In: Krause, A., Brunskill, E., Cho, K., Engelhardt, B., Sabato, S., Scarlett, J. (eds.) Proceedings of the 40th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0202, pp. 10764\u201310799. PMLR (2023). https:\/\/proceedings.mlr.press\/v202\/gao23f.html"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: Answer Set Programming Approach. Cambridge University Press (2014). https:\/\/doi.org\/10.1017\/CBO9781139342124","DOI":"10.1017\/CBO9781139342124"},{"key":"10_CR9","unstructured":"Gou, Z., et al.: Critic: large language models can self-correct with tool-interactive critiquing. arXiv abs\/2305.11738 (2023). https:\/\/api.semanticscholar.org\/CorpusID:258823123"},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Gupta, A., Zuckerman, E., O\u2019Connor, B.: Harnessing toulmin\u2019s theory for zero-shot argument explication. In: Ku, L.W., Martins, A., Srikumar, V. (eds.) Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 10259\u201310276. Association for Computational Linguistics, Bangkok, Thailand (2024). https:\/\/doi.org\/10.18653\/v1\/2024.acl-long.552. https:\/\/aclanthology.org\/2024.acl-long.552\/","DOI":"10.18653\/v1\/2024.acl-long.552"},{"key":"10_CR11","unstructured":"Gupta, G.: Automating common sense reasoning with ASP and s(CASP) (2022). Technical Report. https:\/\/utdallas.edu\/~gupta\/csr-scasp.pdf"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"Habernal, I., Wachsmuth, H., Gurevych, I., Stein, B.: The argument reasoning comprehension task: Identification and reconstruction of implicit warrants. In: Walker, M., Ji, H., Stent, A. (eds.) Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), pp. 1930\u20131940. Association for Computational Linguistics, New Orleans, Louisiana (2018). https:\/\/doi.org\/10.18653\/v1\/N18-1175. https:\/\/aclanthology.org\/N18-1175\/","DOI":"10.18653\/v1\/N18-1175"},{"key":"10_CR13","unstructured":"Han, S., et al.: Folio: natural language reasoning with first-order logic (2024). https:\/\/arxiv.org\/abs\/2209.00840"},{"key":"10_CR14","unstructured":"Kazemi, M., et al.: Boardgameqa: a dataset for natural language reasoning with contradictory information (2023). https:\/\/arxiv.org\/abs\/2306.07934"},{"key":"10_CR15","unstructured":"Liu, B., et al.: LLM+P: empowering large language models with optimal planning proficiency. arXiv abs\/2304.11477 (2023). https:\/\/api.semanticscholar.org\/CorpusID:258298051"},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Lyu, Q., et al.: Faithful chain-of-thought reasoning. In: Park, J.C., et al. (eds.) Proceedings of the 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 305\u2013329. Association for Computational Linguistics, Nusa Dua, Bali (2023). https:\/\/doi.org\/10.18653\/v1\/2023.ijcnlp-main.20. https:\/\/aclanthology.org\/2023.ijcnlp-main.20\/","DOI":"10.18653\/v1\/2023.ijcnlp-main.20"},{"key":"10_CR17","unstructured":"McCune, W.: Prover9 and mace4 (2005\u20132010). http:\/\/www.cs.unm.edu\/~mccune\/prover9\/"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Olausson, T., et al.: LINC: a neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Bouamor, H., Pino, J., Bali, K. (eds.) Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pp. 5153\u20135176. Association for Computational Linguistics, Singapore (2023). https:\/\/doi.org\/10.18653\/v1\/2023.emnlp-main.313. https:\/\/aclanthology.org\/2023.emnlp-main.313\/","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"10_CR19","unstructured":"OpenAI: Gpt-4o model (2024). https:\/\/platform.openai.com\/docs\/models\/gpt-4o"},{"key":"10_CR20","unstructured":"OpenAI: Learning to reason with LLMs (2024). chrome-extension:\/\/efaidnbmnnnibpcajpcglclefindmkaj\/https:\/\/cdn.openai.com\/o1-system-card.pdf"},{"key":"10_CR21","unstructured":"OpenAI: Gpt-4.1 mini model (2025). https:\/\/platform.openai.com\/docs\/models\/gpt-4.1"},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Pan, L., Albalak, A., Wang, X., Wang, W.: Logic-LM: empowering large language models with symbolic solvers for faithful logical reasoning. In: Bouamor, H., Pino, J., Bali, K. (eds.) Findings of the Association for Computational Linguistics: EMNLP 2023. Association for Computational Linguistics, Singapore (2023). https:\/\/doi.org\/10.18653\/v1\/2023.findings-emnlp.248. https:\/\/aclanthology.org\/2023.findings-emnlp.248\/","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"Paul, D., West, R., Bosselut, A., Faltings, B.: Making reasoning matter: measuring and improving faithfulness of chain-of-thought reasoning. In: Al-Onaizan, Y., Bansal, M., Chen, Y.N. (eds.) Findings of the Association for Computational Linguistics: EMNLP 2024, pp. 15012\u201315032. Association for Computational Linguistics, Miami, Florida, USA (2024). https:\/\/doi.org\/10.18653\/v1\/2024.findings-emnlp.882. https:\/\/aclanthology.org\/2024.findings-emnlp.882\/","DOI":"10.18653\/v1\/2024.findings-emnlp.882"},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"Sun, H., et al.: Determlr: augmenting LLM-based logical reasoning from indeterminacy to determinacy, pp. 9828\u20139862 (2024). https:\/\/doi.org\/10.18653\/v1\/2024.acl-long.531","DOI":"10.18653\/v1\/2024.acl-long.531"},{"key":"10_CR25","unstructured":"Turpin, M., Michael, J., Perez, E., Bowman, S.R.: Language models don\u2019t always say what they think: unfaithful explanations in chain-of-thought prompting. In: Proceedings of the 37th International Conference on Neural Information Processing Systems, NIPS 2023. Curran Associates Inc., Red Hook (2023)"},{"key":"10_CR26","unstructured":"Wang, X., Wei, J., Schuurmans, D., Le, Q., Chi, E.H., Zhou, D.: Self-consistency improves chain of thought reasoning in language models. arXiv abs\/2203.11171 (2022). https:\/\/api.semanticscholar.org\/CorpusID:247595263"},{"key":"10_CR27","unstructured":"Wei, J., et al.: Chain of thought prompting elicits reasoning in large language models. arXiv abs\/2201.11903 (2022). https:\/\/api.semanticscholar.org\/CorpusID:246411621"},{"key":"10_CR28","unstructured":"Wu, G.: It\u2019s not that simple. An analysis of simple test-time scaling (2025). https:\/\/arxiv.org\/abs\/2507.14419"},{"key":"10_CR29","doi-asserted-by":"publisher","unstructured":"Xu, Z., Arias, J., et al: Jury-trial story construction and analysis using goal-directed answer set programming. In: Proceedings of PADL. LNCS, vol. 13880, pp. 261\u2013278. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-24841-2_17","DOI":"10.1007\/978-3-031-24841-2_17"},{"key":"10_CR30","doi-asserted-by":"publisher","unstructured":"Yang, Y., Xiong, S., Payani, A., Shareghi, E., Fekri, F.: Harnessing the power of large language models for natural language to first-order logic translation. In: Ku, L.W., Martins, A., Srikumar, V. (eds.) Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 6942\u20136959. Association for Computational Linguistics, Bangkok, Thailand (2024). https:\/\/doi.org\/10.18653\/v1\/2024.acl-long.375. https:\/\/aclanthology.org\/2024.acl-long.375\/","DOI":"10.18653\/v1\/2024.acl-long.375"},{"key":"10_CR31","unstructured":"Yao, S., et al.: Tree of thoughts: deliberate problem solving with large language models. In: Proceedings of the 37th International Conference on Neural Information Processing Systems, NIPS 2023. Curran Associates Inc., Red Hook (2023)"},{"key":"10_CR32","doi-asserted-by":"publisher","unstructured":"Zhao, W., Chiu, J., Cardie, C., Rush, A.: Abductive commonsense reasoning exploiting mutually exclusive explanations. In: Rogers, A., Boyd-Graber, J., Okazaki, N. (eds.) Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 14883\u201314896. Association for Computational Linguistics, Toronto, Canada (2023). https:\/\/doi.org\/10.18653\/v1\/2023.acl-long.831. https:\/\/aclanthology.org\/2023.acl-long.831\/","DOI":"10.18653\/v1\/2023.acl-long.831"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15981-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T17:13:33Z","timestamp":1768151613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15981-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032159809","9783032159816"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15981-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl26.sigplan.org\/home\/PADL-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}