{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:15:13Z","timestamp":1771024513624,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10610800","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"17065-17071","source":"Crossref","is-referenced-by-count":3,"title":["When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications"],"prefix":"10.1109","author":[{"given":"Enrico","family":"Saccon","sequence":"first","affiliation":[{"name":"Università di Trento,Dipartimento di Ingegneria e Scienza Dell’Informazione,Trento,Italy"}]},{"given":"Ahmet","family":"Tikna","sequence":"additional","affiliation":[{"name":"Università di Trento,Dipartimento di Ingegneria e Scienza Dell’Informazione,Trento,Italy"}]},{"given":"Davide","family":"De Martini","sequence":"additional","affiliation":[{"name":"Università di Trento,Dipartimento di Ingegneria e Scienza Dell’Informazione,Trento,Italy"}]},{"given":"Edoardo","family":"Lamon","sequence":"additional","affiliation":[{"name":"Università di Trento,Dipartimento di Ingegneria e Scienza Dell’Informazione,Trento,Italy"}]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[{"name":"Università di Trento,Dipartimento di Ingegneria e Scienza Dell’Informazione,Trento,Italy"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[{"name":"Università di Trento,Dipartimento di Ingegneria e Scienza Dell’Informazione,Trento,Italy"}]}],"member":"263","reference":[{"key":"ref1","first-page":"13","article-title":"A survey of knowledge representation in service robotics","volume-title":"Robotics and Autonomous Systems","volume":"118","author":"Paulius","year":"2019"},{"issue":"2","key":"ref2","article-title":"Semantic information for robot navigation: A survey","volume-title":"Applied Sciences","volume":"10","author":"Crespo","year":"2020"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913481635"},{"key":"ref4","first-page":"1","article-title":"Planning for multiagent using asp-prolog","volume-title":"International Workshop on Computational Logic in Multi-Agent Systems","author":"Son"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-009-9151-4"},{"key":"ref6","first-page":"2011","article-title":"Natural language processing with prolog in the ibm watson system","volume":"9","author":"Lally","year":"2011","journal-title":"The Association for Logic Programming (ALP) Newsletter"},{"key":"ref7","article-title":"Gpt-4 technical report","year":"2023"},{"key":"ref8","article-title":"Introducing chatgpt"},{"key":"ref9","article-title":"Palm 2 technical report","author":"Anil","year":"2023"},{"key":"ref10","article-title":"Attention is all you need","volume-title":"NIPS","author":"Vaswani","year":"2017"},{"key":"ref11","article-title":"Talking about large language models","author":"Shanahan","year":"2023"},{"key":"ref12","article-title":"A survey of large language models","author":"Zhao","year":"2023"},{"issue":"1","key":"ref13","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1038\/s41746-023-00873-0","article-title":"The imperative for regulatory oversight of large language models (or generative ai) in healthcare","volume":"6","author":"\u00b4","year":"2023","journal-title":"npj Digital Medicine"},{"issue":"1","key":"ref14","first-page":"659","article-title":"Understanding natural language in context","volume-title":"Proceedings of the International Conference on Automated Planning and Scheduling","volume":"33","author":"Levy"},{"key":"ref15","article-title":"Large language models still can\u2019t plan (a benchmark for llms on planning and reasoning about change)","author":"Valmeekam","year":"2023"},{"key":"ref16","article-title":"PDDL planning with pretrained large language models","volume-title":"NeurIPS 2022 Foundation Models for Decision Making Workshop","author":"Silver"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160591"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104096"},{"key":"ref19","volume-title":"Automated planning - theory and practice","author":"Ghallab","year":"2004"},{"key":"ref20","first-page":"1852","article-title":"When is temporal planning really temporal?","volume-title":"IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6 - 12, 2007","author":"Cushing"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.08.003"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3608"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"ref24","first-page":"1:1","article-title":"Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning","volume-title":"28th International Symposium on Temporal Representation and Reasoning (TIME 2021)","volume":"206","author":"Hunsberger"},{"key":"ref25","volume-title":"SWI-Prolog","year":"2023"},{"key":"ref26","volume-title":"NetworkX","year":"2024"},{"key":"ref27","volume-title":"A new approach for managing knowledge and planning in robotic applications","year":"2023"},{"key":"ref28","article-title":"Constructing behaviour trees from pddl temporal plans","volume-title":"Tech. Rep.","author":"Zapf","year":"2023"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","location":"Yokohama, Japan","start":{"date-parts":[[2024,5,13]]},"end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10610800.pdf?arnumber=10610800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T05:21:51Z","timestamp":1723267311000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10610800\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10610800","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}