{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:28:18Z","timestamp":1729664898810,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/siu.2013.6531541","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T18:52:54Z","timestamp":1372186374000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning, execution and monitoring framework for robotic Tower of Hanoi challenge"],"prefix":"10.1109","author":[{"given":"G.","family":"Havur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Haspalamutgil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Palaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Erdem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Patoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00091-3"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631224"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"36","article-title":"Cognitive robotics","author":"levesque","year":"2007","journal-title":"Handbook of Knowledge Representation"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"journal-title":"Rapidly-Exploring Random Trees A New Tool for Path Planning","year":"1998","author":"lavalle","key":"33"},{"key":"15","article-title":"Cognitive robotics","author":"gomes","year":"2008","journal-title":"Handbook of Knowledge Representation"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"16","first-page":"1594","article-title":"What is answer set programming?","author":"lifschitz","year":"2008","journal-title":"Proc Of AAAI"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489636"},{"key":"13","first-page":"499","article-title":"Control-based clause sharing in parallel sat solving","author":"hamadi","year":"2009","journal-title":"Proc of IJCAI"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"37","article-title":"Bridging the gap between high-level reasoning and lowlevel control","author":"caldiran","year":"2009","journal-title":"Proc of LPNMR"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"38","article-title":"From discrete task plans to continuous trajectories","author":"caldiran","year":"2009","journal-title":"Proc of ICAPS Workshop Bridging the Gap between Task and Motion Planning"},{"key":"12","first-page":"502","article-title":"An extensible sat-solver","author":"ee?n","year":"2003","journal-title":"Proc of SAT"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v25i1.7946","article-title":"Finding answers and generating explanations for complex biomedical queries","author":"erdem","year":"2011","journal-title":"Proc Of AAAI"},{"key":"20","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proc of ECAI"},{"key":"43","first-page":"104","volume":"28","author":"cambon","year":"2009","journal-title":"A Hybrid Approach to Intricate Motion Manipulation and Task Planning"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-20895-9_36","article-title":"Causal reasoning for planning and coordination of multiple housekeeping robots","author":"aker","year":"2011","journal-title":"Proc 12th Int Conf Logic Programming and Nonmonotonic Reasoning (LPNMR)"},{"key":"40","article-title":"Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics","author":"aker","year":"2012","journal-title":"Proc Int IFAC Symp Robot Control (SYROCO)"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/ICHR.2004.1442130"},{"key":"44","article-title":"Integrating task and PRM motion planning: Dealing with many infeasible motion planning queries","author":"hauser","year":"2009","journal-title":"Proc of BTAMP"},{"key":"22","first-page":"169","article-title":"An a-prolog decision support system for the space shuttle","author":"nogueira","year":"2001","journal-title":"Proc of PADL"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841100007X"},{"key":"24","first-page":"193","article-title":"Action languages","volume":"2","author":"gelfond","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"25","first-page":"212","article-title":"Satisfiability planning with causal theories","author":"mccain","year":"1998","journal-title":"Proc of KR"},{"key":"26","first-page":"92","article-title":"Representing transition systems by logic programs","author":"lifschitz","year":"1999","journal-title":"Proc of LPNMR"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"28","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"mccarthy","year":"0","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":"10","article-title":"What is the least number of moves needed to solve the 4-peg towers of hanoi problem?","author":"demontis","year":"2012","journal-title":"CoRR"},{"key":"1","volume":"2","author":"lucas","year":"1893","journal-title":"Recreations Mathematiques"},{"journal-title":"Exploiting Constraints in Design Synthesis","year":"1986","author":"finger","key":"30"},{"journal-title":"The Canterbury Puzzles","year":"1907","author":"dudeney","key":"7"},{"key":"6","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"},{"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":"5","article-title":"New variations on the tower of hanoi","author":"stockmeyer","year":"2008","journal-title":"Proc of International Conference on Fibonaci Numbers and their Applications"},{"key":"31","article-title":"Describing additive fluents in action language C","author":"lee","year":"2003","journal-title":"Proc of IJCAI"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF02239743"},{"key":"9","first-page":"219","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"}],"event":{"name":"2013 21st Signal Processing and Communications Applications Conference (SIU)","start":{"date-parts":[[2013,4,24]]},"location":"Haspolat","end":{"date-parts":[[2013,4,26]]}},"container-title":["2013 21st Signal Processing and Communications Applications Conference (SIU)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6521474\/6531159\/06531541.pdf?arnumber=6531541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T16:07:12Z","timestamp":1688314032000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6531541\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/siu.2013.6531541","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}