{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:17:05Z","timestamp":1760347025335,"version":"3.37.3"},"reference-count":53,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"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":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/tro.2021.3123840","type":"journal-article","created":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T21:01:00Z","timestamp":1637614860000},"page":"2495-2515","source":"Crossref","is-referenced-by-count":5,"title":["Explainable Robotic Plan Execution Monitoring Under Partial Observability"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8821-6214","authenticated-orcid":false,"given":"Gokay","family":"Coruhlu","sequence":"first","affiliation":[{"name":"Faculty of Engineering and Natural Sciences, Sabancı University, İstanbul, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esra","family":"Erdem","sequence":"additional","affiliation":[{"name":"Faculty of Engineering and Natural Sciences, Sabancı University, İstanbul, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6644-3937","authenticated-orcid":false,"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[{"name":"Faculty of Engineering and Natural Sciences, Sabancı University, İstanbul, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Monitoring the generation and execution of optimal plans","year":"2009","author":"Fritz","key":"ref1"},{"article-title":"Monitoring the execution of temporal plans for robotic systems","year":"2012","author":"Levine","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"ref4","first-page":"1070","article-title":"The stable model semantics for logic programming","volume-title":"Proc. Int. Log. Program. Conf. Symp.","author":"Gelfond","year":"1988"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-24658-7","volume-title":"Answer Set Program.","author":"Lifschitz","year":"2019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-018-0544-x"},{"key":"ref8","first-page":"453","article-title":"Execution monitoring of high-level robot programs","volume-title":"Proc. Princ. Knowl. Representation Reasoning","author":"Giacomo","year":"1998"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3146389"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631224"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-012-0119-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794128"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(72)90051-3"},{"article-title":"Execution Monitoring  A Survey","year":"2005","author":"Fritz","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2005.09.004"},{"key":"ref18","first-page":"83","article-title":"Integrating planning, execution and monitoring","volume-title":"Proc. AAAI Conf. Artif. Intell.","author":"Ambros-Ingerson","year":"1988"},{"issue":"2-4","key":"ref19","first-page":"371","article-title":"Intelligent execution monitoring in dynamic environments","volume":"57","author":"Fichtner","year":"2003","journal-title":"Fundam. Inform."},{"issue":"1","key":"ref20","first-page":"131","article-title":"Knowledge enabled high-level task abstraction and execution","volume-title":"Proc. Conf. Adv. Cogn. Syst.","volume":"2","author":"Winkler","year":"2012"},{"key":"ref21","first-page":"617","article-title":"Interleaving temporal planning and execution in robotics domains","volume-title":"Proc. AAAI Conf. Artif. Intell.","author":"Lemai","year":"2004"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11973-1_41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913484072"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139646"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.08.008"},{"issue":"1-2","key":"ref26","first-page":"25","article-title":"A logic-based approach to finding explanations for discrepancies in optimistic plan execution","volume":"79","author":"Eiter","year":"2007","journal-title":"Fundam. Inform."},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-007-9017-6"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_25"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"ref32","first-page":"311","article-title":"Formulating diagnostic problem solving using an action language with narratives and sensing","volume-title":"Proc. Princ. Knowl. Representation Reasoning","author":"Baral","year":"2000"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00141-0"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000321"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068420000319"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920963783"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3434073.3444657"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v26i1.8449"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/669"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139461"},{"key":"ref44","first-page":"198","article-title":"Elaboration tolerance","volume-title":"Proc. Int. Symp. Commonsense Reasoning","author":"McCarthy","year":"1998"},{"key":"ref45","first-page":"90","article-title":"A uniform integration of higher-order reasoning and external evaluations in answer-set programming","volume-title":"Proc. Int. Joint Conf. Artif. Intell.","author":"Eiter","year":"2005"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25116-0_9"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.004"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2011-0491"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150697"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9721-x"},{"article-title":"Automated construction of robotic manipulation programs","year":"2010","author":"Diankov","key":"ref53"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/9851593\/09623348.pdf?arnumber=9623348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T02:05:40Z","timestamp":1705025140000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9623348\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":53,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tro.2021.3123840","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"type":"print","value":"1552-3098"},{"type":"electronic","value":"1941-0468"}],"subject":[],"published":{"date-parts":[[2022,8]]}}}