{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:26:13Z","timestamp":1726043173542},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030297640"},{"type":"electronic","value":"9783030297657"}],"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-29765-7_15","type":"book-chapter","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T19:03:54Z","timestamp":1567537434000},"page":"175-186","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Antecedent Normal Form of Conditional Knowledge Bases"],"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,9,4]]},"reference":[{"key":"15_CR1","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals: An Application of Probability to Deductive Logic","author":"EW Adams","year":"1975","unstructured":"Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Synthese Library. Springer, Dordrecht (1975). \n                      https:\/\/doi.org\/10.1007\/978-94-015-7622-2"},{"key":"15_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":"15_CR3","doi-asserted-by":"crossref","unstructured":"Beierle, C.: Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. In: Hung, C., Papadopoulos, G.A. (eds.) The 34th ACM\/SIGAPP Symposium on Applied Computing (SAC 2019), Limassol, Cyprus, 8\u201312 April 2019, pp. 1131\u20131138. ACM, New York (2019)","DOI":"10.1145\/3297280.3297391"},{"key":"15_CR4","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":"15_CR5","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. Frontiers in Artificial Intelligence and Applications, vol. 285, pp. 1149\u20131157. IOS Press, Amsterdam (2016)"},{"issue":"1","key":"15_CR6","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"},{"issue":"2\u20133","key":"15_CR7","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\u20133), 123\u2013158 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"15_CR8","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."},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-030-19570-0_18","volume-title":"Logics in Artificial Intelligence","author":"C Beierle","year":"2019","unstructured":"Beierle, C., Kutsch, S.: Systematic generation of conditional knowledge bases up to renaming and equivalence. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 279\u2013286. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-19570-0_18"},{"issue":"6","key":"15_CR10","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":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1008261123028","volume":"7","author":"R Booth","year":"1998","unstructured":"Booth, R., Paris, J.B.: A note on the rational closure of knowledge bases with both positive and negative knowledge. J. Log. Lang. Comput. 7(2), 165\u2013190 (1998)","journal-title":"J. Log. Lang. Comput."},{"issue":"12","key":"15_CR12","doi-asserted-by":"publisher","first-page":"1724","DOI":"10.1109\/21.328930","volume":"24","author":"D Dubois","year":"1994","unstructured":"Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relationships. Spec. Issue Conditional Event Algebra IEEE Trans. Syst. Man Cybern. 24(12), 1724\u20131740 (1994)","journal-title":"Spec. Issue Conditional Event Algebra IEEE Trans. Syst. Man Cybern."},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.05.001","volume":"226","author":"L Giordano","year":"2015","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1\u201333 (2015)","journal-title":"Artif. Intell."},{"key":"15_CR14","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":"15_CR15","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: Considering Conditionals as Agents","year":"2001","unstructured":"Kern-Isberner, G. (ed.): 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":"15_CR16","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"DE Knuth","year":"1970","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, Oxford (1970)"},{"key":"15_CR17","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."},{"key":"15_CR18","series-title":"LNAI","first-page":"226","volume-title":"ECSQARU 2019","author":"S Kutsch","year":"2019","unstructured":"Kutsch, S., Beierle, C.: Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases. In: Kern-Isberner, G., Ognjanovi\u0107, Z. (eds.) ECSQARU 2019. LNAI, vol. 11726, pp. 226\u2013237. Springer, Cham (2019)"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D Lehmann","year":"1995","unstructured":"Lehmann, D.: Another perspective on default reasoning. Ann. Math. Artif. Intell. 15(1), 61\u201382 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"15_CR20","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":"15_CR21","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)"},{"key":"15_CR22","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":"15_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, II","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, II, pp. 105\u2013134. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"15_CR24","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","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29765-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T19:11:43Z","timestamp":1567537903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29765-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030297640","9783030297657"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29765-7_15","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":"4 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSQARU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Symbolic and Quantitative Approaches with Uncertainty","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgrade","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Serbia","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":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsqaru2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.mi.sanu.ac.rs\/~ecsqaru2019\/","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":"62","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":"41","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":"3","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":"66% - 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":"3.1","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.9","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)"}}]}}