{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T12:32:48Z","timestamp":1769949168804,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031711695","type":"print"},{"value":"9783031711701","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-71170-1_24","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:02:14Z","timestamp":1725883334000},"page":"305-314","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Experiments with\u00a0LLMs for\u00a0Converting Language to\u00a0Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4414-3874","authenticated-orcid":false,"given":"Tanel","family":"Tammet","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7725-543X","authenticated-orcid":false,"given":"Priit","family":"J\u00e4rv","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4890-9283","authenticated-orcid":false,"given":"Martin","family":"Verrev","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3376-7489","authenticated-orcid":false,"given":"Dirk","family":"Draheim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"24_CR1","unstructured":"Daniel, K.: Thinking, Fast and Slow. Macmillan, New York (2011)"},{"issue":"2","key":"24_CR2","first-page":"255","volume":"47","author":"MC De Marneffe","year":"2021","unstructured":"De Marneffe, M.C., Manning, C.D., Nivre, J., Zeman, D.: Universal dependencies. Comput. Linguist. 47(2), 255\u2013308 (2021)","journal-title":"Comput. Linguist."},{"key":"24_CR3","unstructured":"Dziri, N., et\u00a0al.: Faith and fate: limits of transformers on compositionality. In: Advances in Neural Information Processing Systems, vol. 36 (2024)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Gupta, G., et al.: Building intelligent systems by combining machine learning and automated commonsense reasoning. In: Proceedings of the AAAI Symposium Series, vol.\u00a02, pp. 272\u2013276 (2023)","DOI":"10.1609\/aaaiss.v2i1.27687"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"J\u00e4rv, P., Tammet, T., Verrev, M., Draheim., D.: Knowledge integration for commonsense reasoning with default logic. In: Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD, pp. 148\u2013155. INSTICC, SciTePress (2022)","DOI":"10.5220\/0011532200003335"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Lehmann, J., Gattogi, P., Bhandiwad, D., Ferr\u00e9, S., Vahdati, S.: Language models as controlled natural language semantic parsers for knowledge graph question answering. In: ECAI 2023, pp. 1348\u20131356. IOS Press (2023)","DOI":"10.3233\/FAIA230411"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Lyu, Q., et al.: Faithful chain-of-thought reasoning. In: 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 (2023)","DOI":"10.18653\/v1\/2023.ijcnlp-main.20"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"McCoy, T., Pavlick, E., Linzen, T.: Right for the wrong reasons: diagnosing syntactic heuristics in natural language inference. In: Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pp. 3428\u20133448. Association for Computational Linguistics (2019)","DOI":"10.18653\/v1\/P19-1334"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"51","DOI":"10.29007\/2n9m","volume":"100","author":"L McGinness","year":"2024","unstructured":"McGinness, L., Baumgartner, P.: Automated theorem provers help improve large language model reasoning. EPiC Ser. Comput. 100, 51\u201369 (2024)","journal-title":"EPiC Ser. Comput."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Olausson, T., et al.: Linc: a neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pp. 5153\u20135176 (2023)","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Qi, P., Zhang, Y., Zhang, Y., Bolton, J., Manning, C.D.: Stanza: a Python natural language processing toolkit for many human languages. CoRR abs\/2003.07082 (2020). https:\/\/arxiv.org\/abs\/2003.07082","DOI":"10.18653\/v1\/2020.acl-demos.14"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Qiao, S., et al.: Reasoning with language model prompting: a survey. In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 5368\u20135393 (2023)","DOI":"10.18653\/v1\/2023.acl-long.294"},{"issue":"1\u20132","key":"24_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Tafjord, O., Mishra, B.D., Clark, P.: Proofwriter: generating implications, proofs, and abductive statements over natural language. arXiv preprint arXiv:2012.13048 (2020)","DOI":"10.18653\/v1\/2021.findings-acl.317"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-031-10769-6_18","volume-title":"Automated Reasoning - IJCAR 2022","author":"T Tammet","year":"2022","unstructured":"Tammet, T., Draheim, D., J\u00e4rv, P.: GK: implementing full first order default logic for commonsense reasoning (system description). In: Blanchette, J., Kov\u00e1cs, L., Pattinson, D. (eds.) IJCAR 2022. LNCS, vol. 13385, pp. 300\u2013309. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-10769-6_18"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-030-79876-5_29","volume-title":"Automated Deduction \u2013 CADE 28","author":"T Tammet","year":"2021","unstructured":"Tammet, T., Draheim, D., J\u00e4rv, P.: Confidences for commonsense reasoning. In: Platzer, A., Sutcliffe, G. (eds.) CADE 2021. LNCS (LNAI), vol. 12699, pp. 507\u2013524. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_29"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-030-79876-5_29","volume-title":"Automated Deduction \u2013 CADE 28","author":"T Tammet","year":"2023","unstructured":"Tammet, T., J\u00e4rv, P., Verrev, M., Draheim, D.: An experimental pipeline for automated reasoning in natural language (short paper). In: Platzer, A., Sutcliffe, G. (eds.) CADE 2021. LNCS, vol. 12699, pp. 509\u2013521. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_29"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Tammet, T., Sutcliffe, G.: Combining json-ld with first order logic. In: 15th International Conference on Semantic Computing (ICSC), pp. 256\u2013261. IEEE (2021)","DOI":"10.1109\/ICSC50631.2021.00051"},{"issue":"7995","key":"24_CR19","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1038\/s41586-023-06747-5","volume":"625","author":"TH Trinh","year":"2024","unstructured":"Trinh, T.H., Wu, Y., Le, Q.V., He, H., Luong, T.: Solving Olympiad geometry without human demonstrations. Nature 625(7995), 476\u2013482 (2024)","journal-title":"Nature"},{"key":"24_CR20","unstructured":"Valmeekam, K., Marquez, M., Olmo, A., Sreedharan, S., Kambhampati, S.: Planbench: an extensible benchmark for evaluating large language models on planning and reasoning about change. In: Advances in Neural Information Processing Systems, vol. 36 (2024)"}],"container-title":["Lecture Notes in Computer Science","Neural-Symbolic Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71170-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:08:02Z","timestamp":1725883682000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71170-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711695","9783031711701"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71170-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NeSy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural-Symbolic Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nesy2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/nesy2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}