{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:39Z","timestamp":1725455679159},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540545646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023314","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T00:53:34Z","timestamp":1132361614000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["Cumulative inference relations for JTMS and logic programming"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Makinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl","family":"Schlechta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"89","volume-title":"Foundations of Deductive Databases","author":"K. Apt","year":"1988","unstructured":"Apt, K., H.Blair and A.Walker: 1988, \u201dTowards a theory of declarative knowledge\u201d, in J.Minker ed., Foundations of Deductive Databases (Los Altos: Morgan Kaufmann) 89\u2013148."},{"key":"1_CR2","unstructured":"Brewka, G.: 1989, Nonmonotonic Reasoning \u2014 From Theoretical Foundation Towards Efficient Computation, Ph.D thesis, University of Hamburg."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Brewka, G.: to appear, \u201dCumulative default logic \u2014 in defense of nonmonotonic inference rules\u201d, Artificial Intelligence 50 (1991)","DOI":"10.1016\/0004-3702(91)90099-6"},{"key":"1_CR4","unstructured":"Dix, J.: \u201dCumulativity and Rationality in the semantics of logic programs\u201d, this volume."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: 1979, \u201dA truth maintenance system\u201d, Artificial Intelligence 12 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan,C.: 1990, \u201dA rational reconstruction of nonmonotonic truth maintenance systems\u201d, Artificial Intelligence 43 219\u2013234.","journal-title":"Artificial Intelligence"},{"key":"1_CR7","first-page":"1070","volume-title":"The stable model semantics for logic programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M. and V.Lifschitz: 1988, \u201dThe stable model semantics for logic programming\u201d, in K.Bowen and R.Kowalski eds, Fifth International Conference Symposium on Logic Programming 2 (Cambridge Mass., MIT Press) 1070\u20131080."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., D.Lehmann and M.Magidor: 1990, \u201dNonmonotonic reasoning, preferential models and cumulative logics\u201d, Artificial Intelligence 44 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"1_CR9","first-page":"1","volume-title":"Non-Monotonic Reasoning","author":"D. Makinson","year":"1989","unstructured":"Makinson, D.: 1989, \u201dGeneral theory of cumulative inference\u201d, in M.Reinfrank and others eds, Non-Monotonic Reasoning (Berlin: Springer-Verlag) 1\u201318."},{"key":"1_CR10","unstructured":"Makinson, D.: to appear, \u201dGeneral patterns in nonmonotonic reasoning\u201d, in D.Gabbay and others eds, Handbook of Logic in Artificial Intelligence and Logic Programming, vol. II: Nonmonotonic and Uncertain Reasoning (Oxford University Press)."},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: 1980, \u201dCircumscription \u2014 a form of nonmonotonic reasoning\u201d, Artificial Intelligence 13 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1984","unstructured":"McCarthy, J.: 1984, \u201dApplications of circumscription to formalizing common sense knowledge\u201d, Artificial Intelligence 28 89\u2013118.","journal-title":"Artificial Intelligence"},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: 1985, \u201dSemantical considerations on nonmonotonic logic\u201d, Artificial Intelligence 25 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"1_CR14","unstructured":"Reinfrank, M., O.Dressler and G.Brewka: 1989, \u201dOn the relation between truth maintenance and autoepistemic logic\u201d, Proceedings of the IJCAI-89, 1206\u20131212."},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: 1980, \u201dA logic for default reasoning\u201d, Artificial Intelligence 13 81\u2013132.","journal-title":"Artificial Intelligence"}],"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\/BFb0023314.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:49:58Z","timestamp":1607532598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540545646"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0023314","relation":{},"subject":[]}}