{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:23:36Z","timestamp":1783653816178,"version":"3.55.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,12,8]],"date-time":"2018-12-08T00:00:00Z","timestamp":1544227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"DFG","award":["BE 1700\/9-1"],"award-info":[{"award-number":["BE 1700\/9-1"]}]},{"name":"DFG","award":["KE 1413\/10-1"],"award-info":[{"award-number":["KE 1413\/10-1"]}]},{"name":"DFG","award":["RA 1934\/5-1"],"award-info":[{"award-number":["RA 1934\/5-1"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s13218-018-0567-3","type":"journal-article","created":{"date-parts":[[2018,12,8]],"date-time":"2018-12-08T02:57:28Z","timestamp":1544237848000},"page":"57-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management"],"prefix":"10.1007","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0736-8516","authenticated-orcid":false,"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1551-7016","authenticated-orcid":false,"given":"Kai","family":"Sauerwald","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tanja","family":"Bock","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Ragni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,12,8]]},"reference":[{"issue":"2","key":"567_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50(2):510\u2013530","journal-title":"J Symb Logic"},{"key":"567_CR2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001","volume-title":"How can the human mind occur in the physical universe?","author":"JR Anderson","year":"2007","unstructured":"Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New York"},{"issue":"4","key":"567_CR3","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson JR, Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036\u20131050","journal-title":"Psychol Rev"},{"key":"567_CR4","doi-asserted-by":"crossref","unstructured":"Beierle C, Bock T, Kern-Isberner G, Ragni M, Sauerwald K (2018) Kinds and aspects of forgetting in common-sense knowledge and belief management. In: Trollmann F, Turhan A (eds) KI 2018: advances in artificial intelligence, 41st German conference on AI, proceedings, LNAI, vol 11117, Springer, Berlin, pp 366\u2013373","DOI":"10.1007\/978-3-030-00111-7_31"},{"issue":"9","key":"567_CR5","doi-asserted-by":"publisher","first-page":"1333","DOI":"10.1016\/j.ijar.2009.04.006","volume":"50","author":"C Beierle","year":"2009","unstructured":"Beierle C, Kern-Isberner G (2009) Formal similarities and differences among qualitative conditional semantics. Int J Approx Reason 50(9):1333\u20131346","journal-title":"Int J Approx Reason"},{"issue":"2\u20133","key":"567_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10472-012-9310-1","volume":"65","author":"C Beierle","year":"2012","unstructured":"Beierle C, Kern-Isberner G (2012) Semantical investigations into nonmonotonic and probabilistic logics. Ann Math Artif Intell 65(2\u20133):123\u2013158","journal-title":"Ann Math Artif Intell"},{"key":"567_CR7","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities","author":"G Boole","year":"1854","unstructured":"Boole G (1854) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Walton and Maberly, London"},{"key":"567_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche A, Pearl J (1997) On the logic of iterated belief revision. Artif Intell 89:1\u201329","journal-title":"Artif Intell"},{"key":"567_CR9","volume-title":"Theory of probability","author":"B DeFinetti","year":"1974","unstructured":"DeFinetti B (1974) Theory of probability, vol 1,2. Wiley, New York"},{"key":"567_CR10","unstructured":"Delgrande JP (2014) Towards a knowledge level analysis of forgetting. In: Principles of knowledge representation and reasoning. In: Proceedings of the fourteenth international conference, KR 2014, Vienna, 20\u201324 July 2014"},{"key":"567_CR11","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1613\/jair.5530","volume":"60","author":"JP Delgrande","year":"2017","unstructured":"Delgrande JP (2017) A knowledge level account of forgetting. J Artif Intell Res 60:1165\u20131213","journal-title":"J Artif Intell Res"},{"issue":"2","key":"567_CR12","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s11229-009-9554-4","volume":"169","author":"H Ditmarsch van","year":"2009","unstructured":"van Ditmarsch H, Herzig A, Lang J, Marquis P (2009) Introspective forgetting. Synthese 169(2):405\u2013423","journal-title":"Synthese"},{"key":"567_CR13","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/BFb0035615","volume-title":"Qualitative and quantitative practical reasoning","author":"D Dubois","year":"1997","unstructured":"Dubois D, Prade H (1997) Focusing vs. belief revision: a fundamental distinction when dealing with generic knowledge. In: Gabbay DM, Kruse R, Nonnengart A, Ohlbach HJ (eds) Qualitative and quantitative practical reasoning. Springer, Berlin, pp 96\u2013107"},{"key":"567_CR14","volume-title":"\u00dcber das Ged\u00e4chtnis. Untersuchungen zur experimentellen Psychologie","author":"H Ebbinghaus","year":"1885","unstructured":"Ebbinghaus H (1885) \u00dcber das Ged\u00e4chtnis. Untersuchungen zur experimentellen Psychologie. Duncker and Humblot, Leipzig"},{"key":"567_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537915.003.0002","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"P G\u00e4rdenfors","year":"1995","unstructured":"G\u00e4rdenfors P, Rott H (1995) Belief revision. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Handbook of logic in artificial intelligence and logic programming, vol 4. Oxford University Press, Oxford, pp 35\u2013132"},{"key":"567_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(95)00090-9","volume":"84","author":"M Goldszmidt","year":"1996","unstructured":"Goldszmidt M, Pearl J (1996) Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif Intell 84:57\u2013112","journal-title":"Artif Intell"},{"key":"567_CR17","unstructured":"Gon\u00e7alves R, Knorr M, Leite J (2016) The ultimate guide to forgetting in answer set programming. In: Baral C, Delgrande JP, Wolter F (eds) Principles of knowledge representation and reasoning: proceedings of the fifteenth international conference, KR 2016, AAAI Press, California, pp 135\u2013144"},{"key":"567_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno H, Mendelzon A (1991) Propositional knowledge base revision and minimal change. Artif Intell 52:263\u2013294","journal-title":"Artif Intell"},{"key":"567_CR19","unstructured":"Kern-Isberner G (1999) A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision. Department of Computer Science, FernUniversit\u00e4t Hagen. Habilitation thesis"},{"issue":"1\u20132","key":"567_CR20","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1026110129951","volume":"40","author":"G Kern-Isberner","year":"2004","unstructured":"Kern-Isberner G (2004) A thorough axiomatization of a principle of conditional preservation in belief revision. Ann Math Artif Intell 40(1\u20132):127\u2013164","journal-title":"Ann Math Artif Intell"},{"key":"567_CR21","unstructured":"Kern-Isberner G (2018) Axiomatizing a qualitative principle of conditional preservation for iterated belief change. In: Proceedings 16th international conference on principles of knowledge representation and reasoning, KR 2018, pp 248\u2013256"},{"key":"567_CR22","unstructured":"Kern-Isberner G, Bock T, Sauerwald K, Beierle C (2017) Iterated contraction of propositions and conditionals under the principle of conditional preservation. In: Benzm\u00fcller C, Lisetti CL, Theobald M (eds) 3rd global conference on artificial intelligence (GCAI), EPiC series in computing, vol 50, EasyChair, pp 78\u201392. http:\/\/www.easychair.org\/publications\/volume\/GCAI_2017"},{"key":"567_CR23","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7688.001.0001","volume-title":"The Soar cognitive architecture","author":"J Laird","year":"2012","unstructured":"Laird J (2012) The Soar cognitive architecture. MIT Press, Cambridge"},{"key":"567_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1613\/jair.1113","volume":"18","author":"J Lang","year":"2003","unstructured":"Lang J, Liberatore P, Marquis P (2003) Propositional independence: formula-variable independence and forgetting. J Artif Intell Res 18:391\u2013443","journal-title":"J Artif Intell Res"},{"key":"567_CR25","doi-asserted-by":"crossref","unstructured":"Leite J (2017) A bird\u2019s-eye view of forgetting in answer-set programming. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017, Espoo, 3\u20136 July 2017, Proceedings, Lecture notes in computer science, vol 10377, Springer, Berlin, pp 10\u201322","DOI":"10.1007\/978-3-319-61660-5_2"},{"issue":"4","key":"567_CR26","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BF00485649","volume":"34","author":"I Levi","year":"1977","unstructured":"Levi I (1977) Subjunctives, dispositions and chances. Synthese 34(4):423\u2013455","journal-title":"Synthese"},{"key":"567_CR27","unstructured":"Lin F (2000) On strongest necessary and weakest sufficient conditions. In: Cohn AG, Giunchiglia F, Selman B (eds) KR 2000, Principles of knowledge representation and reasoning. Proceedings of the seventh international conference, Breckenridge, Morgan Kaufmann, 11\u201315 Apr 2000, pp 167\u2013175"},{"key":"567_CR28","unstructured":"Lin F, Reiter R (1994) Forget it! In: Proceedings of the AAAI fall symposium on relevance, AAAI Press, Menlo Park, pp 154\u2013159"},{"key":"567_CR29","volume-title":"Categories for the working mathematician","author":"S Mac Lane","year":"1972","unstructured":"Mac Lane S (1972) Categories for the working mathematician. Springer, New York"},{"key":"567_CR30","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537472.003.0002","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"D Makinson","year":"1994","unstructured":"Makinson D (1994) General patterns in nonmonotonic reasoning. In: Gabbay D, Hogger C, Robinson J (eds) Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, Oxford, pp 35\u2013110"},{"key":"567_CR31","volume-title":"Probabilistic reasoning in intelligent systems","author":"J Pearl","year":"1988","unstructured":"Pearl J (1988) Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San Mateo"},{"key":"567_CR32","unstructured":"Ragni M, Sauerwald K, Bock T, Kern-Isberner G, Friemann P, Beierle C (2018) Towards a formal foundation of cognitive architectures. In: Proceedings of the 40th annual meeting of the Cognitive Science Society, CogSci 2018, Madison, 25\u201328 July 2018, CognitiveScienceSociety.org, pp 2321\u20132326. https:\/\/mindmodeling.org\/cogsci2018"},{"key":"567_CR33","unstructured":"Rajaratnam D, Levesque HJ, Pagnucco M, Thielscher M (2014) Forgetting in action. In: Principles of knowledge representation and reasoning. Proceedings of the fourteenth international conference, KR 2014, Vienna, 20\u201324 July 2014"},{"key":"567_CR34","unstructured":"Scherl RB, Levesque HJ (1993) The frame problem and knowledge-producing actions. In: Fikes R, Lehnert WG (eds) Proceedings of the 11th national conference on artificial intelligence, Washington, DC, 11\u201315 July 1993. AAAI Press\/ The MIT Press, pp 689\u2013695"},{"key":"567_CR35","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in decision, belief change, and statistics","author":"W Spohn","year":"1988","unstructured":"Spohn W (1988) Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper W, Skyrms B (eds) Causation in decision, belief change, and statistics, vol II. Kluwer Academic Publishers, Dordrecht, pp 105\u2013134"},{"key":"567_CR36","unstructured":"Wang K, Wang Z, Topor RW, Pan JZ, Antoniou G (2009) Concept and role forgetting in $${\\cal{ALC}}$$ ALC ontologies. In: Bernstein A, Karger DR, Heath T, Feigenbaum L, Maynard D, Motta E, Thirunarayan K (eds) The semantic web\u2014ISWC 2009, 8th international semantic web conference, ISWC 2009, Chantilly, 25\u201329 Oct 2009. Proceedings, LNCS, vol 5823, Springer, Berlin, pp 666\u2013681"},{"key":"#cr-split#-567_CR37.1","unstructured":"Wang Y, Wang K, Zhang M (2013) Forgetting for answer set programs revisited. In: Rossi F"},{"key":"#cr-split#-567_CR37.2","unstructured":"(ed) IJCAI 2013, Proceedings of the 23rd international joint conference on artificial intelligence, Beijing, 3-9 Aug 2013, IJCAI\/AAAI, pp 1162-1168"},{"issue":"16","key":"567_CR38","doi-asserted-by":"publisher","first-page":"1525","DOI":"10.1016\/j.artint.2009.07.005","volume":"173","author":"Y Zhang","year":"2009","unstructured":"Zhang Y, Zhou Y (2009) Knowledge forgetting: properties and applications. Artif Intell 173(16):1525\u20131537","journal-title":"Artif Intell"},{"key":"567_CR39","doi-asserted-by":"crossref","unstructured":"Zhou Y, Zhang Y (2011) Bounded forgetting. In: Burgard W, Roth D (eds) Proceedings of the twenty-fifth AAAI conference on artificial intelligence, AAAI, San Francisco, 7\u201311 Aug 2011","DOI":"10.1609\/aaai.v25i1.7842"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0567-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0567-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0567-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T04:27:56Z","timestamp":1720844876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0567-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,8]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["567"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0567-3","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,8]]},"assertion":[{"value":"26 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}