{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T02:08:11Z","timestamp":1773367691909,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540583327","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021962","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:17:26Z","timestamp":1131862646000},"page":"19-33","source":"Crossref","is-referenced-by-count":6,"title":["Compactness properties of nonmonotonic inference operations"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Herre","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Barwise, J., S. Feferman: Model-Theoretic Logics, Springer-Verlag, 1985"},{"key":"2_CR2","unstructured":"Bell, J.: Pragmatic Logics, in: Proc. of 2nd. Int. Conference of Knowledge Representation and Reasoning, Cambridge MA, 1991"},{"key":"2_CR3","unstructured":"Dietrich, J.: Deductive Bases of Nonmonotonic Inference Operations; NTZ Report, Universit\u201da Leipzig, 1994"},{"key":"2_CR4","unstructured":"Dietrich, J., Herre, H.: Outline of Nonmonotonic Model Theory; NTZ Report, Universit\u201d at Leipzig, 1994"},{"key":"2_CR5","unstructured":"Freund, M., Lehmann, D., Makinson, D.: Canonical Extensions to the Infinite Case of Finitary Nonmonotonic Inference Operations; Arbeitspapiere der GMD 443, 1990"},{"key":"2_CR6","unstructured":"Dix, J.: Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme, Doctoral Dissertation, Karlsruhe, 1992"},{"key":"2_CR7","first-page":"59","volume":"543","author":"M. Freund","year":"1991","unstructured":"Freund, M.: Supracompact inference operations, LNCS vol. 543, 59\u201373 (1991)","journal-title":"LNCS"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Freund, M. D. Lehmann: Nonmontonic inference operations; Preprint, Hebrew University of Jerusalem, 1993","DOI":"10.1093\/jigpal\/1.1.23"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Herre, H.: Nonmonotonic Reasoning and Logic Programs NIL'91, LNCS vol. 543, p. 38\u201358","DOI":"10.1007\/BFb0023316"},{"key":"2_CR10","unstructured":"Herre, H.:Contributions to nonmonotonic model theory, Workshop on Nonclassical Logics in Computer Science, Dagstuhl-Berichte (ed. Marek, V., A. Nerode, P.H. Schmitt), 1993"},{"key":"2_CR11","first-page":"167","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; A.I. 44 (1990), 167\u2013207","journal-title":"A.I."},{"key":"2_CR12","unstructured":"Kolaitis, P.G., J.A.V\u00e4\u00e4n\u00e4nen: Generalized Quantifiers and Pebble Games on Finite Structures, Preprint, University of Helsinki, 1993"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P. Lindstr\u00f6m","year":"1969","unstructured":"Lindstr\u00f6m, P.: On extensions of elementary logic, Theoria, 35, 1\u201311 (1969)","journal-title":"Theoria"},{"key":"2_CR14","unstructured":"Lindstr\u00f6m, S.:A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept. of Philosophy, Uppsala University, Preprint, 1991"},{"key":"2_CR15","first-page":"1","volume-title":"Non-monotonic Reasoning, LNAI vol. 346","author":"D. Makinson","year":"1989","unstructured":"Makinson, D.: General Theory of Cumulative Inference, in: Reinfrank, M.(Ed.) Non-monotonic Reasoning, LNAI vol. 346 Berlin Springer-Verlag, 1989, 1\u201318"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Makinson, D.: General Patterns in Nonmonotonic Reasoning; in: D. Gabbay (ed.) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 1993","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"2_CR17","unstructured":"Pearce, D.: Remarks on Monmonotonicity and Supraclassicality, Preprint, Berlin, 1993"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Rautenberg, W.: Klassische und nichtklassische Aussagenlogik, Vieweg, 1979","DOI":"10.1007\/978-3-322-85796-5"},{"key":"2_CR19","volume-title":"Papers from 1923\u20131938","author":"A. Tarski","year":"1956","unstructured":"Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923\u20131938. Clarendon Press, Oxford, 1956"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1515\/9783112717035-005","volume-title":"Grundlagen der Kuenstlichen Intelligenz","author":"H. Thiele","year":"1989","unstructured":"Thiele, H.: Monotones und nichtmonotones Schliessen; in: Grabowski, J., Jantke, H.-J., H. Thiele: Grundlagen der Kuenstlichen Intelligenz, 80\u2013160, Akademie-Verlag, Berlin 1989"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021962.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:01:26Z","timestamp":1736082086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540583327"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0021962","relation":{},"subject":[]}}