{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T06:26:22Z","timestamp":1783146382497,"version":"3.54.6"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030757748","type":"print"},{"value":"9783030757755","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-75775-5_4","type":"book-chapter","created":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:46:09Z","timestamp":1620776769000},"page":"35-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Conditional Descriptor Revision and Its Modelling by a CSP"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2618-8721","authenticated-orcid":false,"given":"Jonas","family":"Haldimann","sequence":"first","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":"Martin","family":"von Berg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8689-5391","authenticated-orcid":false,"given":"Gabriele","family":"Kern-Isberner","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":[[2021,5,12]]},"reference":[{"issue":"2","key":"4_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":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/j.ijar.2013.11.003","volume":"55","author":"M Banerjee","year":"2014","unstructured":"Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. Int. J. Approx. Reason. 55(2), 639\u2013653 (2014). https:\/\/doi.org\/10.1016\/j.ijar.2013.11.003","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"4_CR3","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 Intelligenz 31(1), 41\u201352 (2017)","journal-title":"KI - K\u00fcnstliche Intelligenz"},{"issue":"2\u20133","key":"4_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)","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR5","doi-asserted-by":"crossref","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(3-4), 247\u2013275 (2018)","DOI":"10.1007\/s10472-017-9571-9"},{"issue":"1","key":"4_CR6","first-page":"57","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 33(1), 57\u201368 (2019)","journal-title":"KI"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/s10489-018-1203-5","volume":"49","author":"C Beierle","year":"2018","unstructured":"Beierle, C., Kutsch, S.: Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents. Appl. Intell. 49(1), 28\u201343 (2018). https:\/\/doi.org\/10.1007\/s10489-018-1203-5","journal-title":"Appl. Intell."},{"issue":"3","key":"4_CR8","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. Logic 25(3), 263\u2013305 (1996)","journal-title":"J. Philos. Logic"},{"key":"4_CR9","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). https:\/\/doi.org\/10.1007\/BFb0033845"},{"key":"4_CR10","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":"4_CR11","unstructured":"de Finetti, B.: La pr\u00e9vision, ses lois logiques et ses sources subjectives. Ann. Inst. H. Poincar\u00e9 7(1), 1\u201368 (1937). English translation in Studies in Subjective Probability, Kyburg, H., Smokler, H.E. (eds.) pp. 93\u2013158. Wiley, New York (1974)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Haldimann, J., Sauerwald, K., von Berg, M., Kern-Isberner, G., Beierle, C.: Towards a framework of Hansson\u2019s descriptor revision for conditionals. In: The 36th ACM\/SIGAPP Symposium on Applied Computing (SAC 2021), 22\u201326 March 2021, Virtual Event, Republic of Korea, pp. 889\u2013891. ACM, New York (2021)","DOI":"10.1145\/3412841.3442101"},{"issue":"5","key":"4_CR13","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. Studia Logica 102(5), 955\u2013980 (2014)","journal-title":"Studia Logica"},{"issue":"5","key":"4_CR14","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. Studia Logica 103(5), 1019\u20131033 (2015). https:\/\/doi.org\/10.1007\/s11225-015-9604-5","journal-title":"Studia Logica"},{"issue":"1","key":"4_CR15","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. Logic Lang. Inf. 25(1), 37\u201350 (2015). https:\/\/doi.org\/10.1007\/s10849-015-9223-6","journal-title":"J. Logic Lang. Inf."},{"issue":"4","key":"4_CR16","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. Logic 45(4), 429\u2013450 (2015). https:\/\/doi.org\/10.1007\/s10992-015-9381-7","journal-title":"J. Philos. Logic"},{"issue":"4","key":"4_CR17","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). https:\/\/doi.org\/10.1093\/logcom\/exv076","journal-title":"J. Log. Comput."},{"key":"4_CR18","series-title":"Trends in Logic","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. TL, vol. 46. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-53061-1"},{"issue":"5","key":"4_CR19","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. Studia Logica 107(5), 887\u2013915 (2018). https:\/\/doi.org\/10.1007\/s11225-018-9807-7","journal-title":"Studia Logica"},{"key":"4_CR20","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","author":"G Kern-Isberner","year":"2001","unstructured":"Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44600-1"},{"issue":"1\u20132","key":"4_CR21","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":"4_CR22","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.) GCAI 2017. 3nd Global Conference on Artificial Intelligence, Miami, USA, 20\u201322 October 2017. EPiC Series in Computing, vol. 50. EasyChair, October 2017. https:\/\/easychair.org\/publications\/volume\/GCAI_2017"},{"key":"4_CR23","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, 6\u20138 January (2020)"},{"key":"4_CR24","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, 23 September 2019. CEUR Workshop Proceedings, vol. 2445, pp. 47\u201358. (2019)"},{"key":"4_CR25","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). https:\/\/doi.org\/10.1007\/BFb0018421"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-030-58285-2_15","volume-title":"KI 2020: Advances in Artificial Intelligence","author":"K Sauerwald","year":"2020","unstructured":"Sauerwald, K., Haldimann, J., von Berg, M., Beierle, C.: Descriptor revision for conditionals: literal descriptors and conditional preservation. In: Schmid, U., Kl\u00fcgl, F., Wolter, D. (eds.) KI 2020. LNCS (LNAI), vol. 12325, pp. 204\u2013218. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58285-2_15"},{"key":"4_CR27","doi-asserted-by":"publisher","unstructured":"Sauerwald, K., Kern-Isberner, G., Beierle, C.: A conditional perspective for iterated belief contraction. In: Giacomo, G.D., Catal\u00e1, A., Dilkina, B., Milano, M., Barro, S., Bugar\u00edn, A., Lang, J. (eds.) ECAI 2020\u201324th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 325, pp. 889\u2013896. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200180","DOI":"10.3233\/FAIA200180"},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Spohn, W.: Ordinal Conditional Functions: A Dynamic Theory of Epistemic States, pp. 105\u2013134. Springer, Dordrecht (1988). https:\/\/doi.org\/10.1007\/978-94-009-2865-7_6","DOI":"10.1007\/978-94-009-2865-7_6"},{"issue":"1","key":"4_CR29","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. Studia Logica 105(1), 37\u201363 (2017)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-75775-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:47:23Z","timestamp":1620776843000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75775-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030757748","9783030757755"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75775-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2021.aau.at\/","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":"68","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":"27","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":"3","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":"40% - 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 this event was held virtually.","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)"}}]}}