{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:49:59Z","timestamp":1775825399890,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T00:00:00Z","timestamp":1528416000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"BAGEP"},{"name":"BAGEP"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s13218-018-0544-x","type":"journal-article","created":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T03:52:50Z","timestamp":1528429970000},"page":"143-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Applications of ASP in Robotics"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8384-7810","authenticated-orcid":false,"given":"Esra","family":"Erdem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,8]]},"reference":[{"key":"544_CR1","doi-asserted-by":"crossref","unstructured":"Andres B, Rajaratnam D, Sabuncu O, Schaub T (2015) Integrating ASP into ROS for reasoning in robots. In: Proc. of LPNMR, pp 69\u201382","DOI":"10.1007\/978-3-319-23264-5_7"},{"key":"544_CR2","unstructured":"Chen K, Yang F, Chen X (2016) Planning with task-oriented knowledge acquisition for a service robot. In: Proc. of AAAI, pp 812\u2013818"},{"key":"544_CR3","doi-asserted-by":"crossref","unstructured":"Demirel E, Gur KD, Erdem E (2016) Human-robot interaction in a shopping mall: a CNL approach. In: Proc. of CNL, pp 111\u2013122","DOI":"10.1007\/978-3-319-41498-0_11"},{"issue":"4","key":"544_CR4","first-page":"418","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter T, Fink M, Ianni G, Krennwallner T, Redl C, Sch\u00fcller P (2016) A model building framework for answer set programming with external computations. TPLP 16(4):418\u2013464","journal-title":"TPLP"},{"key":"544_CR5","doi-asserted-by":"crossref","unstructured":"Eiter T, Ianni G, Schindlauer R, Tompits H (2006) Effective integration of declarative rules with external evaluations for Semantic-Web reasoning. In: Proc. of ESWC","DOI":"10.1007\/11762256_22"},{"issue":"4","key":"544_CR6","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s11370-012-0119-x","volume":"5","author":"E Erdem","year":"2012","unstructured":"Erdem E, Aker E, Patoglu V (2012) Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intell Ser Robot 5(4):275\u2013291","journal-title":"Intell Ser Robot"},{"issue":"3","key":"544_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Magaz 37(3):53\u201368","journal-title":"AI Magaz"},{"issue":"4\u20135","key":"544_CR8","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1017\/S1471068413000525","volume":"13","author":"E Erdem","year":"2013","unstructured":"Erdem E, Patoglu V, Saribatur ZG, Sch\u00fcller P, Uras T (2013) Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach. Theory Pract Logic Program 13(4\u20135):831\u2013846","journal-title":"Theory Pract Logic Program"},{"issue":"2","key":"544_CR9","doi-asserted-by":"publisher","first-page":"319","DOI":"10.3233\/AIC-150697","volume":"29","author":"E Erdem","year":"2016","unstructured":"Erdem E, Patoglu V, Sch\u00fcller P (2016) A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Commun 29(2):319\u2013349","journal-title":"AI Commun"},{"key":"544_CR10","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T (2014) Clingo = ASP + control: preliminary report. In: Leuschel M, Schrijvers T (eds.) Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP 2014). Theory and Practice of Logic Programming 14(4\u20135) (Online supplement)"},{"key":"544_CR11","doi-asserted-by":"crossref","unstructured":"Havur G, Ozbilgin G, Erdem E, Patoglu V (2014) Geometric rearrangement of multiple movable objects on cluttered surfaces: a hybrid reasoning approach. In: Proc. of ICRA, pp 445\u2013452","DOI":"10.1109\/ICRA.2014.6906894"},{"issue":"5\u20137","key":"544_CR12","first-page":"635","volume":"36","author":"P Khandelwal","year":"2016","unstructured":"Khandelwal P, Zhang S, Sinapov J, Leonetti M, Thomason J, Yang F, Gori I, Svetlik M, Khante P, Lifschitz V, Aggarwal JK, Mooney R, Stone P (2017) Bwibots: a platform for bridging the gap between AI and human\u2013robot interaction research. Int J Robot Res 36(5\u20137):635\u2013659","journal-title":"Int J Robot Res"},{"key":"544_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning algorithms","author":"SM LaValle","year":"2006","unstructured":"LaValle SM (2006) Planning algorithms. Cambridge University Press, New York, NY, USA"},{"key":"544_CR14","unstructured":"Levesque H, Lakemeyer G (2007) Cognitive robotics. In: van Harmelen F, Lifschitz V, Porter B (eds) Handbook of Knowledge representation. Elsevier, pp 869\u2013886"},{"key":"544_CR15","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-60085-2_16","volume-title":"The logic programming paradigm: a 25-year perspective","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz V (1999) Action languages, answer sets and planning. In: Apt KR, Marek VW, Truszczynski M, Warren DS (eds) The logic programming paradigm: a 25-year perspective. Springer Verlag, Berlin, Heidelberg, pp 357\u2013373"},{"key":"544_CR16","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/B:BTTJ.0000047600.45421.6d","volume":"22","author":"H Liu","year":"2004","unstructured":"Liu H, Singh P (2004) ConceptNet: a practical commonsense reasoning toolkit. BT Technol J 22:211\u2013226. \n                    https:\/\/doi.org\/10.1023\/B:BTTJ.0000047600.45421.6d","journal-title":"BT Technol J"},{"issue":"10","key":"544_CR17","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1109\/TSMC.1981.4308589","volume":"11","author":"T Lozano-P\u00e9rez","year":"1981","unstructured":"Lozano-P\u00e9rez T (1981) Automatic planning of manipulator transfer movements. IEEE Trans Syst Man Cybern 11(10):681\u2013698","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"544_CR18","first-page":"463","volume-title":"Machine intelligence","author":"J McCarthy","year":"1969","unstructured":"McCarthy J, Hayes PJ (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine intelligence, vol 4. Edinburgh University Press, Edinburgh, pp 463\u2013502"},{"key":"544_CR19","volume-title":"Automated planning: theory and practice","author":"D Nau","year":"2004","unstructured":"Nau D, Ghallab M, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA"},{"key":"544_CR20","doi-asserted-by":"crossref","unstructured":"Nouman A, Yalciner IF, Erdem E, Patoglu V (2016) Experimental evaluation of hybrid conditional planning for service robotics. In: Proc. of ISER","DOI":"10.1007\/978-3-319-50115-4_60"},{"key":"544_CR21","unstructured":"Peot MA, Smith DE (1992) Conditional nonlinear planning. In: Proc. of AIPS, pp 189\u2013197"},{"key":"544_CR22","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1613\/jair.277","volume":"4","author":"L Pryor","year":"1996","unstructured":"Pryor L, Collins G (1996) Planning for contingencies: a decision-based approach. JAIR 4:287\u2013339","journal-title":"JAIR"},{"key":"544_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9721-x","author":"ZG Saribatur","year":"2018","unstructured":"Saribatur ZG, Patoglu V, Erdem E (2018) Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories. Auton Robots. \n                    https:\/\/doi.org\/10.1007\/s10514-018-9721-x","journal-title":"Auton Robots"},{"key":"544_CR24","unstructured":"Warren DHD (1976) Generating conditional plans and programs. In: Proc. of AISB, pp 344\u2013354"},{"issue":"1\u20132","key":"544_CR25","first-page":"33","volume":"13","author":"RW Weyhrauch","year":"1978","unstructured":"Weyhrauch RW (1980) Prolegomena to a theory of formal reasoning. Artif Intell 13(1\u20132):33\u2013170","journal-title":"Artif Intell"},{"issue":"5\u20136","key":"544_CR26","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1017\/S1471068417000321","volume":"17","author":"IF Yalciner","year":"2017","unstructured":"Yalciner IF, Nouman A, Patoglu V, Erdem E (2017) Hybrid conditional planning using answer set programming. Theory Pract Logic Program 17(5\u20136):1027\u20131047","journal-title":"Theory Pract Logic Program"},{"issue":"3","key":"544_CR27","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1109\/TRO.2015.2422531","volume":"31","author":"S Zhang","year":"2015","unstructured":"Zhang S, Sridharan M, Wyatt JL (2015) Mixed logical inference and probabilistic planning for robots in unreliable worlds. IEEE Trans Robot 31(3):699\u2013713","journal-title":"IEEE Trans Robot"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0544-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0544-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0544-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T19:11:40Z","timestamp":1559934700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0544-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,8]]},"references-count":27,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["544"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0544-x","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,8]]},"assertion":[{"value":"9 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}