{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T02:14:44Z","timestamp":1758593684193,"version":"3.44.0"},"reference-count":24,"publisher":"World Scientific Pub Co Pte Ltd","issue":"09","funder":[{"name":"ERDF A way of making Europe","award":["PID2021-127647NB-C21","PDC2022-133597-C43"],"award-info":[{"award-number":["PID2021-127647NB-C21","PDC2022-133597-C43"]}]},{"name":"Next Generation EU\/PRTR and by the Madrid Government under the Multiannual Agreement with UC3M in the line of Excellence of University Professors","award":["EPUC3M17"],"award-info":[{"award-number":["EPUC3M17"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:p> Automated Planning (AP) is a problem-solving technique applicable to a wide range of scenarios and goals. It typically requires a complete and accurate description of the planning task expressed in a formal language to generate a solution plan that achieves the goals. However, creating these descriptions can be time-consuming and error-prone, often resulting in unsolvable planning tasks. Planning systems often lack the ability to explain why a task is deemed unsolvable. In this work, we present an integrated knowledge engineering system that allows users to graphically depict AP use cases using transition diagrams, which are automatically converted into a formal language. To facilitate the debugging process, we propose connecting the system with large language models (LLMs) to explore their capabilities in assisting with flawed planning tasks, fixing the model and making the tasks solvable. <\/jats:p>","DOI":"10.1142\/s0218194025430028","type":"journal-article","created":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T10:21:12Z","timestamp":1747995672000},"page":"1267-1287","source":"Crossref","is-referenced-by-count":0,"title":["On the Combination of Classical Knowledge Engineering Tools and LLMs to Build Automated Planning Models"],"prefix":"10.1142","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3775-6982","authenticated-orcid":false,"given":"Alba","family":"Gragera","sequence":"first","affiliation":[{"name":"Computer Science and Engineering Department, Universidad Carlos III de Madrid, Madrid 28903, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4531-5896","authenticated-orcid":false,"given":"\u00c1ngel","family":"Garc\u00eda-Olaya","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, Universidad Carlos III de Madrid, Madrid 28903, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3801-6801","authenticated-orcid":false,"given":"Fernando","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, Universidad Carlos III de Madrid, Madrid 28903, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2025,7,8]]},"reference":[{"key":"S0218194025430028BIB002","first-page":"1","volume-title":"Foundation Models for Decision Making Workshop at Neural Information Processing Systems","author":"Valmeekam K.","year":"2022"},{"key":"S0218194025430028BIB005","first-page":"22895","volume-title":"Proc. 41st Int. Conf. Machine Learning","author":"Kambhampati S.","year":"2024"},{"key":"S0218194025430028BIB006","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000434"},{"key":"S0218194025430028BIB007","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888907001063"},{"key":"S0218194025430028BIB008","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2009.12.047"},{"key":"S0218194025430028BIB010","first-page":"1601","volume-title":"Proc. Twenty-Second AAAI Conf. Artificial Intelligence","author":"Kambhampati S.","year":"2007"},{"key":"S0218194025430028BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/3148011.3148012"},{"key":"S0218194025430028BIB013","first-page":"4803","volume-title":"Proc. Twenty-Ninth Int. Joint Conf. Artificial Intelligence","author":"Chakraborti T.","year":"2021"},{"key":"S0218194025430028BIB014","first-page":"1422","volume-title":"Proc. Twenty-Eighth Int. Joint Conf. Artificial Intelligence","author":"Sreedharan S.","year":"2019"},{"key":"S0218194025430028BIB015","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1492"},{"key":"S0218194025430028BIB016","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v20i1.13421"},{"key":"S0218194025430028BIB017","first-page":"80","volume-title":"Proc. 9th Int. Joint Conf. Artificial Intelligence","author":"Ginsberg M. L.","year":"1985"},{"key":"S0218194025430028BIB018","first-page":"4152","volume-title":"Proc. Thirtieth Int. Joint Conf. Artificial Intelligence","author":"Lin S.","year":"2021"},{"key":"S0218194025430028BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.12.003"},{"key":"S0218194025430028BIB020","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i10.26418"},{"key":"S0218194025430028BIB021","first-page":"153","volume-title":"Proc. Thirty-Third Int. Conf. Automated Planning and Scheduling","author":"Gragera A.","year":"2023"},{"key":"S0218194025430028BIB022","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v34i1.31502"},{"key":"S0218194025430028BIB023","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i18.29984"},{"key":"S0218194025430028BIB024","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-long.143"},{"key":"S0218194025430028BIB025","first-page":"24824","volume-title":"Proc. 36th Int. Conf. Neural Information Processing Systems","author":"Wei J.","year":"2022"},{"key":"S0218194025430028BIB026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-35320-8_1"},{"key":"S0218194025430028BIB027","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"S0218194025430028BIB028","doi-asserted-by":"publisher","DOI":"10.1111\/exsy.70038"},{"key":"S0218194025430028BIB030","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194025430028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T07:24:20Z","timestamp":1758525860000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194025430028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":24,"journal-issue":{"issue":"09","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["10.1142\/S0218194025430028"],"URL":"https:\/\/doi.org\/10.1142\/s0218194025430028","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"type":"print","value":"0218-1940"},{"type":"electronic","value":"1793-6403"}],"subject":[],"published":{"date-parts":[[2025,7,8]]}}}