{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:25:42Z","timestamp":1783653942819,"version":"3.55.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030299071","type":"print"},{"value":"9783030299088","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29908-8_37","type":"book-chapter","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T01:03:32Z","timestamp":1566522212000},"page":"459-472","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Belief Change Properties of Forgetting Operations over Ranking Functions"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Kern-Isberner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tanja","family":"Bock","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":"Christoph","family":"Beierle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,8,23]]},"reference":[{"issue":"2","key":"37_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"37_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s13218-018-0567-3","volume":"33","author":"C Beierle","year":"2019","unstructured":"Beierle, C., Kern-Isberner, G., Sauerwald, K., Bock, T., Ragni, M.: Towards a general framework for kinds of forgetting in common-sense belief management. KI - K\u00fcnstliche Intelligenz 33(1), 57\u201368 (2019)","journal-title":"KI - K\u00fcnstliche Intelligenz"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1016\/j.ijar.2016.06.010","volume":"80","author":"T Caridroit","year":"2017","unstructured":"Caridroit, T., Konieczny, S., Marquis, P.: Contraction in propositional logic. Int. J. Approx. Reason. 80, 428\u2013442 (2017)","journal-title":"Int. J. Approx. Reason."},{"issue":"5","key":"37_CR4","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s10992-008-9086-2","volume":"37","author":"S Chopra","year":"2008","unstructured":"Chopra, S., Ghose, A., Meyer, T.A., Wong, K.-S.: Iterated belief change and the recovery axiom. J. Philos. Logic 37(5), 501\u2013520 (2008)","journal-title":"J. Philos. Logic"},{"key":"37_CR5","unstructured":"de Finetti, B.: La pr\u00e9vision, ses lois logiques et ses sources subjectives. Ann. Inst. H. Poincar\u00e9 7(1), 1\u201368 (1937). Engl. transl. Theory Probab. J. (1974). Wiley"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On updates of logic programs: semantics and properties. Technical report, TU Vienna (2001)","DOI":"10.1007\/3-540-40006-0_2"},{"issue":"1","key":"37_CR7","first-page":"9","volume":"33","author":"T Eiter","year":"2019","unstructured":"Eiter, T., Kern-Isberner, G.: A brief survey on forgetting from a knowledge representation and reasoning perspective. KI 33(1), 9\u201333 (2019)","journal-title":"KI"},{"issue":"2","key":"37_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1022927828817","volume":"73","author":"EL Ferm\u00e9","year":"2003","unstructured":"Ferm\u00e9, E.L., Saez, K., Sanz, P.: Multiple kernel contraction. Stud. Logica 73(2), 183\u2013195 (2003)","journal-title":"Stud. Logica"},{"key":"37_CR9","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.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84, 57\u2013112 (1996)","journal-title":"Artif. Intell."},{"key":"37_CR10","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: The ultimate guide to forgetting in answer set programming. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, pp. 135\u2013144. AAAI Press (2016)"},{"key":"37_CR11","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.: Propositional knowledge base revision and minimal change. Artif. Intell. 52, 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"key":"37_CR12","unstructured":"Kern-Isberner, G., Bock, T., Beierle, C., Sauerwald, K.: Axiomatic evaluation of epistemic forgetting operators. In: Proceedings of the 32nd International FLAIRS Conference, FLAIRS-32, pp. 470\u2013475. AAAI Press (2019)"},{"key":"37_CR13","unstructured":"Kern-Isberner, G., Bock, T., Sauerwald, K., Beierle, C.: Iterated contraction of propositions and conditionals under the principle of conditional preservation. In: 3rd Global Conference on Artificial Intelligence, GCAI 2017. EPiC Series in Computing, vol. 50, pp. 78\u201392. EasyChair (2017)"},{"key":"37_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-319-67582-4_25","volume-title":"Scalable Uncertainty Management","author":"S Konieczny","year":"2017","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: On iterated contraction: syntactic characterization, representation theorem and limitations of the levi identity. In: Moral, S., Pivert, O., S\u00e1nchez, D., Mar\u00edn, N. (eds.) SUM 2017. LNCS (LNAI), vol. 10564, pp. 348\u2013362. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67582-4_25"},{"key":"37_CR15","unstructured":"Saribatur, Z.G., Eiter, T.: Omission-based abstraction for answer set programs. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, pp. 42\u201351. AAAI Press (2018)"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, II, pp. 105\u2013134. Kluwer Academic Publishers (1988)","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"37_CR17","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199697502.001.0001","volume-title":"The Laws of Belief: Ranking Theory and Its Philosophical Applications","author":"W Spohn","year":"2012","unstructured":"Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford (2012)"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2019: Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29908-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:23:24Z","timestamp":1709825004000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-29908-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030299071","9783030299088"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29908-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRICAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pacific Rim International Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cuvu, Yanuka Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Fiji","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pricai2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pricai.org\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}