{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:25:54Z","timestamp":1770963954980,"version":"3.50.1"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"European Union under Project","award":["PE00000013"],"award-info":[{"award-number":["PE00000013"]}]},{"name":"MUR PRIN 2020","award":["E63C22000400001"],"award-info":[{"award-number":["E63C22000400001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1109\/lra.2025.3643276","type":"journal-article","created":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T18:47:32Z","timestamp":1765478852000},"page":"1770-1777","source":"Crossref","is-referenced-by-count":0,"title":["Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2418-6618","authenticated-orcid":false,"given":"Enrico","family":"Saccon","sequence":"first","affiliation":[{"name":"Department of Information Engineering and Computer Science, University of Trento, Trento, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7084-5706","authenticated-orcid":false,"given":"Davide","family":"De Martini","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and Computer Science, University of Trento, Trento, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9784-3973","authenticated-orcid":false,"given":"Matteo","family":"Saveriano","sequence":"additional","affiliation":[{"name":"Department of Industrial Engineering, University of Trento, Trento, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5526-2337","authenticated-orcid":false,"given":"Edoardo","family":"Lamon","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and Computer Science, University of Trento, Trento, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8813-8685","authenticated-orcid":false,"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and Computer Science, University of Trento, Trento, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9483-3940","authenticated-orcid":false,"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[{"name":"Department of Information Engineering and Computer Science, University of Trento, Trento, Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2020.103190"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910386986"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v27i1.13867"},{"key":"ref6","first-page":"1523","article-title":"Multiagent planning with factored MDPs","volume-title":"Proc. 15th Int. Conf. Neural Inf. Process. Syst. Natural Synthetic","author":"Guestrin","year":"2001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2909824.3020253"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-024-10412-x"},{"key":"ref9","first-page":"83","article-title":"A decision model of adaptive interaction selection for a robot companion","volume-title":"Proc. 5th Eur. Conf. Mobile Robots","author":"Karami","year":"2011"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1613\/jair.301"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-021-09997-9"},{"key":"ref12","first-page":"58478","article-title":"Revisiting out-of-distribution robustness in NLP: Benchmarks, analysis, and LLMs evaluations","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"36","author":"Yuan","year":"2023"},{"key":"ref13","article-title":"A survey on large language models for automated planning","author":"Aghzal","year":"2025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-025-01005-x"},{"key":"ref15","first-page":"1877","article-title":"Language models are few-shot learners","volume-title":"Proc. Int. Conf. Neural Inf. Process. Syst.","volume":"33","author":"Brown","year":"2020"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160591"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2023.XIX.025"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v34i1.31502"},{"key":"ref19","article-title":"PPDDL1.0: An extension to PPDDL for expressing planning domains with probabilistic effects","author":"Younes","year":"2004"},{"key":"ref20","article-title":"Relational dynamic influence diagram language (RDDL): Language description","volume":"32","author":"Sanner","year":"2010","journal-title":"Unpublished ms. Australian Nat. Univ."},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICOACS.2016.7563060"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/566"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-06013-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-024-40555-y"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-022-10389-w"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191319"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000076"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-017-5669-x"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/BRACIS.2016.068"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610800"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/b978-1-55860-856-6.x5000-5"},{"key":"ref32","first-page":"331","article-title":"Markov decision processes","volume-title":"Handbooks in Operations Research and Management Science","volume":"8","author":"Puterman","year":"1990"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_3"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.4324\/9781315845593"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1117\/12.223984"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00633-z"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90028-V"},{"issue":"2","key":"ref38","first-page":"35","article-title":"The 1998 AI planning systems competition","volume":"21","author":"McDermott","year":"2000","journal-title":"AI Mag."},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-77792-9_12"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7083369\/11293803\/11297748.pdf?arnumber=11297748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T05:43:08Z","timestamp":1770961388000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11297748\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":39,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/lra.2025.3643276","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2]]}}}