{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:17:24Z","timestamp":1729678644677,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icra.2013.6631224","type":"proceedings-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T18:11:25Z","timestamp":1382379085000},"page":"4552-4559","source":"Crossref","is-referenced-by-count":17,"title":["A case study on the Tower of Hanoi challenge: Representation, reasoning and execution"],"prefix":"10.1109","author":[{"given":"Giray","family":"Havur","sequence":"first","affiliation":[]},{"given":"Kadir","family":"Haspalamutgil","sequence":"additional","affiliation":[]},{"given":"Can","family":"Palaz","sequence":"additional","affiliation":[]},{"given":"Esra","family":"Erdem","sequence":"additional","affiliation":[]},{"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"journal-title":"Handbook of Knowledge Representation","article-title":"Cognitive robotics","year":"2007","author":"levesque","key":"36"},{"journal-title":"Rapidly-Exploring Random Trees A New Tool for Path Planning","year":"1998","author":"lavalle","key":"33"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"39","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-30743-0_16","article-title":"Applications of action languages in cognitive robotics","author":"erdem","year":"2012","journal-title":"Correct Reasoning"},{"journal-title":"Proc of LPNMR","article-title":"Bridging the gap between high-level reasoning and lowlevel control","year":"2009","author":"caldiran","key":"37"},{"journal-title":"Proc of BTAMP","article-title":"From discrete task plans to continuous trajectories","year":"2009","author":"caldiran","key":"38"},{"journal-title":"Proc of ICRA","article-title":"Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation","year":"2011","author":"erdem","key":"43"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_36"},{"journal-title":"Proc Int IFAC Symp Robot Control (SYROCO)","article-title":"Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics","year":"2012","author":"aker","key":"41"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489636"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841100007X"},{"key":"23","first-page":"193","article-title":"Action languages","volume":"2","author":"gelfond","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"24","first-page":"212","article-title":"Satisfiability planning with causal theories","author":"mccain","year":"1998","journal-title":"Proc of KR"},{"key":"25","first-page":"92","article-title":"Representing transition systems by logic programs","author":"lifschitz","year":"1999","journal-title":"Proc of LPNMR"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"27","first-page":"460","article-title":"Causal theories of action and change","author":"mccain","year":"1997","journal-title":"Proc of AAAI\/IAAI"},{"key":"28","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"mccarthy","year":"1969","journal-title":"Machine Intelligence"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"3","first-page":"3","article-title":"Variations on the four-post tower of hanoi puzzle","author":"stockmeyer","year":"1994","journal-title":"Proc of Southeastern International Conference on Combinatorics Graph Theory and Computing"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/8312.8320"},{"key":"1","article-title":"Recreations mathematiques. paris. gauthier-villars","volume":"2","author":"lucas","year":"1893","journal-title":"Reprinted several times by Albert Blanchard"},{"key":"7","first-page":"5","article-title":"On the solution of the towers of hanoi problem","volume":"7","author":"ahrabian","year":"2011","journal-title":"International Journal of Computing Science and Mathematics"},{"journal-title":"Exploiting Constraints in Design Synthesis","year":"1986","author":"finger","key":"30"},{"journal-title":"Department of Computer Science","article-title":"The tower of hanoi. A bibliography","year":"2005","author":"stockmeyer","key":"6"},{"journal-title":"Proc of International Conference on Fibonaci Numbers and their Applications","article-title":"New variations on the tower of hanoi","year":"2008","author":"stockmeyer","key":"5"},{"key":"32","first-page":"627","article-title":"Cumulative effects of concurrent actions on numeric-valued fluents","author":"erdem","year":"2005","journal-title":"Proc Of AAAI"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF02239743"},{"journal-title":"Proc of IJCAI","article-title":"Describing additive fluents in action language C+","year":"2003","author":"lee","key":"31"},{"key":"9","first-page":"217","article-title":"Solution to advanced problem 3918","volume":"48","author":"stewart","year":"1941","journal-title":"Amer Math Monthly"},{"key":"8","first-page":"216","article-title":"Solution to advanced problem 3918","volume":"48","author":"frame","year":"1941","journal-title":"Amer Math Monthly"},{"key":"19","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proc of ECAI"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00091-3"},{"key":"15","first-page":"1594","article-title":"What is answer set programming?","author":"lifschitz","year":"2008","journal-title":"Proc Of AAAI"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"journal-title":"Handbook of Knowledge Representation","article-title":"Cognitive robotics","year":"2008","author":"gomes","key":"14"},{"journal-title":"What Is the Least Number of Moves Needed to Solve the 4-peg Towers of Hanoi Problem?","year":"2012","author":"demontis","key":"11"},{"key":"12","first-page":"499","article-title":"Control-based clause sharing in parallel sat solving","author":"hamadi","year":"2009","journal-title":"Proc of IJCAI"},{"key":"21","first-page":"169","article-title":"An a-prolog decision support system for the space shuttle","author":"nogueira","year":"2001","journal-title":"Proc of PADL"},{"journal-title":"Proc Of AAAI","article-title":"Finding answers and generating explanations for complex biomedical queries","year":"2011","author":"erdem","key":"20"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509563"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509274"},{"journal-title":"Proc of BTAMP","article-title":"Integrating task and PRM motion planning. Dealing with many infeasible motion planning queries","year":"2009","author":"hauser","key":"45"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1177\/0278364908097884"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543836"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1109\/ICHR.2004.1442130"},{"journal-title":"The Canterbury Puzzles","year":"1907","author":"dudeney","key":"10"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-012-0119-x"},{"journal-title":"Proc of ICAPS","article-title":"Combined task and motion planning for mobile manipulation","year":"2010","author":"wolfe","key":"50"}],"event":{"name":"2013 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2013,5,6]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2013,5,10]]}},"container-title":["2013 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6615630\/6630547\/06631224.pdf?arnumber=6631224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:19:24Z","timestamp":1498076364000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6631224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/icra.2013.6631224","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}