{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:15:10Z","timestamp":1771024510911,"version":"3.50.1"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031777912","type":"print"},{"value":"9783031777929","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-77792-9_12","type":"book-chapter","created":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T11:48:25Z","timestamp":1732276105000},"page":"190-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["LLM-Driven Knowledge Extraction in\u00a0Temporal and\u00a0Description Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4239-2988","authenticated-orcid":false,"given":"Damiano","family":"Duranti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4152-9683","authenticated-orcid":false,"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8512-1933","authenticated-orcid":false,"given":"Andrea","family":"Mazzullo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4611-0371","authenticated-orcid":false,"given":"Marco","family":"Robol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9483-3940","authenticated-orcid":false,"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,20]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Process mining. Commun. ACM, pp. 76\u201383 (2012). https:\/\/doi.org\/10.1145\/2240236.2240257","DOI":"10.1145\/2240236.2240257"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Alur, R., Singh, R., Fisman, D., Solar-Lezama, A.: Search-based program synthesis. Commun. ACM 61(12), 84\u201393 (2018). https:\/\/doi.org\/10.1145\/3208071","DOI":"10.1145\/3208071"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Angluin, D.: Queries and concept learning. Mach. Learn. 2, 319\u2013342 (1987). https:\/\/doi.org\/10.1007\/BF00116828","DOI":"10.1007\/BF00116828"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Artale, A., Jung, J.C., Mazzullo, A., Ozaki, A., Wolter, F.: Living without beth and craig: definitions and interpolants in description and modal logics with nominals and role inclusions. ACM Trans. Comput. Log. 24(4), 34:1\u201334:51 (2023)","DOI":"10.1145\/3597301"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017). http:\/\/www.cambridge.org\/de\/academic\/subjects\/computer-science\/knowledge-management-databases-and-data-mining\/introduction-description-logic?format=PB#17zVGeWD2TZUeu6s.97","DOI":"10.1017\/9781139025355"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Blum, S., Koudijs, R., Ozaki, A., Touileb, S.: Learning horn envelopes via queries from large language models. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.12143","DOI":"10.48550\/arXiv.2305.12143"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-40935-6_4","volume-title":"Algorithmic Learning Theory","author":"NH Bshouty","year":"2013","unstructured":"Bshouty, N.H.: Exact learning from membership queries: some techniques, results and new directions. In: Jain, S., Munos, R., Stephan, F., Zeugmann, T. (eds.) ALT 2013. LNCS (LNAI), vol. 8139, pp. 33\u201352. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40935-6_4"},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"B\u00fchmann, L., Lehmann, J., Westphal, P.: Dl-learner - a framework for inductive learning on the semantic web. J. Web Semant. 39, 15\u201324 (2016). https:\/\/doi.org\/10.1016\/j.websem.2016.06.001","DOI":"10.1016\/j.websem.2016.06.001"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"ten Cate, B., Funk, M., Jung, J.C., Lutz, C.: Sat-based PAC learning of description logic concepts. In: Proceedings of IJCAI, pp. 3347\u20133355. ijcai.org (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/373","DOI":"10.24963\/ijcai.2023\/373"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., et al.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_22"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Cecconi, A., Giacomo, G.D., Ciccio, C.D., Maggi, F.M., Mendling, J.: Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf. Syst. 107, 101920 (2022)","DOI":"10.1016\/j.is.2021.101920"},{"key":"12_CR12","unstructured":"Chiariello, F., Maggi, F.M., Patrizi, F.: From LTL on process traces to finite-state automata. In: Proceedings of BPM (Demos), pp. 127\u2013131. CEUR-WS.org (2023)"},{"key":"12_CR13","unstructured":"Creswell, A., Shanahan, M., Higgins, I.: Selection-inference: exploiting large language models for interpretable logical reasoning. In: Proceedings of ICLR. OpenReview.net (2023). https:\/\/openreview.net\/pdf?id=3Pf3Wg6o-A4"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Felli, P., Montali, M., Perelli, G.: HyperLDLF: a logic for checking properties of finite traces process logs. In: Proceedings of IJCAI, pp. 1859\u20131865. ijcai.org (2021)","DOI":"10.24963\/ijcai.2021\/256"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Masellis, R.D., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: AAAI, pp. 1027\u20131033. AAAI Press (2014)","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"12_CR16","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of IJCAI, pp. 854\u2013860. IJCAI\/AAAI (2013)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402\u2013436. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45628-7_16"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-030-03667-6_7","volume-title":"Knowledge Engineering and Knowledge Management","author":"N Fanizzi","year":"2018","unstructured":"Fanizzi, N., Rizzo, G., d\u2019Amato, C., Esposito, F.: DLFoil: class expression learning revisited. In: Faron Zucker, C., Ghidini, C., Napoli, A., Toussaint, Y. (eds.) EKAW 2018. LNCS (LNAI), vol. 11313, pp. 98\u2013113. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03667-6_7"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., Zakharyaschev, M.: Unique characterisability and learnability of temporal instance queries. In: Proceedings of KR (2022). https:\/\/proceedings.kr.org\/2022\/17\/","DOI":"10.24963\/kr.2022\/17"},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., Zakharyaschev, M.: Reverse engineering of temporal queries mediated by LTL ontologies. In: Proceedings of IJCAI, pp. 3230\u20133238. ijcai.org (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/360","DOI":"10.24963\/ijcai.2023\/360"},{"key":"12_CR21","unstructured":"Funk, M., Hosemann, S., Jung, J.C., Lutz, C.: Towards ontology construction with language models. In: Joint proceedings of the 1st workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM) and the 2nd challenge on Language Models for Knowledge Base Construction (LM-KBC) co-located with the 22nd International Semantic Web Conference (ISWC 2023), Athens, Greece, November 6, 2023. CEUR Workshop Proceedings, vol.\u00a03577. CEUR-WS.org (2023)"},{"key":"12_CR22","doi-asserted-by":"publisher","unstructured":"Funk, M., Jung, J.C., Lutz, C.: Actively learning concepts and conjunctive queries under ELr-ontologies. In: Proceedings of IJCAI, pp. 1887\u20131893. ijcai.org (2021). https:\/\/doi.org\/10.24963\/ijcai.2021\/260","DOI":"10.24963\/ijcai.2021\/260"},{"key":"12_CR23","doi-asserted-by":"publisher","unstructured":"Funk, M., Jung, J.C., Lutz, C., Pulcini, H., Wolter, F.: Learning description logic concepts: When can positive and negative examples be separated? In: Proceedings of IJCAI, pp. 1682\u20131688. ijcai.org (2019). https:\/\/doi.org\/10.24963\/ijcai.2019\/233","DOI":"10.24963\/ijcai.2019\/233"},{"key":"12_CR24","doi-asserted-by":"publisher","unstructured":"Gaglione, J., Roy, R., Baharisangari, N., Neider, D., Xu, Z., Topcu, U.: Learning temporal logic properties: an overview of two recent methods. CoRR (2022). https:\/\/doi.org\/10.48550\/arXiv.2212.00916","DOI":"10.48550\/arXiv.2212.00916"},{"key":"12_CR25","unstructured":"Giorgini, P., Mazzullo, A., Robol, M., Roveri, M.: Towards large language model architectures for knowledge acquisition and strategy synthesis. In: Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023. CEUR Workshop Proceedings, vol.\u00a03629, pp. 21\u201329. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3629\/paper4.pdf"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: the next step for OWL. J. Web Semant. 6(4), 309\u2013322 (2008)","DOI":"10.1016\/j.websem.2008.05.001"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez-Basulto, V., Jung, J.C., Sabellek, L.: Reverse engineering queries in ontology-enriched systems: the case of expressive horn description logic ontologies. In: Proceedings of IJCAI, pp. 1847\u20131853. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/255"},{"key":"12_CR28","doi-asserted-by":"publisher","unstructured":"Huang, J., Chang, K.C.: Towards reasoning in large language models: a survey. In: Findings of the Association for Computational Linguistics, pp. 1049\u20131065. Association for Computational Linguistics (2023). https:\/\/doi.org\/10.18653\/v1\/2023.findings-acl.67","DOI":"10.18653\/v1\/2023.findings-acl.67"},{"key":"12_CR29","unstructured":"Huang, W., Abbeel, P., Pathak, D., Mordatch, I.: Language models as zero-shot planners: extracting actionable knowledge for embodied agents. In: Proceedings of ICML, pp. 9118\u20139147. PMLR (2022), https:\/\/proceedings.mlr.press\/v162\/huang22a.html"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Iannone, L., Palmisano, I., Fanizzi, N.: An algorithm based on counterfactuals for concept learning in the semantic web. Appl. Intell. 26(2), 139\u2013159 (2007). https:\/\/doi.org\/10.1007\/s10489-006-0011-5","DOI":"10.1007\/s10489-006-0011-5"},{"key":"12_CR31","doi-asserted-by":"publisher","unstructured":"Jung, J.C., Lutz, C., Pulcini, H., Wolter, F.: Logical separability of labeled data examples under ontologies. Artif. Intell. 313, 103785 (2022). https:\/\/doi.org\/10.1016\/j.artint.2022.103785","DOI":"10.1016\/j.artint.2022.103785"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The prot\u00e9g\u00e9 OWL plugin: an open development environment for semantic web applications. In: Proceedings of the Third International Semantic Web Conference (ISWC 2004), pp. 229\u2013243 (2004)","DOI":"10.1007\/978-3-540-30475-3_17"},{"key":"12_CR33","unstructured":"Konev, B., Lutz, C., Ozaki, A., Wolter, F.: Exact learning of lightweight description logic ontologies. J. Mach. Learn. Res. 18(201), 201:1\u2013201:63 (2017). http:\/\/jmlr.org\/papers\/v18\/16-256.html"},{"key":"12_CR34","doi-asserted-by":"publisher","unstructured":"Liu, H., Ning, R., Teng, Z., Liu, J., Zhou, Q., Zhang, Y.: Evaluating the logical reasoning ability of ChatGPT and GPT-4. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2304.03439","DOI":"10.48550\/arXiv.2304.03439"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Martins, D.M.L.: Reverse engineering database queries from examples: state-of-the-art, challenges, and research opportunities. Inf. Syst. 83, 89\u2013100 (2019)","DOI":"10.1016\/j.is.2019.03.002"},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Mateiu, P., Groza, A.: Ontology engineering with large language models. In: 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023, pp. 226\u2013229. IEEE (2023)","DOI":"10.1109\/SYNASC61333.2023.00038"},{"key":"12_CR37","doi-asserted-by":"publisher","unstructured":"Moiseev, F., Dong, Z., Alfonseca, E., Jaggi, M.: SKILL: structured knowledge infusion for large language models. In: Proceedings of NAACL, pp. 1581\u20131588. Association for Computational Linguistics (2022). https:\/\/doi.org\/10.18653\/v1\/2022.naacl-main.113","DOI":"10.18653\/v1\/2022.naacl-main.113"},{"key":"12_CR38","unstructured":"Monti, M., Kutz, O., Righetti, G., Troquard, N.: Improving the accuracy of black-box language models with ontologies: a preliminary roadmap. In: Proceedings of the Joint Ontology Workshops 2024 Episode X: The Tukker Zomer of Ontology co-located with the 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede, Netherlands, 15-19 July 2024. CEUR Workshop Proceedings, vol. to appear. CEUR-WS.org (2024)"},{"key":"12_CR39","doi-asserted-by":"publisher","unstructured":"Muggleton, S.H.: Inductive logic programming: Issues, results and the challenge of learning language in logic. Artif. Intell. 114, 283\u2013296 (1999). https:\/\/doi.org\/10.1016\/S0004-3702(99)00067-3","DOI":"10.1016\/S0004-3702(99)00067-3"},{"key":"12_CR40","doi-asserted-by":"publisher","unstructured":"Neider, D., Gavran, I.: Learning linear temporal properties. In: Proceedings of FMCAD, pp. 1\u201310. IEEE (2018). https:\/\/doi.org\/10.23919\/FMCAD.2018.8603016","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"12_CR41","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: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 5153\u20135176. Association for Computational Linguistics (2023). https:\/\/doi.org\/10.18653\/v1\/2023.emnlp-main.313","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"12_CR42","doi-asserted-by":"publisher","unstructured":"Ozaki, A.: Learning description logic ontologies: five approaches. where do they stand? K\u00fcnstliche Intell. 34(2), 317\u2013327 (2020). https:\/\/doi.org\/10.1007\/s13218-020-00656-9","DOI":"10.1007\/s13218-020-00656-9"},{"key":"12_CR43","doi-asserted-by":"publisher","unstructured":"Ozaki, A., Persia, C., Mazzullo, A.: Learning query inseparable $$\\cal{ELH}$$ ontologies. In: Proceedings of AAAI, pp. 2959\u20132966. AAAI Press (2020). https:\/\/doi.org\/10.1609\/aaai.v34i03.5688","DOI":"10.1609\/aaai.v34i03.5688"},{"key":"12_CR44","doi-asserted-by":"publisher","unstructured":"Pallagani, V., et al.: On the prospects of incorporating large language models (LLMs) in automated planning and scheduling (APS). In: Bernardini, S., Muise, C. (eds.) Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024, pp. 432\u2013444. AAAI Press (2024). https:\/\/doi.org\/10.1609\/icaps.v34i1.31503","DOI":"10.1609\/icaps.v34i1.31503"},{"key":"12_CR45","doi-asserted-by":"publisher","unstructured":"Pan, L., Albalak, A., Wang, X., Wang, W.Y.: Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.12295","DOI":"10.48550\/arXiv.2305.12295"},{"key":"12_CR46","doi-asserted-by":"publisher","unstructured":"Pan, S., Luo, L., Wang, Y., Chen, C., Wang, J., Wu, X.: Unifying large language models and knowledge graphs: A roadmap. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2306.08302","DOI":"10.48550\/arXiv.2306.08302"},{"key":"12_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-16164-3_11","volume-title":"Model Checking Software","author":"M Pe\u0161i\u0107","year":"2010","unstructured":"Pe\u0161i\u0107, M., Bo\u0161na\u010dki, D., van der Aalst, W.M.P.: Enacting declarative languages using LTL: avoiding errors and improving performance. In: van de Pol, J., Weber, M. (eds.) SPIN 2010. LNCS, vol. 6349, pp. 146\u2013161. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16164-3_11"},{"key":"12_CR48","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"12_CR49","doi-asserted-by":"publisher","unstructured":"Settles, B.: Active Learning. Morgan & Claypool Publishers (2012). https:\/\/doi.org\/10.2200\/S00429ED1V01Y201207AIM018","DOI":"10.2200\/S00429ED1V01Y201207AIM018"},{"key":"12_CR50","doi-asserted-by":"publisher","unstructured":"Singh, I., et al.: ProgPrompt: generating situated robot task plans using large language models. In: Proceedings of ICRA, pp. 11523\u201311530. IEEE (2023). https:\/\/doi.org\/10.1109\/ICRA48891.2023.10161317","DOI":"10.1109\/ICRA48891.2023.10161317"},{"key":"12_CR51","doi-asserted-by":"publisher","unstructured":"Song, C.H., Sadler, B.M., Wu, J., Chao, W., Washington, C., Su, Y.: LLM-planner: few-shot grounded planning for embodied agents with large language models. In: IEEE\/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 2986\u20132997. IEEE (2023). https:\/\/doi.org\/10.1109\/ICCV51070.2023.00280","DOI":"10.1109\/ICCV51070.2023.00280"},{"key":"12_CR52","doi-asserted-by":"publisher","unstructured":"Trajanoska, M., Stojanov, R., Trajanov, D.: Enhancing knowledge graph construction using large language models. CoRR (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.04676","DOI":"10.48550\/arXiv.2305.04676"},{"key":"12_CR53","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_26"},{"key":"12_CR54","unstructured":"Valmeekam, K., Marquez, M., Sreedharan, S., Kambhampati, S.: On the planning abilities of large language models - a critical investigation. In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023 (2023). http:\/\/papers.nips.cc\/paper_files\/paper\/2023\/hash\/efb2072a358cefb75886a315a6fcf880-Abstract-Conference.html"},{"key":"12_CR55","unstructured":"Yao, S., et al.: ReAct: synergizing reasoning and acting in language models. In: Proceedings of ICLR. OpenReview.net (2023). https:\/\/openreview.net\/pdf?id=WE_vluYUL-X"},{"key":"12_CR56","unstructured":"Ye, X., Chen, Q., Dillig, I., Durrett, G.: SatLM: satisfiability-aided language models using declarative prompting. In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023 (2023). http:\/\/papers.nips.cc\/paper_files\/paper\/2023\/hash\/8e9c7d4a48bdac81a58f983a64aaf42b-Abstract-Conference.html"},{"key":"12_CR57","doi-asserted-by":"publisher","unstructured":"Zhang, H., Li, L.H., Meng, T., Chang, K., den Broeck, G.V.: On the paradox of learning to reason from data. In: Proceedings of IJCAI, pp. 3365\u20133373. ijcai.org (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/375","DOI":"10.24963\/ijcai.2023\/375"}],"container-title":["Lecture Notes in Computer Science","Knowledge Engineering and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-77792-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T12:03:48Z","timestamp":1732277028000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-77792-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"ISBN":["9783031777912","9783031777929"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-77792-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,20]]},"assertion":[{"value":"20 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EKAW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Knowledge Engineering and Knowledge Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"25 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ekaw2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/ekaw2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}