{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:30:56Z","timestamp":1776083456020,"version":"3.50.1"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"TUBITAK","award":["111E116"],"award-info":[{"award-number":["111E116"]}]},{"name":"TUBITAK","award":["113M422"],"award-info":[{"award-number":["113M422"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Educ."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1109\/te.2014.2318678","type":"journal-article","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T18:02:42Z","timestamp":1398794562000},"page":"15-24","source":"Crossref","is-referenced-by-count":20,"title":["ReAct!: An Interactive Educational Tool for AI Planning for Robotics"],"prefix":"10.1109","volume":"58","author":[{"given":"Zeynep","family":"Dogmus","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"}]},{"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":[{"key":"ref39","first-page":"359","article-title":"Planning as satisfiability","author":"kautz","year":"1992","journal-title":"Proc ECAI"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00091-3"},{"key":"ref33","first-page":"502","article-title":"An extensible SAT-solver","author":"e\ufffdn","year":"2003","journal-title":"Proc 6th SAT"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1613\/jair.855"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_7"},{"key":"ref36","first-page":"212","article-title":"Satisfiability planning with causal theories","author":"mccain","year":"1998","journal-title":"Proc KR"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190070"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-012-0119-x"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"ref29","first-page":"35","article-title":"The 1998 AI planning systems competition","volume":"21","author":"mcdermott","year":"2000","journal-title":"AI Mag"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/274790.274326"},{"key":"ref1","article-title":"ROS: An open-source robot operating system","author":"quigley","year":"2009","journal-title":"Proc IEEE ICRA Workshop Open Source Softw"},{"key":"ref20","article-title":"Integrating task and PRM motion planning: Dealing with many infeasible motion planning queries","author":"hauser","year":"2009","journal-title":"Proc Workshop Bridging Gap between Task Motion Planning ICAPS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509563"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32527-4_30"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1609\/icaps.v20i1.13436","article-title":"Combined task and motion planning for mobile manipulation","author":"wolfe","year":"2010","journal-title":"Proc 20th ICAPS"},{"key":"ref26","first-page":"402","article-title":"Planning with semantic attachments: An object-oriented view","author":"hertle","year":"2012","journal-title":"Proc 20th ECAI"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_29"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631224"},{"key":"ref51","first-page":"290","article-title":"A general formal framework for pathfinding problems with multiple agents","author":"erdem","year":"2013","journal-title":"Proc 27th AIAA"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/BF02310555"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICORR.2013.6650415"},{"key":"ref56","first-page":"389","article-title":"Developing and maintaining an ontology for rehabilitation robotics","author":"dogmus","year":"2012","journal-title":"Proc KEOD"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980567"},{"key":"ref54","year":"2013","journal-title":"?Simulink block diagram environment for multidomain simulation and model-based design ?"},{"key":"ref53","author":"diankov","year":"2010","journal-title":"Automated Construction of Robotic Manipulation Programs"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30743-0_16"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2009.2014468"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1609\/aaai.v25i1.7946","article-title":"Finding answers and generating explanations for complex biomedical queries","author":"erdem","year":"2011","journal-title":"Proc AAAI"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2009.2024689"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2012.2224867"},{"key":"ref13","article-title":"Teaching robotics and computer science with pinball machines","author":"wong","year":"2010","journal-title":"Proc AAAI Spring Symp Educ Robot Beyond"},{"key":"ref14","article-title":"Teaching deliberative navigation using the LEGO RCX and standard LEGO components","author":"mayer","year":"2004","journal-title":"Proc AAAI Spring Symp Educ Robot Beyond"},{"key":"ref15","article-title":"Teaching robot localization with the Evolution ER1","author":"dodds","year":"2004","journal-title":"Proc AAAI Spring Symp Educ Robot Beyond"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2011.2155066"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.20965\/jrm.2011.p0859"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1071620.1071623"},{"key":"ref19","first-page":"100","article-title":"aSyMov:A planner that deals with intricate symbolic and geometric problems","volume":"15","author":"gravot","year":"2005","journal-title":"Proc 11th Int Symp Robot Res"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1071620.1071624"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1083310.1071621"},{"key":"ref6","first-page":"83","article-title":"Using educational robotics to motivate complete AI solutions","volume":"27","author":"greenwald","year":"2006","journal-title":"AI Mag"},{"key":"ref5","first-page":"51","article-title":"Launching into AI's October sky with robotics and Lisp","volume":"27","author":"klassner","year":"2006","journal-title":"AI Mag"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1083310.1083312"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2010.5453897"},{"key":"ref49","article-title":"Geometric rearrangement of multiple moveable objects on cluttered surfaces: A hybrid reasoning approach","author":"havur","year":"2014","journal-title":"Proc IEEE ICRA"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2008.4720346"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489636"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.3182\/20120905-3-HR-2030.00169"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_36"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000525"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841100007X"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_12"},{"key":"ref44","first-page":"51","article-title":"Representing the language of the causal calculator in answer set programming","author":"casolary","year":"2011","journal-title":"Proc ICLP (Technol Commun )"},{"key":"ref43","first-page":"460","article-title":"Causal theories of action and change","author":"mccain","year":"1997","journal-title":"Proc 14th Nat Conf Artif Intell"}],"container-title":["IEEE Transactions on Education"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/13\/7027267\/06807834.pdf?arnumber=6807834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T16:22:10Z","timestamp":1746202930000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6807834\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2]]},"references-count":58,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/te.2014.2318678","relation":{},"ISSN":["0018-9359","1557-9638"],"issn-type":[{"value":"0018-9359","type":"print"},{"value":"1557-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2]]}}}