{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:27:16Z","timestamp":1766068036533,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031711695"},{"type":"electronic","value":"9783031711701"}],"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_26","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:02:14Z","timestamp":1725883334000},"page":"328-337","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Enhancing GPT-Based Planning Policies by\u00a0Model-Based Plan Validation"],"prefix":"10.1007","author":[{"given":"Nicholas","family":"Rossetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano","family":"Tummolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso Emilio","family":"Gerevini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Olivato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Putelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Serina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"26_CR1","unstructured":"Arora, D., Kambhampati, S.: Learning and leveraging verifiers to improve planning capabilities of pre-trained language models. CoRR abs\/2305.17077 (2023)"},{"key":"26_CR2","unstructured":"Chiari, M., Gerevini, A.E., Loreggia, A., Putelli, L., Serina, I.: Fast and slow goal recognition. In: Dastani, M., Sichman, J.S., Alechina, N., Dignum, V. (eds.) Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, 6\u201310 May 2024, pp. 354\u2013362. ACM (2024)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Chiari, M., Gerevini, A.E., Percassi, F., Putelli, L., Serina, I., Olivato, M.: Goal recognition as a deep learning task: the GRNet approach. In: Koenig, S., Stern, R., Vallati, M. (eds.) Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, Prague, Czech Republic, 8\u201313 July 2023, pp. 560\u2013568. AAAI Press (2023)","DOI":"10.1609\/icaps.v33i1.27237"},{"key":"26_CR4","unstructured":"Devlin, J., Chang, M., Lee, K., Toutanova, K.: BERT: pre-training of deep bidirectional transformers for language understanding. In: NAACL-HLT (1), pp. 4171\u20134186. Association for Computational Linguistics (2019)"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1613\/jair.1183","volume":"20","author":"A Gerevini","year":"2003","unstructured":"Gerevini, A., Saetti, A., Serina, I.: Planning through stochastic local search and temporal action graphs in LPG. J. Artif. Intell. Res. 20, 239\u2013290 (2003). https:\/\/doi.org\/10.1613\/jair.1183","journal-title":"J. Artif. Intell. Res."},{"key":"26_CR6","unstructured":"Gerevini, A., Serina, I.: LPG: a planner based on local search for planning graphs with action costs. In: AIPS, pp. 13\u201322. AAAI Press (2002)"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1162\/tacl_a_00370","volume":"9","author":"M Geva","year":"2021","unstructured":"Geva, M., Khashabi, D., Segal, E., Khot, T., Roth, D., Berant, J.: Did Aristotle use a laptop? A question answering benchmark with implicit reasoning strategies. Trans. Assoc. Comput. Linguistics 9, 346\u2013361 (2021)","journal-title":"Trans. Assoc. Comput. Linguistics"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Howey, R., Long, D., Fox, M.: VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: ICTAI, pp. 294\u2013301. IEEE Computer Society (2004)","DOI":"10.1109\/ICTAI.2004.120"},{"key":"26_CR9","unstructured":"Hu, Y., De Giacomo, G.: Generalized planning: synthesizing plans that work for multiple environments. In: IJCAI, pp. 918\u2013923. IJCAI Org (2011)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1162\/tacl_a_00324","volume":"8","author":"Z Jiang","year":"2020","unstructured":"Jiang, Z., Xu, F.F., Araki, J., Neubig, G.: How can we know what language models know. Trans. Assoc. Comput. Linguistics 8, 423\u2013438 (2020)","journal-title":"Trans. Assoc. Comput. Linguistics"},{"key":"26_CR11","unstructured":"McDermott, D., G., et al.: PDDL-the planning domain definition language (1998). https:\/\/api.semanticscholar.org\/CorpusID:59656859"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Pallagani, V., et al.: Plansformer tool: demonstrating generation of symbolic plans using transformers. In: IJCAI, pp. 7158\u20137162. IJCAI Org. (2023)","DOI":"10.24963\/ijcai.2023\/839"},{"key":"26_CR13","unstructured":"Petroni, F., et al.: Language models as knowledge bases? In: EMNLP\/IJCNLP (1), pp. 2463\u20132473. Association for Computational Linguistics (2019)"},{"key":"26_CR14","unstructured":"Radford, A., Narasimhan, K.: Improving language understanding by generative pre-training. In: preprint (2018). api.semanticscholar.org\/CorpusID:49313245"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Rossetti, N., et al.: Learning general policies for planning through GPT models. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, pp. 500\u2013508 (2024)","DOI":"10.1609\/icaps.v34i1.31510"},{"key":"26_CR16","unstructured":"Seipp, J., Torralba, A., Hoffmann, J.: PDDL generators (2022). https:\/\/github.com\/AI-Planning\/pddl-generators"},{"key":"26_CR17","unstructured":"Serina, L., Chiari, M., Gerevini, A.E., Putelli, L., Serina, I.: A preliminary study on BERT applied to automated planning. In: IPS\/AI*IA, vol.\u00a03345. CEUR-WS.org (2022)"},{"key":"26_CR18","unstructured":"Srivastava, S., Immerman, N., Zilberstein, S.: Learning generalized plans using abstract counting. In: AAAI, pp. 991\u2013997. AAAI Press (2008)"},{"issue":"2","key":"26_CR19","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.artint.2010.10.006","volume":"175","author":"S Srivastava","year":"2011","unstructured":"Srivastava, S., Immerman, N., Zilberstein, S.: A new representation and associated algorithms for generalized planning. Artif. Intell. 175(2), 615\u2013647 (2011)","journal-title":"Artif. Intell."},{"key":"26_CR20","unstructured":"Valmeekam, K., Hernandez, A.O., Sreedharan, S., Kambhampati, S.: Large language models still can\u2019t plan (A benchmark for LLMs on planning and reasoning about change). CoRR abs\/2206.10498 (2022)"},{"key":"26_CR21","unstructured":"Valmeekam, K., Sreedharan, S., Marquez, M., Hernandez, A.O., Kambhampati, S.: On the planning abilities of large language models (A critical investigation with a proposed benchmark). CoRR abs\/2302.06706 (2023)"},{"key":"26_CR22","unstructured":"Vaswani, A., S., et al.: Attention is all you need. In: NIPS, pp. 5998\u20136008. Curran Associates Inc. (2017)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Wang, Y., Wang, W., Joty, S.R., Hoi, S.C.H.: CodeT5: identifier-aware unified pre-trained encoder-decoder models for code understanding and generation. In: EMNLP (1), pp. 8696\u20138708. Association for Computational Linguistics (2021)","DOI":"10.18653\/v1\/2021.emnlp-main.685"}],"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_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T22:34:29Z","timestamp":1732746869000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71170-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711695","9783031711701"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71170-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"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"}}]}}