{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T21:01:40Z","timestamp":1772830900564,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319487571","type":"print"},{"value":"9783319487588","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_30","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T13:24:55Z","timestamp":1477920295000},"page":"463-480","source":"Crossref","is-referenced-by-count":3,"title":["Reactive Policies with Planning for Action Languages"],"prefix":"10.1007","author":[{"given":"Zeynep G.","family":"Saribatur","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-40885-4_12","volume-title":"Frontiers of Combining Systems","author":"F Baader","year":"2013","unstructured":"Baader, F., Zarrie\u00df, B.: Verification of Golog programs over description logic actions. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS, vol. 8152, pp. 181\u2013196. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40885-4_12"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Behnke, G., H\u00f6ller, D., Biundo, S.: On the complexity of htn plan verification and its implications for plan recognition. In: Proceedings of ICAPS, pp. 25\u201333 (2015)","DOI":"10.1609\/icaps.v25i1.13728"},{"issue":"4","key":"30_CR3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.artint.2006.01.004","volume":"170","author":"P Bertoli","year":"2006","unstructured":"Bertoli, P., Cimatti, A., Riveri, M., Traverso, P.: Strong planning under partial observability. Artif. Intell. 170(4), 337\u2013384 (2006)","journal-title":"Artif. Intell."},{"issue":"2","key":"30_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agents Multi-agent Syst. 12(2), 239\u2013256 (2006)","journal-title":"Auton. Agents Multi-agent Syst."},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-39666-3_5","volume-title":"Web Reasoning and Rule Systems","author":"D Calvanese","year":"2013","unstructured":"Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.: Verification and synthesis in description logic based dynamic systems. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 50\u201364. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39666-3_5"},{"key":"30_CR6","unstructured":"Cimatti, A., Riveri, M., Traverso, P.: Automatic OBDD-based generation of universal plans in non-deterministic domains. In: Proceedings of AAAI\/IAAI, pp. 875\u2013881 (1998)"},{"key":"30_CR7","first-page":"36","volume":"98","author":"A Cimatti","year":"1998","unstructured":"Cimatti, A., Riveri, M., Traverso, P.: Strong planning in non-deterministic domains via model checking. AIPS 98, 36\u201343 (1998)","journal-title":"AIPS"},{"issue":"5","key":"30_CR8","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"EM Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. (TOPLAS) 16(5), 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"30_CR9","unstructured":"Cla\u00dfen, J., Lakemeyer, G.: A logic for non-terminating Golog programs. In: Proceedings of KR, pp. 589\u2013599 (2008)"},{"key":"30_CR10","unstructured":"De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Proceedings of KR, pp. 453\u2013465 (1998)"},{"key":"30_CR11","unstructured":"De Giacomo, G., Ternovskaia, E., Reiter, R.: Non-terminating processes in the situation calculus. In: Working Notes of Robots, Softbots, Immobots: Theories of Action, Planning and Control, AAAI 1997 Workshop (1997)"},{"issue":"1","key":"30_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"issue":"1\u20132","key":"30_CR13","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(1\u20132), 25\u201369 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: semantics and complexity. ACM Trans. Comput. Log. 5(2), 206\u2013263 (2004). http:\/\/doi.acm.org\/10.1145\/976706.976708","DOI":"10.1145\/976706.976708"},{"key":"30_CR15","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proceedings of IJCAI, pp. 90\u201396 (2005)"},{"issue":"2\u20134","key":"30_CR16","first-page":"371","volume":"57","author":"M Fichtner","year":"2003","unstructured":"Fichtner, M., Gro\u00dfmann, A., Thielscher, M.: Intelligent execution monitoring in dynamic environments. Fundamenta Informaticae 57(2\u20134), 371\u2013392 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"30_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-40564-8_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Fink","year":"2013","unstructured":"Fink, M., Germano, S., Ianni, G., Redl, C., Sch\u00fcller, P.: ActHEX: implementing HEX programs with action atoms. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 317\u2013322. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_31"},{"issue":"16","key":"30_CR18","first-page":"193","volume":"3","author":"M Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. AI 3(16), 193\u2013210 (1998)","journal-title":"Electron. Trans. AI"},{"key":"30_CR19","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: Proceedings of AAAI\/IAAI, pp. 623\u2013630 (1998)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Ann. Math. Artif. Intell. 25(3\u20134), 391\u2013419 (1999). http:\/\/dx.doi.org\/10.1023\/A:1018934223383","DOI":"10.1023\/A:1018934223383"},{"key":"30_CR21","unstructured":"Lang, J., Zanuttini, B.: Knowledge-based programs as plans - the complexity of plan verification. In: Proceedings of ECAI, pp. 504\u2013509 (2012)"},{"issue":"1","key":"30_CR22","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. J. Log. Program. 31(1), 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"30_CR23","unstructured":"Lomuscio, A., Michliszyn, J.: Verification of multi-agent systems via predicate abstraction against ATLK specifications. In: Proceedings of AAMAS, pp. 662\u2013670 (2016)"},{"key":"30_CR24","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of KR, pp. 473\u2013484 (1991)"},{"issue":"1","key":"30_CR25","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"TC Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artif. Intell. 125(1), 19\u201391 (2001)","journal-title":"Artif. Intell."},{"key":"30_CR26","unstructured":"Soutchanski, M.: High-level robot programming and program execution. In: Proceedings of ICAPS Workshop on Plan Execution (2003)"},{"key":"30_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-45757-7_10","volume-title":"Logics in Artificial Intelligence","author":"H Turner","year":"2002","unstructured":"Turner, H.: Polynomial-length planning spans the polynomial hierarchy. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 111\u2013124. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45757-7_10"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:43:30Z","timestamp":1749681810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}