{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T06:26:23Z","timestamp":1783146383824,"version":"3.54.6"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030582845","type":"print"},{"value":"9783030582852","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-58285-2_15","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T09:00:01Z","timestamp":1599728401000},"page":"204-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1551-7016","authenticated-orcid":false,"given":"Kai","family":"Sauerwald","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2618-8721","authenticated-orcid":false,"given":"Jonas","family":"Haldimann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"von Berg","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":[[2020,9,9]]},"reference":[{"issue":"2","key":"15_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. Log. 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s13218-016-0453-9","volume":"31","author":"C Beierle","year":"2017","unstructured":"Beierle, C., Eichhorn, C., Kutsch, S.: A practical comparison of qualitative inferences with preferred ranking models. KI - K\u00fcnstliche Intell. 31(1), 41\u201352 (2017)","journal-title":"KI - K\u00fcnstliche Intell."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10472-017-9571-9","volume":"83","author":"C Beierle","year":"2018","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83, 247\u2013275 (2018). \n                    https:\/\/doi.org\/10.1007\/s10472-017-9571-9","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2\u20133","key":"15_CR4","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.: Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2\u20133), 123\u2013158 (2012). \n                    https:\/\/doi.org\/10.1007\/s10472-012-9310-1","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s13218-018-0567-3","volume":"33","author":"C Beierle","year":"2018","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 Intell. 33(1), 57\u201368 (2018). \n                    https:\/\/doi.org\/10.1007\/s13218-018-0567-3","journal-title":"KI - K\u00fcnstliche Intell."},{"issue":"3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF00248151","volume":"25","author":"C Boutilier","year":"1996","unstructured":"Boutilier, C.: Iterated revision and minimal change of conditional beliefs. J. Philos. Log. 25(3), 263\u2013305 (1996)","journal-title":"J. Philos. Log."},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Glaser, H., Hartel, P., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191\u2013206. Springer, Heidelberg (1997). \n                    https:\/\/doi.org\/10.1007\/BFb0033845"},{"key":"15_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.: On the logic of iterated belief revision. Artif. Intell. 89, 1\u201329 (1997)","journal-title":"Artif. Intell."},{"key":"15_CR9","unstructured":"de Finetti, B.: La pr\u00e9vision, ses lois logiques et ses sources subjectives. In: Kyburg, H., Smokler, H.E. (eds.) Annales de l\u2019institut Henri Poincar\u00e9, vol. 7, pp. 93\u2013158. Wiley, New York (1937). English translation in Studies in Subjective Probability (1964)"},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/s11225-013-9512-5","volume":"102","author":"SO Hansson","year":"2014","unstructured":"Hansson, S.O.: Descriptor revision. Stud. Logica 102(5), 955\u2013980 (2014)","journal-title":"Stud. Logica"},{"issue":"5","key":"15_CR11","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s11225-015-9604-5","volume":"103","author":"SO Hansson","year":"2015","unstructured":"Hansson, S.O.: A monoselective presentation of AGM revision. Stud. Logica 103(5), 1019\u20131033 (2015). \n                    https:\/\/doi.org\/10.1007\/s11225-015-9604-5","journal-title":"Stud. Logica"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10849-015-9223-6","volume":"25","author":"SO Hansson","year":"2015","unstructured":"Hansson, S.O.: Blockage revision. J. Log. Lang. Inf. 25(1), 37\u201350 (2015). \n                    https:\/\/doi.org\/10.1007\/s10849-015-9223-6","journal-title":"J. Log. Lang. Inf."},{"issue":"4","key":"15_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10992-015-9381-7","volume":"45","author":"SO Hansson","year":"2015","unstructured":"Hansson, S.O.: Iterated descriptor revision and the logic of ramsey test conditionals. J. Philos. Log. 45(4), 429\u2013450 (2015). \n                    https:\/\/doi.org\/10.1007\/s10992-015-9381-7","journal-title":"J. Philos. Log."},{"issue":"4","key":"15_CR14","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1093\/logcom\/exv076","volume":"27","author":"SO Hansson","year":"2017","unstructured":"Hansson, S.O.: AGM contraction is not reconstructible as a descriptor operation. J. Log. Comput. 27(4), 1133\u20131141 (2017). \n                    https:\/\/doi.org\/10.1093\/logcom\/exv076","journal-title":"J. Log. Comput."},{"key":"15_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-53061-1","volume-title":"Descriptor Revision","author":"SO Hansson","year":"2017","unstructured":"Hansson, S.O.: Descriptor Revision. Springer, Heidelberg (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-53061-1"},{"issue":"5","key":"15_CR16","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1007\/s11225-018-9807-7","volume":"107","author":"SO Hansson","year":"2018","unstructured":"Hansson, S.O.: Back to basics: belief revision through direct selection. Stud. Logica 107(5), 887\u2013915 (2018). \n                    https:\/\/doi.org\/10.1007\/s11225-018-9807-7","journal-title":"Stud. Logica"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-45758-5_8","volume-title":"Foundations of Information and Knowledge Systems","author":"G Kern-Isberner","year":"2002","unstructured":"Kern-Isberner, G.: The principle of conditional preservation in belief revision. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 105\u2013129. Springer, Heidelberg (2002). \n                    https:\/\/doi.org\/10.1007\/3-540-45758-5_8"},{"issue":"1\u20132","key":"15_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1026110129951","volume":"40","author":"G Kern-Isberner","year":"2004","unstructured":"Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Ann. Math. Artif. Intell. 40(1\u20132), 127\u2013164 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44600-1","volume-title":"Conditionals in Nonmonotonic Reasoning and Belief Revision","year":"2001","unstructured":"Kern-Isberner, G. (ed.): Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001). \n                    https:\/\/doi.org\/10.1007\/3-540-44600-1"},{"key":"15_CR20","unstructured":"Kern-Isberner, G., Bock, T., Sauerwald, K., Beierle, C.: Iterated contraction of propositions and conditionals under the principle of conditional preservation. In: Benzm\u00fcller, C., Lisetti, C., Theobald, M. (eds.) 3nd Global Conference on Artificial Intelligence, GCAI 2017, Miami, USA, October 20\u201322, 2017. EPiC Series in Computing, vol. 50. EasyChair (October 2017). \n                    https:\/\/easychair.org\/publications\/volume\/GCAI_2017"},{"key":"15_CR21","unstructured":"Komo, C., Beierle, C.: Upper and lower bounds for finite domain constraints to realize skeptical c-inference over conditional knowledge bases. In: International Symposium on Artificial Intelligence and Mathematics (ISAIM 2020), Fort Lauderdale, FL, USA, January 6\u20138 (2020)"},{"key":"15_CR22","unstructured":"Kutsch, S.: InfOCF-Lib: a Java library for OCF-based conditional inference. In: Beierle, C., Ragni, M., Stolzenburg, F., Thimm, M. (eds.) Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) Co-Located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019. CEUR Workshop Proceedings, vol. 2445, pp. 47\u201358. CEUR-WS.org (2019)"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0018421","volume-title":"The Logic of Theory Change","author":"D Makinson","year":"1991","unstructured":"Makinson, D., G\u00e4rdenfors, P.: Relations between the logic of theory change and nonmonotonic logic. In: Fuhrmann, A., Morreau, M. (eds.) The Logic of Theory Change. LNCS, vol. 465, pp. 183\u2013205. Springer, Heidelberg (1991). \n                    https:\/\/doi.org\/10.1007\/BFb0018421"},{"key":"15_CR24","unstructured":"Sauerwald, K., Kern-Isberner, G., Beierle, C.: A conditional perspective for iterated belief contraction. In: Giacomo, G.D. (ed.) ECAI 2020\u201324nd European Conference on Artificial Intelligence, August 29th\u2013September 8th, 2020, Santiago de Compostela, Spain. IOS Press (2020)"},{"key":"15_CR25","doi-asserted-by":"publisher","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. The University of Western Ontario Series in Philosophy of Science (A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields), vol. 42. Springer, Dordrecht. \n                    https:\/\/doi.org\/10.1007\/978-94-009-2865-7_6","DOI":"10.1007\/978-94-009-2865-7_6"},{"issue":"1","key":"15_CR26","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11225-016-9681-0","volume":"105","author":"L Zhang","year":"2017","unstructured":"Zhang, L.: Believability relations for select-direct sentential revision. Stud. Logica 105(1), 37\u201363 (2017)","journal-title":"Stud. Logica"}],"container-title":["Lecture Notes in Computer Science","KI 2020: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58285-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T15:16:38Z","timestamp":1599750998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58285-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030582845","9783030582852"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58285-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"9 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bamberg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ki2020.uni-bamberg.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"62","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic KI 2020 was held as a virtual event.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}