{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:29:09Z","timestamp":1762507749289,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_18","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T12:27:54Z","timestamp":1557145674000},"page":"279-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Steven","family":"Kutsch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Beierle, C.: Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. In: The 34th ACM\/SIGAPP Symposium on Applied Computing (SAC 2019) 8\u201312 April 2019, Limassol, Cyprus. ACM, New York (2019, to appear). \n                      https:\/\/doi.org\/10.1145\/3297280.3297391","DOI":"10.1145\/3297280.3297391"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-319-61581-3_22","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C Beierle","year":"2017","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G.: A transformation system for unique minimal normal forms of conditional knowledge bases. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) ECSQARU 2017. LNCS (LNAI), vol. 10369, pp. 236\u2013245. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-61581-3_22"},{"key":"18_CR3","first-page":"1149","volume-title":"Proceedings 22nd European Conference on Artificial Intelligence, ECAI-2016","author":"C Beierle","year":"2016","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., et al. (eds.) Proceedings 22nd European Conference on Artificial Intelligence, ECAI-2016, vol. 285, pp. 1149\u20131157. IOS Press, Amsterdam (2016)"},{"issue":"1","key":"18_CR4","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 Intell. 31(1), 41\u201352 (2017)","journal-title":"KI - K\u00fcnstliche Intell."},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/s10489-018-1203-5","volume":"49","author":"C Beierle","year":"2019","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 (2019)","journal-title":"Appl. Intell."},{"issue":"6","key":"18_CR6","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":"18_CR7","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). Engl. transl. Theory of Probability, J. Wiley & Sons (1974)","journal-title":"Ann. Inst. H. Poincar\u00e9"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relations: main results. In: Proceedings of the KR 1994, pp. 170\u2013177. Morgan Kaufmann Publishers (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50112-3"},{"key":"18_CR9","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, 57\u2013112 (1996)","journal-title":"Artif. Intell."},{"key":"18_CR10","series-title":"LNCS (LNAI)","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). \n                      https:\/\/doi.org\/10.1007\/3-540-44600-1"},{"key":"18_CR11","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., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"18_CR12","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":"18_CR13","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)"},{"key":"18_CR14","volume-title":"The Uncertain Reasoner\u2019s Companion - A Mathematical Perspective","author":"J Paris","year":"1994","unstructured":"Paris, J.: The Uncertain Reasoner\u2019s Companion - A Mathematical Perspective. Cambridge University Press, Cambridge (1994)"},{"key":"18_CR15","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":"W 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, vol. 2, pp. 105\u2013134. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"18_CR16","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)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:38:04Z","timestamp":1558348684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","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":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}