{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T12:02:01Z","timestamp":1752667321756,"version":"3.41.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/iros.2016.7759412","type":"proceedings-article","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T21:08:02Z","timestamp":1482181682000},"page":"2649-2654","source":"Crossref","is-referenced-by-count":12,"title":["A model for verifiable grounding and execution of complex natural language instructions"],"prefix":"10.1109","author":[{"given":"Adrian","family":"Boteanu","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Howard","sequence":"additional","affiliation":[]},{"given":"Jacob","family":"Arkin","sequence":"additional","affiliation":[]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2013.IX.023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7354117"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-00065-7_28"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1162\/tacl_a_00209","article-title":"Weakly supervised learning of semantic parsers for mapping instructions to actions","volume":"1","author":"artzi","year":"2013","journal-title":"Association of Computational Linguistics"},{"journal-title":"Learning to interpret natural language commands through human-robot dialog","year":"2015","author":"thomason","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907489"},{"key":"ref19","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.04.007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(90)90087-6"},{"key":"ref6","first-page":"572","article-title":"Entity resolution with markov logic","author":"singla","year":"2006","journal-title":"Data Mining 2006 ICDM'06 Sixth International Conference on"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/09540090802445113"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907841"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v25i1.7979","article-title":"Understanding natural language commands for robotic navigation and mobile manipulation","author":"tellex","year":"2011","journal-title":"AAAI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(02)00166-5"},{"key":"ref1","first-page":"38","article-title":"Training personal robots using natural language instruction","author":"lauriar","year":"2001","journal-title":"IEEE Intelligent Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225257"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s12369-012-0160-0"},{"key":"ref21","first-page":"300","article-title":"A hierarchical task-network planner based on symbolic model checking","author":"kuter","year":"2005","journal-title":"ICAPS"},{"key":"ref23","article-title":"Learning from demonstration for goal-driven autonomy","author":"weber","year":"2012","journal-title":"AAAI"}],"event":{"name":"2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2016,10,9]]},"location":"Daejeon, South Korea","end":{"date-parts":[[2016,10,14]]}},"container-title":["2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7743711\/7758082\/07759412.pdf?arnumber=7759412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T19:06:19Z","timestamp":1749841579000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7759412\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iros.2016.7759412","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}