{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:49Z","timestamp":1761611149993},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf01054708","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T14:23:25Z","timestamp":1107008605000},"page":"161-201","source":"Crossref","is-referenced-by-count":9,"title":["Nonmonotonic reasoning: from finitary relations to infinitary inference operations"],"prefix":"10.1007","volume":"53","author":[{"given":"Michael","family":"Freund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"CR1","first-page":"131","volume":"1","author":"J\u00fcrgen Dix","year":"1992","unstructured":"J\u00fcrgen Dix andDavid Makinson,The relationship between klm andmak models for nonmonotonic inference operations,Journal of Logic, Language and Information 1(2) 1992, pp. 131?140.","journal-title":"Journal of Logic, Language and Information"},{"key":"CR2","unstructured":"Michael Freund,Supracompact inference operations, In J. Dix, K. P. Jantke, and P.H. Schmitt, editors,Nonmonotonic andInductive Logic, First International Workshop, Karlsruhe, Germany, pp. 59 ? 73. Springer Verlag, December 1990. Lecture Notes in Artificial Intelligence, Vol. 543."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/BF01057658","volume":"52","author":"Michael Freund","year":"1993","unstructured":"Michael Freund,Supracompact inference operations Studia Logica 52 (1993), pp. 457?481.","journal-title":"Studia Logica"},{"key":"CR4","first-page":"227","volume-title":"Proceedings of JELIA 1990 European Workshop on Logical Methods in Artificial Intelligence Lecture Notes in AI Vol. 478","author":"Michael Freund","year":"1990","unstructured":"Michael Freund andDaniel Lehmann,Deductive inference operations In J. van Eijck, editor,Proceedings of JELIA 1990 European Workshop on Logical Methods in Artificial Intelligence Lecture Notes in AI Vol. 478 pp. 227?233, Amsterdam, the Netherlands, September 1990, Springer Verlag."},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/jigpal\/1.1.23","volume":"1","author":"Michael Freund","year":"1993","unstructured":"Michael Freund andDaniel Lehmann,Nonmonotonic inference operations Bulletin of the IGPL 1(1), pp. 23?68, July 1993.","journal-title":"Bulletin of the IGPL"},{"key":"CR6","unstructured":"Michael Freund, Daniel Lehmann andDavid Makinson,Canonical extensions to the infinite case of finitary nonmonotonic inference operations, InWorkshop on Nomonotonic Reasoning, pp. 133 ? 138, Sankt Augustin, FRG, December 1989. Arbeitspapiere der GMD no. 443."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Michael Freund, Daniel Lehmann andPaul Morris,Rationality, transitivity, and contraposition, Artificial Intelligence, 52(2), pp. 191 ? 203, December 1991. Research Note.","DOI":"10.1016\/0004-3702(91)90043-J"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Proc. of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems","author":"Dov M. Gabbay","year":"1985","unstructured":"Dov M. Gabbay,Theoretical foundations for non-monotonic reasoning in expert systems In Krzysztof R. Apt, editor,Proc. of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems pp. 439?457, La Colle-sur-Loup, France, October 1985. Springer-Verlag."},{"key":"CR9","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gerhard Gentzen","year":"1969","unstructured":"Gerhard Gentzen,The Collected Papers of Gerhard Gentzen edited by M. E. Szabo, North Holland, Amsterdam, 1969."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"Matthew L. Ginsberg","year":"1986","unstructured":"Matthew L. Ginsberg,Counterfactuals Artificial Intelligence 30, pp. 35?79, 1986.","journal-title":"Artificial Intelligence"},{"key":"CR11","volume-title":"Lattice Theory","author":"George Gr\u00e4tzer","year":"1971","unstructured":"George Gr\u00e4tzer,Lattice Theory W. H. Freeman, San Francisco, 1971."},{"issue":"1 ? 2","key":"CR12","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"Sarit Kraus","year":"1990","unstructured":"Sarit Kraus, Daniel Lehmann andMenachem Magidor,Nonmonotonic reasoning, preferential models and cumulative logics Artifical Intelligence 44(1 ? 2), pp. 167?207, July 1990.","journal-title":"Artifical Intelligence"},{"key":"CR13","volume-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","author":"Daniel Lehmann","year":"1989","unstructured":"Daniel Lehmann,What does a conditional knowledge base entail? In Ron Brachman and Hector Levesque, editors,Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning Toronto, Canada, May 1989. Morgan Kaufmann."},{"key":"CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/3-540-54659-6_93","volume-title":"Proceedings of Computer Science Logic '91","author":"Daniel Lehmann","year":"1991","unstructured":"Daniel Lehmann,Plausibility logic In Egon Boerger, Gerhard J\u00e4ger, Hans Kleine Buening, and Michael M. Richter, editors,Proceedings of Computer Science Logic '91 volume 626, pp. 227?241, Berne, Swutzerland, October 1991. Lecture Notes in Computer Science, Springer Verlag."},{"key":"CR15","first-page":"57","volume-title":"Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge","author":"Daniel Lehmann","year":"1990","unstructured":"Daniel Lehmann andMenachem Magidor,Preferential logics: the predicate calculus case In Rohit Parikh, editor,Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge pp. 57?72, Monterey, California, March 1990. Morgan Kaufmann."},{"issue":"1","key":"CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"Daniel Lehmann","year":"1992","unstructured":"Daniel Lehmann andMenachem Magidor,What does a conditional knowledge base entail? Artificial Intelligence 55(1), pp. 1?60, May 1992.","journal-title":"Artificial Intelligence"},{"key":"CR17","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Proceedings of the Second International Workshop on Non-Monotonic Reasoning","author":"David Makinson","year":"1988","unstructured":"David Makinson,General theory of cumulative inference In M. Reinfrank, J. de Kleer, M. L. Ginsberg, and E. Sandewall, editors,Proceedings of the Second International Workshop on Non-Monotonic Reasoning pp. 1?18, Grassau, Germany, June 1988. Springer Verlag. Volume 346, Lecture Notes in Artificial Intelligence."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"David Makinson,General patterns in nonmonotonic reasoning, In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors,Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 2, Nonmonotonic and Uncertain Reasoning, Oxford University Press, due 1993. in preparation.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"David Poole","year":"1988","unstructured":"David Poole,A logical framework for default reasoning Artificial Intelligence 36, pp. 27?47, 1988.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"CR20","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1080\/11663081.1991.10510771","volume":"1","author":"Karl Schlechta","year":"1991","unstructured":"Karl Schlechta,Results on infinite extensions Journal of Applied Non-Classical Logics 1(1) 1991, pp. 65?72.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Karl Schlechta,Some results on classical preferential models, Journal of Logic and Computation, 2(6), 1992, in print.","DOI":"10.1093\/logcom\/2.6.675"},{"key":"CR22","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923 ? 1938","author":"Alfred Tarski","year":"1956","unstructured":"Alfred Tarski,Logic, Semantics, Metamathematics. Papers from 1923 ? 1938 Clarendon Press, Oxford 1956."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01054708.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01054708\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01054708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,21]],"date-time":"2024-01-21T11:39:57Z","timestamp":1705837197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01054708"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF01054708"],"URL":"https:\/\/doi.org\/10.1007\/bf01054708","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}