{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T15:22:40Z","timestamp":1751383360826,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642378898"},{"type":"electronic","value":"9783642378904"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37890-4_3","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"37-56","source":"Crossref","is-referenced-by-count":5,"title":["Strong Planning in the Logics of Communication and Change"],"prefix":"10.1007","author":[{"given":"Pere","family":"Pardo","sequence":"first","affiliation":[]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-33353-8_8","volume-title":"Logics in Artificial Intelligence","author":"M.B. Andersen","year":"2012","unstructured":"Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional Epistemic Planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol.\u00a07519, pp. 94\u2013106. Springer, Heidelberg (2012)"},{"issue":"3-4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"289","DOI":"10.3166\/jancl.21.289-321","volume":"21","author":"G. Aucher","year":"2011","unstructured":"Aucher, G.: DEL-sequents for progression. Journal of Applied Non-Classical Logics\u00a021(3-4), 289\u2013321 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"3_CR3","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proc. of 7th Conf. TARK 1998, pp. 43\u201356 (1998)"},{"issue":"1","key":"3_CR4","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.: 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":"3_CR5","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"3_CR6","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, Massachusetts (2000)"},{"key":"3_CR7","unstructured":"Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press (1962)"},{"key":"3_CR8","unstructured":"L\u00f6we, B., Pacuit, E., Witzel, A.: Planning based on dynamic epistemic logic (2010)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Pardo, P., Sadrzadeh, M.: Planning in the Logics of Communication and Change. In: Proc. of AAMAS 2012 (2012)","DOI":"10.1007\/978-3-642-37890-4_3"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Pardo, P., Sadrzadeh, M.: Backward Planning in the Logics of Communication and Change. In: Proc. of Agreement Technologies AT 2012 (2012)","DOI":"10.1007\/978-3-642-37890-4_3"},{"key":"3_CR11","unstructured":"Pearl, J.: Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley (1984)"},{"key":"3_CR12","unstructured":"Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 473\u2013484 (1991)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. van Benthem","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of Communication and Change. Information and Computation\u00a0204, 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable Multiagent Planning for Epistemic Goals. In: Proc. of AAMAS 2002, pp. 1167\u20131174 (2002)","DOI":"10.1145\/545056.545095"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2008)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"3_CR16","unstructured":"van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Bonanno, van der Hoek, Wooldridge (eds.) LOFT 7, pp. 87\u2013117 (2008)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies X"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37890-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:31:16Z","timestamp":1688171476000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}