{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T04:42:45Z","timestamp":1789879365866,"version":"4.0.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031157905","type":"print"},{"value":"9783031157912","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-15791-2_1","type":"book-chapter","created":{"date-parts":[[2022,9,16]],"date-time":"2022-09-16T07:34:06Z","timestamp":1663313646000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An Implementation of\u00a0Nonmonotonic Reasoning with\u00a0System W"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0736-8516","authenticated-orcid":false,"given":"Christoph","family":"Beierle","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":"Daniel","family":"Kollar","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":"Leon","family":"Schwarzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"issue":"1\u20134","key":"1_CR1","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1080\/00201746508601430","volume":"8","author":"E Adams","year":"1965","unstructured":"Adams, E.: The logic of conditionals. Inquiry 8(1\u20134), 166\u2013197 (1965)","journal-title":"Inquiry"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-30024-5_4","volume-title":"Foundations of Information and Knowledge Systems","author":"C Beierle","year":"2016","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G.: Skeptical inference based on c-representations and its characterization as a constraint satisfaction problem. In: Gyssens, M., Simari, G. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 65\u201382. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30024-5_4"},{"issue":"1","key":"1_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"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Beierle, C., von Berg, M., Sanin, A.: Realization of skeptical c-inference as a SAT problem. In: Keshtkar, F., Franklin, M. (eds.) Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS), Hutchinson Island, Florida, USA, 15\u201318 May 2022 (2022)","DOI":"10.32473\/flairs.v35i.130663"},{"key":"1_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\u20134), 247\u2013275 (2018)","DOI":"10.1007\/s10472-017-9571-9"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297, 103489 (2021)","DOI":"10.1016\/j.artint.2021.103489"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Beierle, C., Haldimann, J.: Normal forms of conditional belief bases respecting inductive inference. In: Keshtkar, F., Franklin, M. (eds.) Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS), Hutchinson Island, Florida, USA, 15\u201318 May 2022 (2022)","DOI":"10.32473\/flairs.v35i.130661"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Beierle, C., Haldimann, J.: Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90(2), 149\u2013179 (2022)","DOI":"10.1007\/s10472-021-09745-3"},{"key":"1_CR9","unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 1993), vol. 1, pp. 640\u2013647. Morgan Kaufmann Publishers, San Francisco (1993)"},{"key":"1_CR10","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. (1974)"},{"issue":"1\u20132","key":"1_CR11","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(1\u20132), 57\u2013112 (1996)","journal-title":"Artif. Intell."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Haldimann, J., Beierle, C.: Inference with system W satisfies syntax splitting. In: Kern-Isberner, G., Lakemeyer, G., Meyer, T. (eds.) Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, 31 July\u20135 August 2022, pp. 405\u2013409 (2022)","DOI":"10.24963\/kr.2022\/41"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Haldimann, J., Beierle, C.: Properties of system W and its relationships to other inductive inference operators. In: Varzinczak, I. (ed.) Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022. LNCS, pp. 206\u2013225. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-11321-5_12","DOI":"10.1007\/978-3-031-11321-5_12"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-030-58285-2_24","volume-title":"KI 2020: Advances in Artificial Intelligence","author":"JP Haldimann","year":"2020","unstructured":"Haldimann, J.P., Osiak, A., Beierle, C.: Modelling and reasoning in biomedical applications with qualitative conditional logic. In: Schmid, U., Kl\u00fcgl, F., Wolter, D. (eds.) KI 2020. LNCS (LNAI), vol. 12325, pp. 283\u2013289. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58285-2_24"},{"issue":"1\u20132","key":"1_CR15","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":"1_CR16","doi-asserted-by":"publisher","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","DOI":"10.1007\/3-540-44600-1"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Beierle, C., Brewka, G.: Syntax splitting = relevance + independence: new postulates for nonmonotonic reasoning from conditional belief bases. In: Calvanese, D., Erdem, E., Thielscher, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 17th International Conference, KR 2020, pp. 560\u2013571. IJCAI Organization (2020)","DOI":"10.24963\/kr.2020\/56"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-030-58285-2_8","volume-title":"KI 2020: Advances in Artificial Intelligence","author":"C Komo","year":"2020","unstructured":"Komo, C., Beierle, C.: Nonmonotonic inferences with qualitative conditionals based on preferred structures on worlds. In: Schmid, U., Kl\u00fcgl, F., Wolter, D. (eds.) KI 2020. LNCS (LNAI), vol. 12325, pp. 102\u2013115. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58285-2_8"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10472-021-09777-9","volume":"90","author":"C Komo","year":"2021","unstructured":"Komo, C., Beierle, C.: Nonmonotonic reasoning from conditional knowledge bases with system W. Ann. Math. Artif. Intell. 90(1), 107\u2013144 (2021). https:\/\/doi.org\/10.1007\/s10472-021-09777-9","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20132","key":"1_CR20","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1\u20132), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"1_CR21","unstructured":"Kutsch, S.: InfOCF-Lib: a Java library for OCF-based conditional inference. In: Proceedings DKB\/KIK-2019. CEUR Workshop Proceedings, vol. 2445, pp. 47\u201358. CEUR-WS.org (2019)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Kutsch, S., Beierle, C.: InfOCF-web: an online tool for nonmonotonic reasoning with conditionals and ranking functions. In: Zhou, Z. (ed.) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event\/Montreal, Canada, 19\u201327 August 2021, pp. 4996\u20134999 (2021). ijcai.org","DOI":"10.24963\/ijcai.2021\/711"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Kutsch, S., Beierle, C.: Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. Int. J. Approx. Reason. 130, 297\u2013313 (2021). https:\/\/doi.org\/10.1016\/j.ijar.2020.12.020","DOI":"10.1016\/j.ijar.2020.12.020"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"1_CR25","first-page":"266","volume":"2","author":"R Parikh","year":"1999","unstructured":"Parikh, R.: Beliefs, belief revision, and splitting languages. Logic Lang. Comput. 2, 266\u2013278 (1999)","journal-title":"Logic Lang. Comput."},{"key":"1_CR26","unstructured":"Pearl, J.: System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1990), pp. 121\u2013135. Morgan Kaufmann Publishers Inc., San Francisco (1990)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W., 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"}],"container-title":["Lecture Notes in Computer Science","KI 2022: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15791-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T23:59:36Z","timestamp":1727999976000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15791-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031157905","9783031157912"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15791-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"12 September 2022","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":"Trier","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ki2022.gi.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":"47","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":"12","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":"5","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":"2,6","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":"2,1","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":"Yes","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 COVID-19 the conference 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)"}}]}}