{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T20:58:54Z","timestamp":1744145934155},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540893776"},{"type":"electronic","value":"9783540893783"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89378-3_2","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T16:43:58Z","timestamp":1227717838000},"page":"18-29","source":"Crossref","is-referenced-by-count":8,"title":["Introspective Forgetting"],"prefix":"10.1007","author":[{"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Marquis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Lin, F., Reiter, R.: Forget it! In: AAAI Fall Symposium on Relevance, New Orleans (1994)"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J. Lang","year":"2003","unstructured":"Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. (JAIR)\u00a018, 391\u2013443 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1-2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.artint.2005.01.005","volume":"164","author":"C. Baral","year":"2005","unstructured":"Baral, C., Zhang, Y.: Knowledge updates: semantics and complexity issues. Artificial Intelligence\u00a0164(1-2), 209\u2013243 (2005)","journal-title":"Artificial Intelligence"},{"key":"2_CR4","unstructured":"Zhang, Y., Zhou, Y.: Knowledge forgetting: Properties and applications. Work in progress under submission (2008)"},{"key":"2_CR5","unstructured":"Wang, K., Sattar, A., Su, K.: A theory of forgetting in logic programming. In: AAAI, pp. 682\u2013688 (2005)"},{"key":"2_CR6","unstructured":"Zhang, Y., Foo, N., Wang, K.: Solving logic program conflict through strong and weak forgettings. In: Proceedings of IJCAI, pp. 627\u2013634 (2005)"},{"key":"2_CR7","unstructured":"Eiter, T., Wang, K.: Forgetting and conflict resolving in disjunctive logic programming. In: Proceedings of AAAI (2006)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1007\/978-3-540-76298-0_48","volume-title":"The Semantic Web","author":"Y. Zhao","year":"2007","unstructured":"Zhao, Y., Wang, K., Topor, R., Pan, J., Giunchiglia, F.: Semantic cooperation and knowledge reuse by using autonomous ontologies. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 666\u2013679. Springer, Heidelberg (2007)"},{"key":"2_CR9","first-page":"409","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"E. Erdem","year":"2007","unstructured":"Erdem, E., Ferraris, P.: Forgetting actions in domain descriptions. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pp. 409\u2013414. AAAI Press, Menlo Park (2007)"},{"key":"2_CR10","unstructured":"Herzig, A., Lang, J., Marquis, P.: Action representation and partially observable planning using epistemic logic. In: Proceedings of IJCAI (2003)"},{"key":"2_CR11","first-page":"229","volume":"147","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H.: Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action)\u00a0147, 229\u2013275 (2005)","journal-title":"Synthese (Knowledge, Rationality & Action)"},{"key":"2_CR12","unstructured":"Baltag, A., Smets, S.: Dynamic belief revision over multi-agent plausibility models. In: Proceedings of LOFT 2006 (7th Conference on Logic and the Foundations of Game and Decision Theory) (2006)"},{"key":"2_CR13","unstructured":"Aucher, G.: Perspectives on belief and change. PhD thesis, University of Otago & Institut de Recherche en Informatique de Toulouse, New Zealand & France (2008)"},{"key":"#cr-split#-2_CR14.1","unstructured":"Yap, A.: Product update and looking backward. Technical report, University of Amsterdam (2006);"},{"key":"#cr-split#-2_CR14.2","unstructured":"ILLC Research Report PP-2006-39"},{"key":"2_CR15","unstructured":"Sack, Y.: Adding Temporal Logic to Dynamic Epistemic Logic. PhD thesis, Indiana University, Bloomington, USA (2007)"},{"issue":"11","key":"2_CR16","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":"2_CR17","unstructured":"van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) Post-proceedings of LOFT 2006, Amsterdam University Press (2008) (to appear in the series Texts in Logic and Games)"},{"key":"2_CR18","series-title":"Foundations of Computing Series","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. Foundations of Computing Series. MIT Press, Cambridge (2000)"},{"key":"2_CR19","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 (1998)"},{"key":"2_CR20","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"2_CR21","unstructured":"Visser, A.: Bisimulations, model descriptions and propositional quantifiers, Logic Group Preprint Series 161, Department of Philosophy, Utrecht University (1996)"},{"key":"2_CR22","unstructured":"French, T.: Bisimulation quantifiers for modal logic. PhD thesis, University of Western Australia (2006)"},{"key":"2_CR23","unstructured":"van Ditmarsch, H., French, T.: Simulation and information. In: (Electronic) Proceedings of LOFT 2008, Amsterdam (2008)"},{"key":"2_CR24","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol.\u00a0337. Springer, Heidelberg (2007)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-15648-8_23","volume-title":"Logics of Programs","author":"R. Ramanujam","year":"1985","unstructured":"Ramanujam, R., Lodaya, K.: Proving Fairness of Schedulers. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 284\u2013301. Springer, Heidelberg (1985)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging frameworks for interaction: DEL and ETL. In: Samet, D. (ed.) Proceedings of TARK 2007, pp. 72\u201381 (2007)","DOI":"10.1145\/1324249.1324262"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Pacuit, E.: Some comments on history-based structures. Journal of Applied Logic (2007)","DOI":"10.1016\/j.jal.2006.03.012"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Ruan, J., van der Hoek, W.: Model checking dynamic epistemics in branching time. In: (Informal) Proceedings of FAMAS 2007, Durham, UK (2007)","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Lecture Notes in Computer Science","AI 2008: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89378-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:37:48Z","timestamp":1557934668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89378-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893776","9783540893783"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89378-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}