{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:40:02Z","timestamp":1748623202678,"version":"3.41.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_27","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"317-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Diagnostic Reasoning for Robotics Using Action Languages"],"prefix":"10.1007","author":[{"given":"Esra","family":"Erdem","sequence":"first","affiliation":[]},{"given":"Volkan","family":"Patoglu","sequence":"additional","affiliation":[]},{"given":"Zeynep Gozen","family":"Saribatur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"4\u20135","key":"27_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Theory Pract. Logic Program. 3(4\u20135), 425\u2013461 (2003)","journal-title":"Theory Pract. Logic Program."},{"key":"27_CR2","unstructured":"Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proceedings of KR (2000)"},{"issue":"12","key":"27_CR3","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04238-6_29","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O Caldiran","year":"2009","unstructured":"Caldiran, O., Haspalamutgil, K., Ok, A., Palaz, C., Erdem, E., Patoglu, V.: Bridging the gap between high-level reasoning and low-level control. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 342\u2013354. Springer, Heidelberg (2009)"},{"key":"27_CR5","unstructured":"Casolary, M., Lee, J.: Representing the language of the causal calculator in answer set programming. In: Proceedings of ICLP (Technical Communications) (2011)"},{"key":"27_CR6","unstructured":"Diankov, R.: Automated construction of robotic manipulation programs. Ph.D. thesis, Carnegie Mellon University, Robotics Institute, August 2010"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.3233\/FUN-2007-791-204","volume":"79","author":"T Eiter","year":"2007","unstructured":"Eiter, T., Erdem, E., Faber, W., Senko, J.: A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Fundamenta Informaticae 79, 25\u201369 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"27_CR9","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-orderreasoning and external evaluations in answer-set programming. In: Proceedings of IJCAI (2005)"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Erdem, E., Haspalamutgil, K., Palaz, C., Patoglu, V., Uras, T.: Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In: Proceedings of ICRA (2011)","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Erdem, E., Haspalamutgil, K., Patoglu, V., Uras, T.: Causality-based planning and diagnostic reasoning for cognitive factories. In: Proceedings of ETFA (2012)","DOI":"10.1109\/ETFA.2012.6489636"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Erdem, E., Patoglu, V., Saribatur, Z.G.: Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: Proceedings of ICRA (2015)","DOI":"10.1109\/ICRA.2015.7139461"},{"key":"27_CR13","unstructured":"Erdem, E., Patoglu, V., Sch\u00fcller, P.: A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. In: Proceedings of RCRA (2014)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"27_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, New York (2014)"},{"key":"27_CR16","first-page":"193","volume":"2","author":"M Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. ETAI 2, 193\u2013210 (1998)","journal-title":"ETAI"},{"key":"27_CR17","unstructured":"Giacomo, G.D., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Proceedings of KR (1998)"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153, 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Iwan, G.: Explaining what went wrong in dynamic domains. In: Proceedings of CogRob (2000)","DOI":"10.1007\/978-3-642-58322-3_21"},{"key":"27_CR20","unstructured":"de Kleer, J., Williams, B.C.: Diagnosis with behavioral modes. In: Proceedings of IJCAI (1989)"},{"issue":"2","key":"27_CR21","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"JD Kleer","year":"1992","unstructured":"Kleer, J.D., Mackworth, A.K., Reiter, R.: Characterizing diagnoses and systems. Artif. Intell. 56(2), 197\u2013222 (1992)","journal-title":"Artif. Intell."},{"key":"27_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138, 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"27_CR23","unstructured":"Lifschitz, V.: What is answer set programming? In: Proceedings of AAAI (2008)"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"V Marek","year":"1999","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., et al. (eds.) The Logic Programming Paradigm: A 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"27_CR25","unstructured":"McCain, N.C.: Causality in commonsense reasoning about actions. Ph.D. thesis (1997)"},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"McIlraith, S.A.: Explanatory diagnosis: conjecturing actions to explain observations. In: Proceedings of KR (1998)","DOI":"10.1007\/978-3-642-60211-5_13"},{"key":"27_CR27","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25, 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A theory of diagnosis from first principles (1987)","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"27_CR29","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Baier, J.A., McIlraith, S.A.: Diagnosis as planning revisited. In: Proceedings of KR (2010)","DOI":"10.36001\/phmconf.2010.v2i1.1958"},{"key":"27_CR30","unstructured":"Thielscher, M.: A theory of dynamic diagnosis. ETAI 2(11) (1997)"},{"key":"27_CR31","doi-asserted-by":"crossref","unstructured":"Weyhrauch, R.W.: Prolegomena to a theory of formal reasoning. Technical report. Stanford University (1978)","DOI":"10.21236\/ADA065698"},{"key":"27_CR32","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-1-84882-067-8_20","volume-title":"Changeable and Reconfigurable Manufacturing Systems","author":"M Zaeh","year":"2009","unstructured":"Zaeh, M., Beetz, M., Shea, K., Reinhart, G., Bender, K., Lau, C., Ostgathe, M., Vogl, W., Wiesbeck, M., Engelhard, M., Ertelt, C., Rhr, T., Friedrich, M., Herle, S.: The cognitive factory. In: ElMaraghy, H.A. (ed.) Changeable and Reconfigurable Manufacturing Systems, pp. 355\u2013371. Springer, London (2009)"},{"key":"27_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/978-3-319-11973-1_41","volume-title":"Social Robotics","author":"S Zhang","year":"2014","unstructured":"Zhang, S., Sridharan, M., Gelfond, M., Wyatt, J.: Towards an architecture for knowledge representation and reasoning in robotics. In: Beetz, M., Johnston, B., Williams, M.-A. (eds.) ICSR 2014. LNCS, vol. 8755, pp. 400\u2013410. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:22:20Z","timestamp":1748622140000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}