{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T13:59:15Z","timestamp":1789394355617,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642104381","type":"print"},{"value":"9783642104398","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10439-8_54","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:03:31Z","timestamp":1258369411000},"page":"538-546","source":"Crossref","is-referenced-by-count":2,"title":["Modeling Abstract Behavior: A Dynamic Logic Approach"],"prefix":"10.1007","author":[{"given":"Yi","family":"Zhou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"54_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"2","key":"54_CR2","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passay","year":"1991","unstructured":"Passay, S., Tinchev, T.: An essay in combinatory dynamic logic. Information and Computation\u00a093(2), 263\u2013332 (1991)","journal-title":"Information and Computation"},{"key":"54_CR3","doi-asserted-by":"crossref","unstructured":"Giacomo, G., Lenzerini, M.: PDL-based framework for reasoning about actions. In: AI*IA 1995, pp. 103\u2013114 (1995)","DOI":"10.1007\/3-540-60437-5_10"},{"issue":"2","key":"54_CR4","first-page":"209","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"Prendinger, H., Schurz, G.: Reasoning about action and change. a dynamic logic approach. Journal of Logic, Language and Information\u00a05(2), 209\u2013245 (1996)","journal-title":"a dynamic logic approach. Journal of Logic, Language and Information"},{"key":"54_CR5","doi-asserted-by":"crossref","unstructured":"Meyer, J.J.C.: Dynamic logic for reasoning about actions and agents, pp. 281\u2013311 (2000)","DOI":"10.1007\/978-1-4615-1567-8_13"},{"key":"54_CR6","unstructured":"Broersen, J.: Relativized action complement for dynamic logics. In: Advances in Modal Logic, pp. 51\u201370 (2002)"},{"key":"54_CR7","unstructured":"Erol, K., Hendler, J., Nau, D.S.: Semantics for hierarchical task-network planning. Technical report (1994)"},{"key":"54_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van, R.B., Dignum, F., Meyer, J.J.C.: A programming language for cognitive agents goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"key":"54_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-45757-7_4","volume-title":"Logics in Artificial Intelligence","author":"R.A. Schmidt","year":"2002","unstructured":"Schmidt, R.A., Tishkovsky, D.: Multi-agent logics of dynamic belief and knowledge. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 38\u201349. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","AI 2009: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10439-8_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:55:58Z","timestamp":1606186558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10439-8_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104381","9783642104398"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10439-8_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}