{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:36Z","timestamp":1725455676338},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540545646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023318","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T00:53:34Z","timestamp":1132361614000},"page":"74-84","source":"Crossref","is-referenced-by-count":0,"title":["Notions of nonmonotonic derivability"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"J\u00e4ger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"K.L. Clark, Negation as failure, in: H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, New York, 1978."},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion-Theoretic Hierarchies","author":"P.G. Hinman","year":"1978","unstructured":"P.G. Hinman, Recursion-Theoretic Hierarchies, Springer, Berlin, 1978."},{"key":"5_CR3","volume-title":"Lecture Notes in Computer Science 230","author":"G. J\u00e4ger","year":"1986","unstructured":"G. J\u00e4ger, Some contributions to the logical analysis of circumscription, in: Proceedings of CADE 86 \u2014 8th International Conference on Automated Deduction, Lecture Notes in Computer Science 230, Springer, Berlin, 1986."},{"key":"5_CR4","volume-title":"Non-monotonic reasoning by axiomatic extensions","author":"G. J\u00e4ger","year":"1989","unstructured":"G. J\u00e4ger, Non-monotonic reasoning by axiomatic extensions, in: J.E. Fenstad, I.T. Frolow and R. Hilpinen, Proceedings 8th International Congress Logic, Methodology and Philosophy of Science, North-Holland, Amsterdam, 1989."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, Closed world data bases and circumscription, Artificial Intelligence 27 (1985).","DOI":"10.1016\/0004-3702(85)90055-4"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, On the satisfiability of circumscription, Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90028-7"},{"key":"5_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"J.W. Lloyd, Foundations of Logic Programming, Springer, Berlin 1987 (second, extended edition).","edition":"second, extende"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"J. McCarthy, Circumscription \u2014 a form of non-monotonic reasoning, Artificial Intelligence 13 (1980).","DOI":"10.21236\/ADA086574"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J. McCarthy, Applications of circumscription to formalizing common sense knowledge, Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"D. McDermott, Nonmonotonic logic II: nonmonotonic modal theories, Journal of the ACM 29 (1982).","DOI":"10.1145\/322290.322293"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"D. McDermott and J. Doyle, Non-monotonic logic I, Artificial Intelligence 13 (1980).","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"5_CR12","unstructured":"R.C. Moore, Possible-world semantics for autoepistemic logic, in: Proceedings Nonmonotonic Reasoning Workshop, New Paltz, NY, 1984."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"R.C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985).","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"5_CR14","volume-title":"Elementary Induction on Abstract Structures","author":"Y.N. Moschovakis","year":"1974","unstructured":"Y.N. Moschovakis, Elementary Induction on Abstract Structures, North-Holland, Amsterdam, 1974."},{"key":"5_CR15","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, On closed world data bases, in: H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, New York, 1978."},{"key":"5_CR16","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"J.R. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, Mass., 1967."}],"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\/BFb0023318.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:49:59Z","timestamp":1607532599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540545646"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0023318","relation":{},"subject":[]}}