{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:24:51Z","timestamp":1756992291022,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"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":[[2022,10,23]]},"DOI":"10.1109\/iros47612.2022.9981811","type":"proceedings-article","created":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:38:15Z","timestamp":1672083495000},"page":"6109-6115","source":"Crossref","is-referenced-by-count":3,"title":["Givenness Hierarchy Informed Optimal Document Planning for Situated Human-Robot Interaction"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Spevak","sequence":"first","affiliation":[{"name":"Colorado School of Mines,All authors are with the Department of Computer Science,CO,USA,80401"}]},{"given":"Zhao","family":"Han","sequence":"additional","affiliation":[{"name":"Colorado School of Mines,All authors are with the Department of Computer Science,CO,USA,80401"}]},{"given":"Tom","family":"Williams","sequence":"additional","affiliation":[{"name":"Colorado School of Mines,All authors are with the Department of Computer Science,CO,USA,80401"}]},{"given":"Neil T.","family":"Dantam","sequence":"additional","affiliation":[{"name":"Colorado School of Mines,All authors are with the Department of Computer Science,CO,USA,80401"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2307\/416535"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.pragma.2009.09.010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HRI.2016.7451767"},{"key":"ref4","first-page":"457","article-title":"A givenness hierarchy theoretic approach","author":"Williams","year":"2019","journal-title":"The Oxford handbook of reference"},{"key":"ref5","article-title":"Givenness hierarchy theoretic cognitive status filtering","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society","author":"Pal","year":"2020"},{"issue":"43","key":"ref6","article-title":"Givenness hierarchy theoretic referential choice in situated contexts","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society","volume":"43","author":"Pal","year":"2021"},{"journal-title":"PDDL-the planning domain definition language, AIPS-98 Planning Competition Committee","year":"1998","author":"McDermott","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/23273798.2019.1636103"},{"key":"ref9","article-title":"Refer efficiently: Use less informative expressions for more predictable meanings","volume-title":"Proceedings of the workshop on the production of referring expressions: Bridging the gap between computational and empirical approaches to reference","author":"Tily","year":"2009"},{"key":"ref10","article-title":"Priming discourse structure guides pronoun comprehension","volume-title":"Poster, CUNY conference on human sentence processing, University of Colorado","author":"Williams","year":"2019"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1163\/9789004368811_003"},{"key":"ref12","first-page":"97","article-title":"Deixis","volume-title":"The handbook of pragmatics","author":"Levinson","year":"2004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3481628"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561182"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/026783700417249"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S1351324910000227"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2016.00221"},{"key":"ref18","first-page":"685","article-title":"Cognitive status and form of reference in multimodal human-computer interaction","author":"Kehler","year":"2000","journal-title":"AAAI\/IAAI"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/964442.964457"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1162\/089120100561692"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5477"},{"issue":"1","key":"ref22","first-page":"191","article-title":"Issues in the choice of a source for natural language generation","volume":"19","author":"McDonald","year":"1993","journal-title":"Computational Linguistics"},{"key":"ref23","first-page":"359","article-title":"Planning as satisfiability","volume":"92","author":"Kautz","year":"1992","journal-title":"ECAI"},{"key":"ref24","first-page":"684","article-title":"Engineering efficient planners with SAT","author":"Rintanen","year":"2012","journal-title":"ECAI"},{"key":"ref25","first-page":"58","article-title":"Blackbox: A new approach to the application of theorem proving to problem solving","volume-title":"AIPS98 Workshop on Planning as Combinatorial Search","author":"Kautz","year":"1998"},{"key":"ref26","first-page":"66","article-title":"Madagascar: Scalable planning with SAT","author":"Rintanen","year":"2014","journal-title":"8th International Planning Competition (IPC-2014)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918761570"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"ref29","first-page":"310","article-title":"Reviving integer programming approaches for ai planning: A branch-and-cut framework","author":"Van Den Briel","year":"2005","journal-title":"ICAPS"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9760"},{"key":"ref31","first-page":"194","article-title":"vz-an optimizing SMT solver","volume":"15","author":"Bj\u03d5rner","year":"2015","journal-title":"TACAS"},{"volume-title":"Gurobi optimizer reference manual","year":"2022","author":"Gurobi Optimization","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23786-7_2"},{"key":"ref34","article-title":"Coding protocol for statuses on the givenness hierarchy","volume-title":"Unpublished manuscript (1993\/2006)","author":"Gundel","year":"2006"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-97550-4_11"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9377"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3394287"},{"journal-title":"Generating instructions in virtual environments (give): A challenge and an evaluation testbed for nlg","year":"2007","author":"Byron","key":"ref39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1177\/154193120605000909"}],"event":{"name":"2022 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2022,10,23]]},"location":"Kyoto, Japan","end":{"date-parts":[[2022,10,27]]}},"container-title":["2022 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9981026\/9981028\/09981811.pdf?arnumber=9981811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T04:52:59Z","timestamp":1706763179000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9981811\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/iros47612.2022.9981811","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]}}}