{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:40Z","timestamp":1725455680136},"publisher-location":"Berlin\/Heidelberg","reference-count":29,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540545646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023320","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:53:34Z","timestamp":1132379614000},"page":"100-137","source":"Crossref","is-referenced-by-count":1,"title":["On generation of cumulative inference operators by default deduction rules"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Thiele","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1017\/S0305004100011464","volume":"23","author":"G. Birkhoff","year":"1933","unstructured":"[Birkhoff 33] Birkhoff, G.: On the combination of subalgebras. Proc. Cambridge Phil. Soc. 23 (1933), 441\u2013464.","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"[Birkhoff 35] Birkhoff, G.: On the structure of abstract algebras. Proc. Cambridge Phil. Soc. 31 (1935), 433\u2013454.","journal-title":"Proc. Cambridge Phil. Soc."},{"unstructured":"[Birkhoff 46] Birkhoff, G.: Universal algebra. Proc. Canad. Math. Cong. (Montreal, 1946), 310\u2013326.","key":"7_CR3"},{"key":"7_CR4","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1948","unstructured":"[Birkhoff 48] Birkhoff, G.: Lattice Theory. (American Mathematical Society Colloquium Publications, vol. 25). Rev. ed., New York 1948.","edition":"Rev. ed."},{"unstructured":"[Brewka 86] Brewka, G.: Tweety-Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. Proc. AAAI-86, 1986.","key":"7_CR5"},{"key":"7_CR6","first-page":"153","volume":"443","author":"G. Brewka","year":"1990","unstructured":"[Brewka 90] Brewka, G.: Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules. Arbeitspapiere der GMD 443 (May 1990), 153\u2013178.","journal-title":"Arbeitspapiere der GMD"},{"unstructured":"[Cohn 65] Cohn, P.M.: Universal algebra. Harper and Row (New York, Evanston and London) and John Weatherhill, Inc. (Tokyo), 1965, 333 pages.","key":"7_CR7"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"M. Davis","year":"1980","unstructured":"[Davis 80] Davis, M.: The mathematics of non-monotonic reasoning. Artificial Intelligence 13(1980), 73\u201380.","journal-title":"Artificial Intelligence"},{"key":"7_CR9","first-page":"81","volume":"104","author":"J. Dix","year":"1989","unstructured":"[Dix 89a] Dix, J.: Some Tendencies in Non-monotonic Reasoning. I. The Main Approaches. 7th Easter Conference on Model Theory. Seminarbericht 104 (1989), 81\u2013105. Sektion Mathematik, Humboldt-Universit\u00e4t zu Berlin.","journal-title":"Seminarbericht"},{"unstructured":"[Dix 89b] Dix, J.: Some Tendencies in Non-monotonic Reasoning. II. The Relations to Logic Programming. In preparation.","key":"7_CR10"},{"unstructured":"[Freund 90] Freund, M.: Supracompact inference operators. To appear.","key":"7_CR11"},{"key":"7_CR12","series-title":"Series F: Computer and System Sciences 13","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Logics and Models of Concurrent Systems","author":"D.M. Gabbay","year":"1985","unstructured":"[Gabbay 85] Gabbay, D.M.: Theoretical foundations for non-monotonic reasoning in expert systems. Logics and Models of Concurrent Systems. Edited by Apt. NATO ASI Series. Series F: Computer and System Sciences 13 (1985), 439\u2013457. Springer-Verlag, Heidelberg."},{"volume-title":"Readings in Nonmonotonic Reasoning","year":"1987","unstructured":"[Ginsberg 87] Ginsberg, M.L. (Editor): Readings in Nonmonotonic Reasoning. Morgan Kaufmann Publishers, Inc., Los Altos, California, 1987, 481 pages.","key":"7_CR13"},{"unstructured":"[Herre 91] Herre, H.: Constructivity and completeness in Logic Programming. To appear.","key":"7_CR14"},{"unstructured":"[Kraus\/Lehmann\/Magidor 89] Kraus, S., D. Lehmann, and M. Magidor: Preferential models and cumulative logics. To appear in Artificial Intelligence.","key":"7_CR15"},{"unstructured":"[Lehmann\/Magidor 88] Lehmann, D. and M. Magidor: Rational logics and their models: a study in cumulative logics. Department of Computer Sciences, Hebrew University, TR-88-16.","key":"7_CR16"},{"key":"7_CR17","first-page":"1","volume":"346","author":"D. Makinson","year":"1989","unstructured":"[Makinson 89] Makinson, D.: General theory of cumulative inference. Non-Monotonic Reasoning. Proc. 2nd International Workshop, June 1988. Lecture Notes in Artificial Intelligence 346 (1989), 1\u201318.","journal-title":"Lecture Notes in Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"[Reiter 78] Reiter, R.: On reasoning by default. Proceedings Second Symp. on Theoretical Issues in Natural Language Processing, Urbana, Ill. (1978).","key":"7_CR18","DOI":"10.3115\/980262.980297"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"[Reiter 80] Reiter, R.: A logic for default reasoning. Artificial Intelligence 13 (1980), 81\u2013132.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"[Reiter 87] Reiter, R.: Nonmonotonic reasoning. Annual Reviews of Computer Science (1987), 147\u2013186.","key":"7_CR20","DOI":"10.1146\/annurev.cs.02.060187.001051"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/mana.19520070305","volume":"7","author":"J. Schmidt","year":"1952","unstructured":"[Schmidt 52] Schmidt, J.: \u00dcber die Rolle der transfiniten Schlussweisen in einer allgemeinen Algebra. Mathematische Nachrichten 7 (1952), 165\u2013182.","journal-title":"Mathematische Nachrichten"},{"key":"7_CR22","first-page":"360","volume":"37","author":"A. Tarski","year":"1930","unstructured":"[Tarski 30a] Tarski, A.: Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. Monatshefte Math. Phys. 37 (1930), 360\u2013404.","journal-title":"Monatshefte Math. Phys."},{"key":"7_CR23","first-page":"22","volume":"23","author":"A. Tarski","year":"1930","unstructured":"[Tarski 30b] Tarski, A.: \u00dcber einige fundamentale Begriffe der Metamathematik, C.r. Soc. Sci. Varsovie 23 (1930), 22\u201329.","journal-title":"C.r. Soc. Sci. Varsovie"},{"key":"7_CR24","first-page":"270","volume":"7","author":"A. Tarski","year":"1930","unstructured":"[Tarski 30c] Tarski, A.: Remarques sur les notions fondamentales de la m\u00e9thodologie des math\u00e9matiques. Ann. Soc. Polon. Math. 7 (1930), 270\u2013272.","journal-title":"Ann. Soc. Polon. Math."},{"unstructured":"[Thiele 89] Thiele, H.: On closed sets and extensions of default reasoning systems. ASL Logic Colloquium 1989. Paper on the 1989 European Summer Meeting of the ASL, July 25\u2013August 3, 1989. TU and FU Berlin. Conference Abstracts.","key":"7_CR25"},{"key":"7_CR26","first-page":"145","volume":"110","author":"H. Thiele","year":"1990","unstructured":"[Thiele 90a] Thiele, H.: On cumulatiave inference operators. 8th Easter Conference on Model Theory. Seminarbericht 110 (1990), 145\u2013147.","journal-title":"Seminarbericht"},{"key":"7_CR27","first-page":"85","volume":"443","author":"H. Thiele","year":"1990","unstructured":"[Thiele 90b] Thiele, H.: Regulated Algebras \u2014 A Class of New Algebraic Structures for Characterizing Default Reasoning. Arbeitspapiere der GMD 443 (May 1990), 85\u2013131.","journal-title":"Arbeitspapiere der GMD"},{"unstructured":"[Thiele 90c] Thiele, H.: On inference operators generated by default deduction rules. Paper in the First All-Berlin Workshop on Nonclassical Logic and Information Processing. FU Berlin, November 9\u201310, 1990. To be published in the Conference Proceedings.","key":"7_CR28"},{"unstructured":"[Thiele 90d] Thiele, H.: Default Algebras \u2014 A new class of universal algebraic structures. Paper on the Mathematics-Conference. FU Berlin, December 12\u201314, 1990. To appear.","key":"7_CR29"}],"container-title":["Lecture Notes in Computer Science","Nonmonotonic and Inductive Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023320.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:49:59Z","timestamp":1607550599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540545646"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0023320","relation":{},"subject":[]}}