{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:24:39Z","timestamp":1760171079007,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900490"},{"type":"electronic","value":"9783319900506"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-90050-6_3","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T08:33:32Z","timestamp":1523954012000},"page":"34-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Compilation of Conditional Knowledge Bases for Computing C-Inference Relations"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Steven","family":"Kutsch","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Sauerwald","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,18]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals","author":"E Adams","year":"1975","unstructured":"Adams, E.: The Logic of Conditionals. D. Reidel, Dordrecht (1975)"},{"key":"3_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"3_CR3","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"},{"key":"3_CR4","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions. In: ECAI-2016, vol. 285, pp. 1149\u20131157. IOS Press (2016)"},{"issue":"1","key":"3_CR5","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":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-41524-1_10","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"C Beierle","year":"2013","unstructured":"Beierle, C., Kern-Isberner, G., S\u00f6dler, K.: A declarative approach for computing ordinal conditional functions using constraint logic programming. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP -2011. LNCS (LNAI), vol. 7773, pp. 175\u2013192. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41524-1_10"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-319-61581-3_21","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C Beierle","year":"2017","unstructured":"Beierle, C., Kutsch, S.: Comparison of inference relations defined over different sets of ranking functions. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) ECSQARU 2017. LNCS (LNAI), vol. 10369, pp. 225\u2013235. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61581-3_21"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-319-60042-0_52","volume-title":"Advances in Artificial Intelligence: From Theory to Practice","author":"C Beierle","year":"2017","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.) IEA\/AIE 2017. LNCS (LNAI), vol. 10350, pp. 477\u2013487. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60042-0_52"},{"issue":"6","key":"3_CR9","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."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"3_CR11","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. Henri. Poincar\u00e9 7(1), 1\u201368 (1937). English translation in Kyburg, H., Smokler, H.E. (eds.) Studies in Subjective Probability, pp. 93\u2013158. Wiley, New York (1974)","journal-title":"Ann. Inst. Henri. Poincar\u00e9"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relations: main results. In: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, KR 1994, San Francisco, CA, USA, pp. 170\u2013177. Morgan Kaufmann Publishers (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50112-3"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0004-3702(02)00271-0","volume":"142","author":"T Eiter","year":"2002","unstructured":"Eiter, T., Lukasiewicz, T.: Complexity results for structure-based causality. Artif. Intell. 142(1), 53\u201389 (2002)","journal-title":"Artif. Intell."},{"key":"3_CR14","unstructured":"Goldszmidt, M., Pearl, J.: On the Relation Between Rational Closure and System-Z. UCLA, Computer Science Department (1991)"},{"issue":"1\u20132","key":"3_CR15","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":"3_CR16","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":"3_CR17","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":"3_CR18","doi-asserted-by":"crossref","unstructured":"Knuth, D.E., Bendix, P.B.: Simple word problems in universal algebra. In: Leech, J. (ed.) Computational Problems in Abstract Algebra, pp. 263\u2013297. Pergamon Press (1970)","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"issue":"1","key":"3_CR19","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":"3_CR20","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":"3_CR21","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, TARK 1990, San Francisco, CA, USA, pp. 121\u2013135. Morgan Kaufmann Publishers Inc. (1990)"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/BF01171114","volume":"27","author":"E Sperner","year":"1928","unstructured":"Sperner, E.: Ein Satz \u00fcber Untermengen einer endlichen Menge. Math. Z. 27(1), 544\u2013548 (1928)","journal-title":"Math. Z."},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics","author":"Wolfgang Spohn","year":"1988","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)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90050-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T22:27:55Z","timestamp":1571178475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90050-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900490","9783319900506"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90050-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}