{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:09Z","timestamp":1725490449333},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540742548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74255-5_15","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T08:19:00Z","timestamp":1188202740000},"page":"192-205","source":"Crossref","is-referenced-by-count":0,"title":["A Semantics for Changing Frames of Mind"],"prefix":"10.1007","author":[{"given":"Karl","family":"Devooght","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Computer Science Dept. University of Toronto, Toronto (1990)"},{"key":"15_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal logic. Cambridge University Press, Cambridge (1980)"},{"key":"15_CR3","first-page":"39","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.Y.: Belief, Awareness, and Limited Reasoning. AI\u00a034, 39\u201376 (1988)","journal-title":"AI"},{"key":"15_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-48315-2_12","volume-title":"Modeling and Using Context","author":"C. Ghidini","year":"1999","unstructured":"Ghidini, C.: Modelling (un)bounded beliefs. In: Bouquet, P., Serafini, L., Br\u00e9zillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol.\u00a01688, pp. 145\u2013158. Springer, Heidelberg (1999)"},{"key":"15_CR5","unstructured":"Giunchiglia, F.: Contextual reasoning. Technical Report 9211\u201320, Istituto per la Ricerca Scientifica e Technoligica, Trento, Italy (1992)"},{"key":"15_CR6","unstructured":"Giunchiglia, F., Ghidini, C.: Local Models semantics, or contextual reasoning = locality + compatibility. In: KR, pp. 282\u2013291 (1998)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D.: Dynamic logic, pp. 497\u2013604, Reidel (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"15_CR8","unstructured":"Kokinov, B.N.: A dynamic approach to context modeling. In: Proceedings of the IJCAI-1995 Workshop on Modeling Context in Knowledge representation and Reasoning. LAFORIA (1995)"},{"key":"15_CR9","unstructured":"Kokinov, B.N.: A dynamic theory of implicit context. In: Proceedings of the Second European Conference on Cognitive Science, University of Manchester Press (1997)"},{"key":"15_CR10","volume-title":"Naming and Necessity.","author":"S. Kripke","year":"1972","unstructured":"Kripke, S.: Naming and Necessity. Harvard University Press, Cambridge (1972)"},{"key":"15_CR11","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical considerations on modal logics. Acta philosophica fennica\u00a016, 83\u201394 (1963)","journal-title":"Acta philosophica fennica"},{"issue":"2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1027354826364","volume":"75","author":"M. Pauly","year":"2003","unstructured":"Pauly, M., Parikh, R.: Game Logic - An Overview. Studia Logica\u00a075(2), 165\u2013182 (2003)","journal-title":"Studia Logica"},{"key":"15_CR13","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: proceedings of the First International Conference Multi-Agent Systems, pp. 312\u2013319 (1995)"},{"key":"15_CR14","unstructured":"Sadek, M.D.: Attitudes mentales et interaction rationnelle: vers une th\u00e9orie formelle de la communication, PhD in computer sciences, Universit\u00e9 Rennes I (1991)"},{"key":"15_CR15","unstructured":"Sadek, M.D.: Communication theory = rationality principles + communicative act models. In: AAAI 1994 - Workshop on Planning for InterAgent Communication (1994)"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74255-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:16:16Z","timestamp":1619518576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74255-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540742548"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74255-5_15","relation":{},"subject":[]}}