{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T20:04:50Z","timestamp":1787169890666,"version":"build-2736575974"},"reference-count":84,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T00:00:00Z","timestamp":1778025600000},"content-version":"vor","delay-in-days":5,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V05676X\/1"],"award-info":[{"award-number":["EP\/V05676X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Neural Comput & Applic"],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1007\/s00521-025-11711-7","type":"journal-article","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T07:53:11Z","timestamp":1778053991000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Supporting human-agent communication for explainable planning in spatial-temporal planning problems"],"prefix":"10.1007","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4577-4689","authenticated-orcid":false,"given":"Alan","family":"Lindsay","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9s A.","family":"Ram\u00edrez-Duque","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bart","family":"Craenen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David A.","family":"Robb","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emanuele","family":"De Pellegrin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurence","family":"Bo\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Munaf\u00f2","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ronald P. A.","family":"Petrick","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,6]]},"reference":[{"key":"11711_CR1","unstructured":"Fox M, Long D, Magazzeni D (2017) Explainable planning. arXiv preprint http:\/\/arxiv.org\/abs\/1709.10256"},{"key":"11711_CR2","doi-asserted-by":"crossref","unstructured":"Hoffmann J, Magazzeni D (2019) Explainable ai planning (xaip): overview and the case of contrastive explanation. Reasoning Web. Explainable Artificial Intelligence. Springer, New York, pp 277\u2013282","DOI":"10.1007\/978-3-030-31423-1_9"},{"key":"11711_CR3","doi-asserted-by":"crossref","unstructured":"Kambhampati S (2019) Synthesizing explainable behavior for human-ai collaboration. In: Proc. of the 18th Int. conference on autonomous agents and multiagent systems","DOI":"10.65109\/ZAOX1509"},{"key":"11711_CR4","doi-asserted-by":"crossref","unstructured":"Lindsay A (2019) Towards exploiting generic problem structures in explanations for automated planning. In: 10th International conference on knowledge capture, pp. 235\u2013238","DOI":"10.1145\/3360901.3364419"},{"key":"11711_CR5","doi-asserted-by":"crossref","unstructured":"Sohrabi S, Baier JA, McIlraith SA (2011) Preferred explanations: theory and generation via planning. In: 25th AAAI Conference on artificial intelligence","DOI":"10.1609\/aaai.v25i1.7845"},{"key":"11711_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.07.007","volume":"267","author":"T Miller","year":"2019","unstructured":"Miller T (2019) Explanation in artificial intelligence: insights from the social sciences. Artif Intell 267:1\u201338","journal-title":"Artif Intell"},{"key":"11711_CR7","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1613\/jair.1.12813","volume":"72","author":"B Krarup","year":"2021","unstructured":"Krarup B, Krivic S, Magazzeni D, Long D, Cashmore M, Smith D (2021) Contrastive explanations of plans through model restrictions. J Artif Intell Res (JAIR) 72:533\u2013612","journal-title":"J Artif Intell Res (JAIR)"},{"key":"11711_CR8","doi-asserted-by":"crossref","unstructured":"Eifler R, Brandao M, Coles A, Frank J, Hoffmann J(2022) Evaluating plan-property dependencies: a web-based platform and user study. In: Proceedings of the international conference on automated planning and scheduling, vol. 32, pp. 687\u2013691","DOI":"10.1609\/icaps.v32i1.19858"},{"key":"11711_CR9","unstructured":"Chakraborti T, Sreedharan S, Zhang Y, Kambhampati S (2017) Plan explanations as model reconciliation. In: Proceedings of the 26th international joint conference on artificial intelligence (IJCAI)"},{"key":"11711_CR10","doi-asserted-by":"crossref","unstructured":"Eifler R, Cashmore M, Hoffmann J, Magazzeni D, Steinmetz M (2020) A new approach to plan-space explanation: analyzing plan-property dependencies in oversubscription planning. In: Proceedings of the AAAI conference on artificial intelligence","DOI":"10.1609\/aaai.v34i06.6534"},{"key":"11711_CR11","doi-asserted-by":"crossref","unstructured":"Bobu A, Peng A, Agrawal P, Shah JA, Dragan AD (2024) Aligning human and robot representations. In: Proceedings of the 2024 ACM\/IEEE international conference on human-robot interaction, pp. 42\u201354","DOI":"10.1145\/3610977.3634987"},{"key":"11711_CR12","doi-asserted-by":"publisher","unstructured":"Lindsay A, Ram\u00edrez-Duque AA, Craenen B, Robb DA, De Pellegrin E, Bo\u00e9 L, Munaf\u00f2 A, Petrick RP (2025) Bridging the Human-Agent Representation Gap for Decision-Making Explanations in Autonomous Robots. In2025 34th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) 2025 Aug 25 (pp. 791-796). IEEE. https:\/\/doi.org\/10.1109\/RO-MAN63969.2025.11217889","DOI":"10.1109\/RO-MAN63969.2025.11217889"},{"key":"11711_CR13","doi-asserted-by":"crossref","unstructured":"Canal G, Aleny\u00e0 G, Torras C (2016) Personalization framework for adaptive robotic feeding assistance. In: International conference on social robotics","DOI":"10.1007\/978-3-319-47437-3_3"},{"key":"11711_CR14","doi-asserted-by":"crossref","unstructured":"Sanneman L (2019) Preference elicitation and explanation in iterative planning. In: Proceedings of the international joint conference on artificial intelligence","DOI":"10.24963\/ijcai.2019\/917"},{"key":"11711_CR15","doi-asserted-by":"crossref","unstructured":"Sreedharan S, Chakraborti T, Muise C, Khazaeni Y, Kambhampati S (2020) \u2013d3wa+\u2013a case study of xaip in a model acquisition task for dialogue planning. In: Proceedings of the international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v30i1.6744"},{"key":"11711_CR16","unstructured":"Sengupta S, Chakraborti T, Sreedharan S, Vadlamudi SG, Kambhampati S (2017) Radar\u2013a proactive decision support system for human-in-the-loop planning. In: 2017 AAAI Fall Symposium Series"},{"key":"11711_CR17","doi-asserted-by":"crossref","unstructured":"Chakraborti T, Fadnis KP, Talamadupula K, Dholakia M, Srivastava B, Kephart JO, Bellamy RKE (2018) Visualizations for an explainable planning agent. In: Proceedings of the twenty-seventh international joint conference on artificial intelligence, IJCAI-18","DOI":"10.24963\/ijcai.2018\/849"},{"key":"11711_CR18","unstructured":"Madumal P, Miller T, Vetere F, Sonenberg L (2018) Towards a grounded dialog model for explainable artificial intelligence. arXiv preprint http:\/\/arxiv.org\/abs\/1806.08055"},{"key":"11711_CR19","unstructured":"Magnaguagno MC, Pereira RF, M\u00f3re MD, Meneguzzi F (2017) WEB PLANNER: A tool to develop classical planning domains and visualize heuristic state-space search. In: Proceedings of the workshop on user interfaces and scheduling and planning, UISP, pp. 32\u201338"},{"key":"11711_CR20","unstructured":"Porteous J, Lindsay A, Charles F (2021) Communicating branching plans for human-agent decision making. In: ICAPS 2021 workshop on explainable AI planning"},{"key":"11711_CR21","unstructured":"De Pellegrin E, Petrick RP (2021) Automated planning and robotics simulation with pdsim. In: Proceedings of the ICAPS workshop on knowledge engineering for planning and scheduling (KEPS)"},{"key":"11711_CR22","doi-asserted-by":"crossref","unstructured":"Kumar A, Vasileiou SL, Bancilhon M, Ottley A, Yeoh W (2022) VizXP: A visualization framework for conveying explanations to users in model reconciliation problems. In: Proceedings of the international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v32i1.19860"},{"key":"11711_CR23","unstructured":"Canal G, Krivic S, Luff P, Coles A (2021) Task plan verbalizations with causal justifications. In: ICAPS 2021 Workshop on Explainable AI Planning (XAIP)"},{"key":"11711_CR24","doi-asserted-by":"crossref","unstructured":"Cantareira GD, Canal G, Borgo R (2022) Actor-focused interactive visualization for ai planning. In: Proceedings of the international conference on automated planning and scheduling, vol. 32, pp. 678\u2013686","DOI":"10.1609\/icaps.v32i1.19857"},{"key":"11711_CR25","doi-asserted-by":"crossref","unstructured":"Shah N, Verma P, Angle T, Srivastava S (2022) JEDAI: A system for skill-aligned explainable robot planning. In: Proceedings of the 21st international conference on autonomous agents and multiagent systems","DOI":"10.65109\/TMCF9861"},{"key":"11711_CR26","doi-asserted-by":"crossref","unstructured":"Sreedharan S, Chakraborti T, Kambhampati S (2018) Handling model uncertainty and multiplicity in explanations via model reconciliation. In: Proceedings of the international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v28i1.13930"},{"key":"11711_CR27","unstructured":"Carreno Y, Lindsay A, Petrick R (2021) Explaining temporal plans with incomplete knowledge and sensing information. In: ICAPS 2021 workshop on explainable AI planning"},{"key":"11711_CR28","doi-asserted-by":"publisher","first-page":"1473","DOI":"10.1613\/jair.1.13431","volume":"73","author":"SL Vasileiou","year":"2022","unstructured":"Vasileiou SL, Yeoh W, Son TC, Kumar A, Cashmore M, Magazzeni D (2022) A logic-based explanation generation framework for classical and hybrid planning problems. J Artif Intell Res 73:1473\u20131534","journal-title":"J Artif Intell Res"},{"key":"11711_CR29","unstructured":"Helmert M (2001) On the complexity of planning in transportation and manipulation domains. Diploma thesis, Albert-Ludwigs-Universit\u00e4t Freiburg"},{"key":"11711_CR30","doi-asserted-by":"crossref","unstructured":"Vallati M, Magazzeni D, De Schutter B, Chrpa L, McCluskey TL (2016) Efficient macroscopic urban traffic models for reducing congestion: a pddl+ planning approach. In: Proceedings of the AAAI conference on artificial intelligence","DOI":"10.1609\/aaai.v30i1.10399"},{"issue":"2","key":"11711_CR31","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1109\/TASE.2016.2636662","volume":"15","author":"M Cashmore","year":"2017","unstructured":"Cashmore M, Fox M, Long D, Magazzeni D, Ridder B (2017) Opportunistic planning in autonomous underwater missions. IEEE Trans Autom Sci Eng 15(2):519\u2013530","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"11711_CR32","doi-asserted-by":"crossref","unstructured":"Lipovetzky N, Burt CN, Pearce AR, Stuckey PJ (2014) Planning for mining operations with time and resource constraints. In: Twenty-Fourth international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v24i1.13666"},{"key":"11711_CR33","unstructured":"Fox M, Long D (2001) Hybrid STAN: Identifying and managing combinatorial sub-problems in planning. In: Proceedings of 17th international joint conference on artifical intelligence"},{"key":"11711_CR34","unstructured":"Coles AI, Smith AJ (2006) Generic types and their use in improving the quality of search heuristics. In: Proceedings of the 25th workshop of the UK planning and scheduling special interest group. PlanSIG 2006"},{"key":"11711_CR35","unstructured":"Lindsay A, Fox M, Long D (2009) Lifting the limitations in a rule-based policy language. In: FLAIRS Conference"},{"key":"11711_CR36","unstructured":"Murray L (2002) Reuse of control knowledge in planning domains. Technical report, University of Durham"},{"issue":"2","key":"11711_CR37","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10994-013-5407-y","volume":"94","author":"D Goldwasser","year":"2014","unstructured":"Goldwasser D, Roth D (2014) Learning from natural instructions. Mach Learn 94(2):205\u2013232","journal-title":"Mach Learn"},{"key":"11711_CR38","doi-asserted-by":"crossref","unstructured":"Siddle J, Lindsay A, Ferreira JF, Porteous J, Read J, Charles F, Cavazza M, Georg G (2017) Visualization of patient behavior from natural language recommendations. In: Proceedings of the knowledge capture conference, p. 25 . ACM","DOI":"10.1145\/3148011.3148036"},{"key":"11711_CR39","unstructured":"Oates T (2001) Grounding knowledge in sensors : unsupervised learning for language and planning. PhD thesis, University of Massachusetts at Amherst"},{"key":"11711_CR40","doi-asserted-by":"crossref","unstructured":"Hayes B, Shah JA (2017) Improving robot controller transparency through autonomous policy explanation. In: Proceedings of the 2017 ACM\/IEEE international conference on human-robot interaction, pp. 303\u2013312","DOI":"10.1145\/2909824.3020233"},{"key":"11711_CR41","doi-asserted-by":"crossref","unstructured":"Wang J, Shi E, Hu H, Ma C, Liu Y, Wang X, Yao Y, Liu X, Ge B, Zhang S (2024) Large language models for robotics: opportunities, challenges, and perspectives. J Autom Intell","DOI":"10.1016\/j.jai.2024.12.003"},{"key":"11711_CR42","unstructured":"Kambhampati S, Valmeekam K, Guan L, Verma M, Stechly K, Bhambri S, Saldyt LP, Murthy AB (2024) Position: LLMs can\u2019t plan, but can help planning in llm-modulo frameworks. In: Forty-first international conference on machine learning"},{"key":"11711_CR43","doi-asserted-by":"crossref","unstructured":"Simpson RM, Kitchin DE, McCluskey TL (2007) Planning domain definition using GIPO. Knowl Eng Rev","DOI":"10.1017\/S0269888907001063"},{"key":"11711_CR44","unstructured":"Vaquero TS, Romero V, Tonidandel F, Silva JR (2007) itsimple 2.0: an integrated tool for designing planning domains. In: International conference on automated planning and scheduling, pp. 336\u2013343"},{"key":"11711_CR45","doi-asserted-by":"crossref","unstructured":"Wickler G, Chrpa L, McCluskey TL (2014) KEWI - A knowledge engineering tool for modelling AI planning tasks. In: International conference on knowledge engineering and ontology development, pp. 36\u201347","DOI":"10.5220\/0005034400360047"},{"key":"11711_CR46","doi-asserted-by":"crossref","unstructured":"Wu K, Yang Q, Jiang Y (2007) ARMS: an automatic knowledge engineering tool for learning action models for AI planning. Knowl Eng Rev","DOI":"10.1017\/S0269888907001087"},{"key":"11711_CR47","unstructured":"Mourao K, Zettlemoyer L, Petrick RPA, Steedman M (2012) Learning STRIPS Operators from Noisy and Incomplete Observations. In: Uncertainty in Artifical Intelligence, pp. 614\u2013623 . http:\/\/arxiv.org\/abs\/1210.4889"},{"key":"11711_CR48","doi-asserted-by":"crossref","unstructured":"Lindsay A, Read J, Ferreira JF, Hayton T, Porteous J, Gregory PJ (2017) Framer: planning models from natural language action descriptions. In: Proceedings of the international conference on automated planning and scheduling (ICAPS)","DOI":"10.1609\/icaps.v27i1.13850"},{"key":"11711_CR49","unstructured":"Shah N, Nagpal J, Verma P, Srivastava S (2024) From reals to logic and back: inventing symbolic vocabularies, actions and models for planning from raw data. arXiv preprint http:\/\/arxiv.org\/abs\/2402.11871"},{"key":"11711_CR50","doi-asserted-by":"crossref","unstructured":"Verma P, Marpally SR, Srivastava S (2021) Asking the right questions: Learning interpretable action models through query answering. In: Proceedings of the AAAI conference on artificial intelligence","DOI":"10.1609\/aaai.v35i13.17428"},{"key":"11711_CR51","doi-asserted-by":"crossref","unstructured":"Lindsay A, Franco S, Reba R, McCluskey TL(2020) Refining process descriptions from execution data in hybrid planning domain models. In: Proceedings of the 30th international conference on automated planning and scheduling (ICAPS)","DOI":"10.1609\/icaps.v30i1.6742"},{"key":"11711_CR52","doi-asserted-by":"crossref","unstructured":"Porteous J, Ferreira JF, Lindsay A, Cavazza M (2021) Automated narrative planning model extension. J Autonom Agents Multi-Agent Syst","DOI":"10.1007\/s10458-021-09501-1"},{"key":"11711_CR53","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) Pddl2.1: an extension to pddl for expressing temporal planning domains. J Artif Intell Res 20:61\u2013124","journal-title":"J Artif Intell Res"},{"key":"11711_CR54","unstructured":"Edelkamp S, Hoffmann J(2004) Pddl2. 2: The language for the classical part of the 4th international planning competition. Technical report, Technical Report 195, University of Freiburg"},{"issue":"12","key":"11711_CR55","doi-asserted-by":"publisher","first-page":"1740","DOI":"10.1049\/iet-rsn.2017.0074","volume":"11","author":"G Ferri","year":"2017","unstructured":"Ferri G, Munaf\u00f2 A, Tesei A, Braca P, Meyer F, Pelekanakis K, Petroccia R, Alves J, Strode C, LePage K (2017) Cooperative robotic networks for underwater surveillance: an overview. IET Radar Sonar Navig 11(12):1740\u20131761. https:\/\/doi.org\/10.1049\/iet-rsn.2017.0074","journal-title":"IET Radar Sonar Navig"},{"issue":"20","key":"11711_CR56","doi-asserted-by":"publisher","first-page":"3290","DOI":"10.3390\/rs12203290","volume":"12","author":"A Hamilton","year":"2020","unstructured":"Hamilton A, Holdcroft S, Fenucci D, Mitchell P, Morozs N, Munaf\u00f2 A, Sitbon J (2020) Adaptable underwater networks: the relation between autonomy and communications. Remote Sensing 12(20):3290","journal-title":"Remote Sensing"},{"key":"11711_CR57","doi-asserted-by":"crossref","unstructured":"Rajan, K., Py, F., Barreiro, J.: Towards deliberative control in marine robotics. In: Marine Robot Autonomy, pp. 91\u2013175. Springer, New York (2012)","DOI":"10.1007\/978-1-4614-5659-9_3"},{"key":"11711_CR58","doi-asserted-by":"crossref","unstructured":"Carreno Y, Pairet \u00c8, Petillot Y, Petrick RP(2020) A decentralised strategy for heterogeneous auv missions via goal distribution and temporal planning. In: Proceedings of the international conference on automated planning and scheduling, vol. 30, pp. 431\u2013439","DOI":"10.1609\/icaps.v30i1.6738"},{"issue":"2","key":"11711_CR59","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1109\/TASE.2016.2636662","volume":"15","author":"M Cashmore","year":"2017","unstructured":"Cashmore M, Fox M, Long D, Magazzeni D, Ridder B (2017) Opportunistic planning in autonomous underwater missions. IEEE Trans Autom Sci Eng 15(2):519\u2013530. https:\/\/doi.org\/10.1109\/TASE.2016.2636662","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"11711_CR60","unstructured":"McDermott D, Ghallab M, Howe A, Knoblock C, Ram A, Veloso M, Weld D, Wilkins D (1998) PDDL-the planning domain definition language. Technical report, Yale University"},{"issue":"4","key":"11711_CR61","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1177\/002383099103400404","volume":"34","author":"AH Anderson","year":"1991","unstructured":"Anderson AH, Bader M, Bard EG, Boyle E, Doherty G, Garrod S, Isard S, Kowtko J, McAllister J, Miller J et al (1991) The HCRC map task corpus. Lang Speech 34(4):351\u2013366","journal-title":"Lang Speech"},{"key":"11711_CR62","unstructured":"Amodei D, Olah C, Steinhardt J, Christiano P, Schulman J, Man\u00e9 D(2016) Concrete problems in ai safety"},{"key":"11711_CR63","unstructured":"Xie Y, Yu C, Zhu T, Bai J, Gong Z, Soh H (2023) Translating natural language to planning goals with large-language models"},{"key":"11711_CR64","unstructured":"Long D, Fox M (2002) 4. In: Lakemeyer, G., Nebel, B. (eds.) Planning with Generic Types. Exploring Artificial Intelligence in the New Millenium, pp. 103\u2013138. Morgan Kaufmann, San Francisco"},{"key":"11711_CR65","unstructured":"Long D, Fox M (2001) Multi-processor scheduling problems in planning. In: Proceedings of the international conference on AI (IC-AI\u201901)"},{"key":"11711_CR66","unstructured":"Long D, Dolejsi J, Stolba M (2023) Scheduling problems in PDDL. In: ICAPS Workshop on knowledge engineering for planning and scheduling"},{"key":"11711_CR67","first-page":"707","volume":"10","author":"VI Levenshtein","year":"1966","unstructured":"Levenshtein VI (1966) Binary codes capable of correcting deletions, insertions and reversals. Cybern Control Theory 10:707\u2013710","journal-title":"Cybern Control Theory"},{"key":"11711_CR68","unstructured":"Fox M, Long D, Halsey K (2004) An investigation into the expressive power of pddl2.1. In: Proceedings of the European conference on artificial intelligence"},{"key":"11711_CR69","unstructured":"SeeByte: Neptune technical whitepaper, https:\/\/www.seebyte.com\/images\/section\/uploads\/neptune-technical-whitepaper.pdf, accessed February, 2026 (2018)."},{"key":"11711_CR70","doi-asserted-by":"crossref","unstructured":"Gregory P, Long D, McNulty C, Murphy S(2011) Exploiting path refinement abstraction in domain transition graphs. In: Proceedings of the AAAI conference on artificial intelligence, vol. 25, pp. 971\u2013976","DOI":"10.1609\/aaai.v25i1.8012"},{"key":"11711_CR71","doi-asserted-by":"crossref","unstructured":"De Bortoli M, Chrpa L, Gebser M, Steinbauer-Wagner G (2023) Enhancing temporal planning by sequential macro-actions. In: Proceedings of the European conference of logics in artificial intelligence","DOI":"10.1007\/978-3-031-43619-2_40"},{"key":"11711_CR72","doi-asserted-by":"crossref","unstructured":"Sreedharan S, Srivastava S, Smith D, Kambhampati S (2019) Why can\u2019t you do that HAL? explaining unsolvability of planning tasks. In: International joint conference on artificial intelligence","DOI":"10.24963\/ijcai.2019\/197"},{"key":"11711_CR73","unstructured":"SeeByte: Seetrack v4 technical whitepaper, https:\/\/www.seebyte.com\/images\/section\/uploads\/seetrack-v4-technical-whitepaper-1.pdf, accessed February, 2026 (2018)."},{"key":"11711_CR74","doi-asserted-by":"crossref","unstructured":"Lindsay A, Ram\u00edrez-Duque AA, Craenen B, Munaf\u00f2 A, Bo\u00e9 L, Campbell A, Petrick RP (2024) Supporting explainable planning and human-aware mission specification for underwater robots. InAnnual Conference Towards Autonomous Robotic Systems. Sep 21 (pp. 28-40). Cham: Springer Nature Switzerland.","DOI":"10.1007\/978-3-031-72059-8_3"},{"key":"11711_CR75","doi-asserted-by":"crossref","unstructured":"Hastie H, Garcia FJC, Robb DA, Patron P, Laskov A (2017). Miriam: a multimodal chat-based interface for autonomous systems. In: Proceedings of the 19th ACM International conference on multimodal interaction https:\/\/doi.org\/10.1145\/3136755.3143022","DOI":"10.1145\/3136755.3143022"},{"key":"11711_CR76","doi-asserted-by":"crossref","unstructured":"Benton J, Coles A, Coles A (2012) Temporal planning with preferences and time-dependent continuous costs. In: Proceedings of the international conference on automated planning and scheduling, vol. 22, pp. 2\u201310","DOI":"10.1609\/icaps.v22i1.13509"},{"key":"11711_CR77","unstructured":"Bocklisch T, Faulkner J, Pawlowski N, Nichol A (2017) Rasa: open source language understanding and dialogue management. arXiv preprint http:\/\/arxiv.org\/abs\/1712.05181"},{"key":"11711_CR78","unstructured":"Diao S (2023) mlconjug3. GitHub. Note: https:\/\/github.com\/Ars-Linguistica\/mlconjug3 Cited by"},{"key":"11711_CR79","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.1240","volume":"20","author":"D Long","year":"2003","unstructured":"Long D, Fox M (2003) The 3rd international planning competition: results and analysis. J Artif Intell Res 20:1\u201359","journal-title":"J Artif Intell Res"},{"key":"11711_CR80","doi-asserted-by":"crossref","unstructured":"Robb DA, Lopes J, Padilla S, Laskov A, Chiyah Garcia FJ, Liu X, Scharff Willners J, Valeyrie N, Lohan K, Lane D, et al.: Exploring interaction with remote autonomous systems using conversational agents. In: Proceedings of the 2019 on designing interactive systems conference, pp. 1543\u20131556 (2019)","DOI":"10.1145\/3322276.3322318"},{"key":"11711_CR81","volume-title":"Basics of qualitative research","author":"J Corbin","year":"2015","unstructured":"Corbin J, Strauss A (2015) Basics of qualitative research, vol 14. Sage, Thousand Oaks"},{"key":"11711_CR82","doi-asserted-by":"crossref","unstructured":"Eifler R, Steinmetz M, Torralba A, Hoffmann J (2020) Plan-space explanation via plan-property dependencies: Faster algorithms & more powerful properties. In: Proceedings of the twenty-ninth international joint conference on artificial intelligence, IJCAI-20","DOI":"10.24963\/ijcai.2020\/566"},{"key":"11711_CR83","doi-asserted-by":"crossref","unstructured":"Seimetz V, Eifler R, Hoffmann J (2021) Learning temporal plan preferences from examples: An empirical study. In: Proceedings of the international joint conference on artificial intelligence","DOI":"10.24963\/ijcai.2021\/572"},{"key":"11711_CR84","doi-asserted-by":"crossref","unstructured":"Tantakoun M, Zhu X, Muise C(2025) Llms as planning modelers: a survey for leveraging large language models to construct automated planning models. arXiv preprint http:\/\/arxiv.org\/abs\/2503.18971","DOI":"10.18653\/v1\/2025.findings-acl.1291"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-025-11711-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00521-025-11711-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-025-11711-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T18:24:37Z","timestamp":1782152677000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00521-025-11711-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":84,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2026,5]]}},"alternative-id":["11711"],"URL":"https:\/\/doi.org\/10.1007\/s00521-025-11711-7","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"value":"0941-0643","type":"print"},{"value":"1433-3058","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5]]},"assertion":[{"value":"2 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 December 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"370"}}