{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T06:19:22Z","timestamp":1762237162959,"version":"build-2065373602"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T00:00:00Z","timestamp":1756080000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T00:00:00Z","timestamp":1756080000000},"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":[[2025,8,25]]},"DOI":"10.1109\/ro-man63969.2025.11217601","type":"proceedings-article","created":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T18:42:29Z","timestamp":1762195349000},"page":"394-401","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating Embeddable Language Models in Verbalizing Rule-based Inferences through Justifications"],"prefix":"10.1109","author":[{"given":"Bastien","family":"Dussard","sequence":"first","affiliation":[{"name":"LAAS-CNRS, Université de Toulouse, CNRS,Toulouse,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aur\u00e9lie","family":"Clodic","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, Université de Toulouse, CNRS,Toulouse,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Sarthou","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, Université de Toulouse, CNRS,Toulouse,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jai.2024.12.003"},{"article-title":"Do as i can, not as i say: Grounding language in robotic affordances","year":"2022","author":"Ahn","key":"ref2"},{"article-title":"Explaining autonomy: Enhancing human-robot interaction through explanation generation with large language models","year":"2024","author":"Sobr\u00edn-Hidalgo","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.5898\/JHRI.3.2.Beer"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.1229"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnlest.2022.100159"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.272"},{"article-title":"Gsm-symbolic: Understanding the limitations of mathematical reasoning in large language models","year":"2024","author":"Mirzadeh","key":"ref8"},{"key":"ref9","article-title":"Are emergent abilities of large language models a mirage?","author":"Schaeffer","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64021-1_6"},{"article-title":"Premise order matters in reasoning with large language models","year":"2024","author":"Chen","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-95-2725-0_25"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85658-0_3"},{"key":"ref14","article-title":"Sydney owl syntax-towards a controlled natural language syntax for owl 1.1","author":"Cregan","year":"2007","journal-title":"OWLED"},{"article-title":"Verbalizing owl in attempto controlled english","year":"2007","author":"Kaljurand","key":"ref15"},{"article-title":"SWAT Ontology Verbaliser","year":"2017","author":"Power","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4017"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-93842-0_10"},{"article-title":"Analyzing llama 3-based approach for axiom translation from ontologies","volume-title":"CEUR Workshop Proceedings. CEUR-WS","author":"Hao","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aaaiss.v4i1.31797"},{"article-title":"Measuring the understandability of deduction rules for owl","year":"2012","author":"Nguyen","key":"ref21"},{"key":"ref22","article-title":"Testing the adequacy of automated explanations of el subsumptions","author":"Schiller","year":"2017","journal-title":"Description Logics"}],"event":{"name":"2025 34th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)","start":{"date-parts":[[2025,8,25]]},"location":"Eindhoven, Netherlands","end":{"date-parts":[[2025,8,29]]}},"container-title":["2025 34th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11217544\/11217526\/11217601.pdf?arnumber=11217601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T06:16:21Z","timestamp":1762236981000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11217601\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,25]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ro-man63969.2025.11217601","relation":{},"subject":[],"published":{"date-parts":[[2025,8,25]]}}}