{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:05:04Z","timestamp":1767236704196},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241291"},{"type":"electronic","value":"9783642241307"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24130-7_13","type":"book-chapter","created":{"date-parts":[[2011,10,5]],"date-time":"2011-10-05T23:08:06Z","timestamp":1317856086000},"page":"179-192","source":"Crossref","is-referenced-by-count":19,"title":["DEL Planning and Some Tractable Cases"],"prefix":"10.1007","author":[{"given":"Benedikt","family":"L\u00f6we","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Witzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"\u00c5gotnes, T., van Ditmarsch, H.: What will they say?\u2014Public announcement games. Paper presented at Logic, Game Theory and Social Choice 6, Tsukuba, Japan (2009)"},{"key":"13_CR2","unstructured":"Aucher, G.: Perspectives on Belief and Change. PhD thesis, Universit\u00e9 de Toulouse and University of Otago (2008)"},{"key":"13_CR3","first-page":"43","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998)","author":"A. Baltag","year":"1998","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43\u201356. Morgan Kaufmann, San Francisco (1998)"},{"key":"13_CR4","series-title":"Texts in Logic and Games","first-page":"9","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT 7)","author":"A. Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games, vol.\u00a03, pp. 9\u201358. Amsterdam University Press, Amsterdam (2008)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T. Bolander","year":"2011","unstructured":"Bolander, T., Andersen, M.B.: Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics\u00a021(1), 9\u201334 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"13_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-44585-4_8","volume-title":"Computer Aided Verification","author":"A. Dovier","year":"2001","unstructured":"Dovier, A., Piazza, C., Policriti, A.: A fast bisimulation algorithm. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 79\u201390. Springer, Heidelberg (2001)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"197","DOI":"10.3166\/jancl.17.197-211","volume":"17","author":"J. Gerbrandy","year":"2007","unstructured":"Gerbrandy, J.: Communication strategies in games. Journal of Applied Non-Classical Logics\u00a017(2), 197\u2013211 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"13_CR10","volume-title":"Automated Planning: Theory & Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann, San Francisco (2004)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as model checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, pp. 1\u201320. Springer, Heidelberg (2000)"},{"issue":"1","key":"13_CR12","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. Journal of Artificial Intelligence Research\u00a014(1), 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Kennerly, E., Witzel, A., Zvesper, J.A.: Thief belief. In: L\u00f6we, B. (ed.) LSIR-2: Logic and the Simulation of Interaction and Reasoning Workshop at IJCAI-2009, pp. 47\u201351 (2009)","DOI":"10.1109\/ICEGIC.2009.5293592"},{"key":"13_CR14","first-page":"490","volume-title":"IJCAI-2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","author":"G. Lakemeyer","year":"2005","unstructured":"Lakemeyer, G., Levesque, H.J.: Semantics for a useful fragment of the situation calculus. In: Pack Kaelbling, L., Saffiotti, A. (eds.) IJCAI-2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, pp. 490\u2013496. Morgan Kaufmann Publishers Inc., San Francisco (2005)"},{"key":"13_CR15","doi-asserted-by":"crossref","first-page":"162","DOI":"10.26686\/ajl.v6i0.1800","volume":"6","author":"B. L\u00f6we","year":"2008","unstructured":"L\u00f6we, B., Pacuit, E.: An abstract approach to reasoning about games with mistaken and changing beliefs. Australasian Journal of Logic\u00a06, 162\u2013181 (2008)","journal-title":"Australasian Journal of Logic"},{"key":"13_CR16","unstructured":"L\u00f6we, B., Pacuit, E., Saraf, S.: Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene InvestigationTM. In: Duvigneau, M., Moldt, D. (eds.) Proceedings of the Fifth International Workshop on Modelling of Objects, Components and Agents (MOCA 2009), FBI-HH-B-290\/09, pp. 45\u201363 (2009)"},{"key":"13_CR17","unstructured":"Palacios, H., Geffner, H.: From conformant into classical planning: Efficient translations that may be complete too. In: Boddy, M., Fox, M., Thi\u00e9baux, S. (eds.) Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007) (2007)"},{"key":"13_CR18","unstructured":"Petrick, R., Bacchus, F.: A Knowledge-Based approach to planning with incomplete information and sensing. In: Ghallab, M., Hertzberg, J., Traverso, P. (eds.) Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), pp. 212\u2013221 (2002)"},{"key":"13_CR19","unstructured":"Renardel de Lavalette, G.R., van Ditmarsch, H.: Epistemic actions and minimal models, Available on the authors\u2019 websites (2002)"},{"key":"13_CR20","unstructured":"Riedl, M.O., Young, R.M.: Character-focused narrative planning (2003) (unpublished manuscript)"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MCG.2006.56","volume":"26","author":"M.O. Riedl","year":"2006","unstructured":"Riedl, M.O., Young, R.M.: From linear story generation to branching story graphs. IEEE Computer Graphics and Applications\u00a026(3), 23\u201331 (2006)","journal-title":"IEEE Computer Graphics and Applications"},{"key":"13_CR22","unstructured":"Sadzik, T.: Exploring the iterated update universe, ILLC Publications PP-2006-26 (2006)"},{"issue":"2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J. Benthem van","year":"2007","unstructured":"van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics\u00a017(2), 157\u2013182 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"11","key":"13_CR24","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"13_CR25","first-page":"1167","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002","author":"W. Hoek van der","year":"2002","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Castelfranchi, C. (ed.) Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, July 15-19, pp. 1167\u20131174. ACM, New York (2002)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Herzig, A., de Lima, T.: From situation calculus to dynamic epistemic logic (2010) (unpublished manuscript)","DOI":"10.1093\/logcom\/exq024"},{"key":"13_CR27","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol.\u00a0337. Springer, Heidelberg (2008)"},{"key":"13_CR28","unstructured":"van Eijck, J., Ruan, J., Sadzik, T.: Action emulation. Draft paper (2008)"},{"key":"13_CR29","volume-title":"Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference","author":"A. Witzel","year":"2008","unstructured":"Witzel, A., Zvesper, J., Kennerly, E.: Explicit knowledge programming for computer games. In: Darken, C., Mateas, M. (eds.) Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference, Stanford, California, USA, October 22-24, AAAI Press, Menlo Park (2008)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24130-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T23:41:15Z","timestamp":1560728475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24130-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241291","9783642241307"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24130-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}