{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:08:22Z","timestamp":1781651302071,"version":"3.54.5"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"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":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10472-017-9571-9","type":"journal-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T08:09:58Z","timestamp":1517472598000},"page":"247-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem"],"prefix":"10.1007","volume":"83","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Eichhorn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steven","family":"Kutsch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,2,1]]},"reference":[{"key":"9571_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals. D","author":"EW Adams","year":"1975","unstructured":"Adams, E.W.: The Logic of Conditionals. D. Reidel, Dordrecht (1975)"},{"key":"9571_CR2","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\u201993), vol. 1, pp. 640\u2013647. Morgan Kaufmann Publishers, San Francisco (1993)"},{"issue":"6","key":"9571_CR3","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1093\/logcom\/9.6.873","volume":"9","author":"S Benferhat","year":"1999","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Possibilistic and standard probabilistic semantics of conditional knowledge bases. J. Log. Comput. 9(6), 873\u2013895 (1999)","journal-title":"J. Log. Comput."},{"issue":"1","key":"9571_CR4","first-page":"41","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 31(1), 41\u201352 (2017)","journal-title":"KI"},{"key":"9571_CR5","doi-asserted-by":"crossref","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.R. (eds.) Proceedings of 9th International Symposium Foundations of Information and Knowledge Systems, FoIKS 2016 Linz, Austria, March 7\u201311. vol. 9616 of LNCS, pp. 65\u201382. Springer, New York (2016)","DOI":"10.1007\/978-3-319-30024-5_4"},{"key":"9571_CR6","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions. In: Kaminka, G.A., Fox, M., Bouquet, P., H\u00fcllermeier, E., Dignum, V., Dignum, F., van Harmelen, F. (eds.) Proceedings 22nd European Conference on Artificial Intelligence, ECAI-2016, vol. 285, pp. 1149\u20131157. IOS Press (2016)"},{"key":"9571_CR7","doi-asserted-by":"crossref","unstructured":"Beierle C., Kutsch, S.: Regular and sufficient bounds of finite domain constraints for skeptical c-inference. In: Benferhat, S., Tabia, K., Ali, M. (eds.) Advances in Artificial Intelligence: From Theory to Practice, vol. 10350 of LNCS, pp. 477\u2013487. Springer, New York (2017)","DOI":"10.1007\/978-3-319-60042-0_52"},{"key":"9571_CR8","doi-asserted-by":"crossref","unstructured":"Beierle C., Kutsch, S.: Comparison of inference relations defined over different sets of ranking functions. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) Proceedings of 14th European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, Lugano, Switzerland, July 10\u201314, 2017, vol. 10369 of Lecture Notes in Computer Science, pp. 225\u2013235 (2017)","DOI":"10.1007\/978-3-319-61581-3_21"},{"issue":"2-3","key":"9571_CR9","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-3), 123\u2013158 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9571_CR10","doi-asserted-by":"crossref","unstructured":"Beierle, C., Kern-Isberner, G., So\u0307dler, K.: A declarative approach for computing ordinal conditional functions using constraint logic programming. In: 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Wien, Austria, Revised Selected Papers, vol. 7773 of LNAI, pp. 175\u2013192. Springer, New York (2013)","DOI":"10.1007\/978-3-642-41524-1_10"},{"issue":"5","key":"9571_CR11","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1093\/logcom\/7.5.605","volume":"7","author":"H Bezzazi","year":"1997","unstructured":"Bezzazi, H., Makinson, D., Perez\u0301, P.R.: Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations. J. Log. Comput. 7(5), 605\u2013631 (1997)","journal-title":"J. Log. Comput."},{"key":"9571_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04560-2","volume-title":"A logical theory of nonmonotonic inference and belief change","author":"A Bochman","year":"2001","unstructured":"Bochman, A.: A logical theory of nonmonotonic inference and belief change. Springer, New york (2001)"},{"key":"9571_CR13","doi-asserted-by":"crossref","unstructured":"Bezzazi H., Perez\u0301, R.P.: Rational transitivity and its models. In: Proceedings of the 26th international symposium on multiple-valued logic (ISMVL \u201996), pp. 160\u2013165. IEEE Computer Society, Washington (1996)","DOI":"10.1109\/ISMVL.1996.508354"},{"issue":"1","key":"9571_CR14","first-page":"1","volume":"7","author":"B Finetti de","year":"1937","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, ed. H. Kyburg and H.E. Smokler, 1974, pp. 93\u2013158. New York: Wiley & Sons.","journal-title":"Ann. Inst. H. Poincar\u00e9"},{"key":"9571_CR15","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relations: main results. In: Principles of knowledge representation and reasoning: Proceedings of the fourth international conference (KR\u201994), pp. 170\u2013177. Morgan Kaufmann Publishers, San Francisco (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50112-3"},{"key":"9571_CR16","unstructured":"Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relations. In: Principles of knowledge representation and reasoning: Proceedings of the fourth international conference (KR\u201994), pp. 170\u2013177. Morgan Kaufmann Publishers, San Francisco (1996)"},{"key":"9571_CR17","doi-asserted-by":"crossref","unstructured":"Dubois D., Prade, H.: Possibility theory and its applications: Where do we stand? In: Kacprzyk J., Pedrycz, W. (eds.) Springer Handbook of Computational Intelligence, pp. 31\u201360. Springer, Berlin (2015)","DOI":"10.1007\/978-3-662-43505-2_3"},{"issue":"2","key":"9571_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0004-3702(91)90039-M","volume":"52","author":"M Goldszmidt","year":"1991","unstructured":"Goldszmidt, M., Pearl, J.: On the consistency of defeasible databases. Artif. Intell. 52(2), 121\u2013149 (1991)","journal-title":"Artif. Intell."},{"key":"9571_CR19","unstructured":"Goldszmidt, M., Pearl, J.: On the relation between rational closure and System-Z. UCLA computer science department (1991)"},{"issue":"1-2","key":"9571_CR20","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-2), 57\u2013112 (1996)","journal-title":"Artif. Intell."},{"key":"9571_CR21","unstructured":"Halpern, J. Y.: Reasoning about uncertainty. MIT press (2005)"},{"key":"9571_CR22","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G.: Conditionals in nonmonotonic reasoning and belief revision \u2013 considering conditionals as agents. Number 2087 in Lecture Notes in Computer Science. Springer Science+Business Media, Berlin (2001)","DOI":"10.1007\/3-540-44600-1"},{"key":"9571_CR23","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, 127\u2013164 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9571_CR24","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Eichhorn, C.: Structural inference from conditional knowledge bases. In: Unterhuber, M., Schurz, G. (eds.) Logic and probability: reasoning in uncertain environments, number 102 (4) in Studia Logica, pp. 751\u2013769. Springer Science+Business Media, Dordrecht (2014)","DOI":"10.1007\/s11225-013-9503-6"},{"issue":"1\u20132","key":"9571_CR25","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":"9571_CR26","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973). Mass"},{"issue":"1","key":"9571_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"DJ Lehmann","year":"1992","unstructured":"Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"9571_CR28","doi-asserted-by":"crossref","unstructured":"Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 35\u2013110. Oxford University Press, New York (1994)","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"9571_CR29","doi-asserted-by":"crossref","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Glaser, H., Hartel, P.H., Kuchen, H. (eds.) Programming Languages: Implementations, Logics, and Programs, (PLILP\u201997), vol. 1292 of LNCS, pp. 191\u2013206. Springer, New York (1997)","DOI":"10.1007\/BFb0033845"},{"key":"9571_CR30","volume-title":"Probabilistic reasoning in intelligent systems","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems. Morgan Kaufmann Publishers Inc, San Francisco (1988)"},{"key":"9571_CR31","unstructured":"Pearl, J.: Probabilistic semantics for nonmonotonic reasoning: A survey. In: Shafer, G., Pearl, J. (eds.) Readings in uncertain reasoning, pp. 699\u2013710. Morgan Kaufmann, San Mateo (1989)"},{"key":"9571_CR32","unstructured":"Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Parikh, R. (ed.) Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning About Knowledge (TARK1990), pp. 121\u2013135. Morgan Kaufmann Publishers Inc, San Francisco (1990)"},{"key":"9571_CR33","unstructured":"Snow, P.: The emergence of ordered belief from initial ignorance. In: Proceedings AAAI-94, pp. 281-286, Seattle, WA (1994)"},{"key":"9571_CR34","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, Dordrecht (1988)","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"9571_CR35","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)"},{"key":"9571_CR36","unstructured":"Thorn, P.D., Eichhorn, C., Kern-Isberner, G., Schurz, G.: Qualitative probabilistic inference with default inheritance for exceptional subclasses. In: Beierle, C., Kern-Isberner, G., Ragni, M., Stolzenburg, F. (eds.) Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), vol. 1444 of CEUR Workshop Proceedings (2015)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-017-9571-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-017-9571-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-017-9571-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T11:19:28Z","timestamp":1751282368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-017-9571-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,1]]},"references-count":36,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9571"],"URL":"https:\/\/doi.org\/10.1007\/s10472-017-9571-9","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,1]]},"assertion":[{"value":"1 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}