{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:10:01Z","timestamp":1747368601538,"version":"3.40.5"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_6","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"81-95","source":"Crossref","is-referenced-by-count":2,"title":["A System Z-like Approach for First-Order Default Reasoning"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Kern-Isberner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Beierle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0049-237X(08)71673-2","volume-title":"Aspects of Inductive Logic","author":"E. Adams","year":"1966","unstructured":"Adams, E.: Probability and the logic of conditionals. In: Hintikka, J., Suppes, P. (eds.) Aspects of Inductive Logic, pp. 265\u2013316. North-Holland, Amsterdam (1966)"},{"doi-asserted-by":"crossref","unstructured":"Beierle, C., Kern-Isberner, G.: Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5th, revised and extended edn. Springer, Wiesbaden (2014)","key":"6_CR2","DOI":"10.1007\/978-3-8348-2300-7"},{"key":"6_CR3","first-page":"719","volume":"42","author":"P. Bonatti","year":"2011","unstructured":"Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. Journal of Artificial Intelligence Research\u00a042, 719\u2013764 (2011)","journal-title":"Journal of Artificial Intelligence Research"},{"unstructured":"Brewka, G.: Tweety - still flying: Some remarks on abnormal birds applicable rules and a default prover. In: Kehler, T. (ed.) Proceedings of the 5th National Conference on Artificial Intelligence, Philadelphia, PA, August 11-15. Science, vol.\u00a01, pp. 8\u201312. Morgan Kaufmann (1986)","key":"6_CR4"},{"unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Proceedings of KR-2008. pp. 476\u2013484. AAAI Press\/MIT Press (2008)","key":"6_CR5"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0004-3702(98)00088-5","volume":"105","author":"J. Delgrande","year":"1998","unstructured":"Delgrande, J.: On first-order conditional logics. Artificial Intelligence\u00a0105, 105\u2013137 (1998)","journal-title":"Artificial Intelligence"},{"unstructured":"de Finetti, B.: La pr\u00e9vision, ses lois logiques et ses sources subjectives. Ann. Inst. H. Poincar\u00e9\u00a07 (1937), English translation in Kyburg, H., Smokler, H.E.: Studies in Subjective Probability, pp. 93-158. Wiley, New York (1964)","key":"6_CR7"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation \u2013 the A-prolog perspective. Artificial Intelligence\u00a0138, 3\u201338 (2002)","journal-title":"Artificial Intelligence"},{"unstructured":"Giordano, L., Gliozzi, V., Olivetti, N.: Minimal model semantics and rational closure in description logics. In: Proceedings of DL-2013 (2013)","key":"6_CR9"},{"key":"6_CR10","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. Artificial Intelligence\u00a084, 57\u2013112 (1996)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"6_CR11","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. Annals of Mathematics and Artificial Intelligence\u00a040(1-2), 127\u2013164 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Eichhorn, C.: Structural inference from conditional knowledge bases. Studia Logica, Special Issue Logic and Probability: Reasoning in Uncertain Environments 102(4) (2014)","key":"6_CR12","DOI":"10.1007\/s11225-013-9503-6"},{"doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Thimm, M.: A ranking semantics for first-order conditionals. In: De Raedt, L., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P. (eds.) Proceedings 20th European Conference on Artificial Intelligence, ECAI-2012. Frontiers in Artificial Intelligence and Applications, vol.\u00a0242, pp. 456\u2013461. IOS Press (2012)","key":"6_CR13","DOI":"10.3233\/978-1-61499-098-7-456"},{"key":"6_CR14","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? Artificial Intelligence\u00a055, 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"6_CR15","first-page":"121","volume-title":"Proc. of the 3rd Conf. on Theor. Asp. of Reasoning about Knowledge, TARK 1990","author":"J. Pearl","year":"1990","unstructured":"Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Proc. of the 3rd Conf. on Theor. Asp. of Reasoning about Knowledge, TARK 1990, pp. 121\u2013135. Morgan Kaufmann Publishers Inc., San Francisco (1990)"},{"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)","key":"6_CR16","DOI":"10.1007\/978-94-009-2865-7_6"},{"doi-asserted-by":"crossref","unstructured":"Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press (2012)","key":"6_CR17","DOI":"10.1093\/acprof:oso\/9780199697502.001.0001"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T03:46:53Z","timestamp":1747367213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}