Compactness properties of nonmonotonic inference operations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 838 LNAI, Issue , 1994, Pages 19-33

  Herre, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Compactness; Model theory; Nonmonotonic inference

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC;

COMPACTNESS; EXTENSION OPERATORS; MODEL THEORY; NON-MONOTONIC INFERENCE; PREDICATE LOGIC; PROPOSITIONAL LOGIC;

COMPUTER CIRCUITS;

EID: 0042805902     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0021962     Document Type: Conference Paper

References (20)

1. Barwise, J, S. Feferman: Model-Theoretic Logics, Springer-Verlag, 1985
2. Bell, J.: Pragmatic Logics, in: Proc. of 2nd. Int. Conference of Knowledge Representation and Reasoning, Cambridge MA, 1991
3. Dietrich, J.: Deductive Bases of Nonmonotonic Inference Operations; NTZ Report, Universi”a Leipzig, 1994
4. Dietrich, J, Herre, H.: Outline of Nonmonotonic Model Theory; NTZ Report, Universit”at Leipzig, 1994
5. Freund, M., Lehmann, D., Makinson, D.: Canonical Extensions to the Infinite Case of Finitary Nonmonotonic Inference Operations; Arbeitspapiere der GMD 443, 1990
6. Dix, J.: Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme, Doctoral Dissertation, Karlsruhe, 1992
7. Freund, M.: Supracompact inference operations, LNCS vol.543, 59-73 (1991)
8. Freund, M. D. Lehmann: Nonmontonic inference operations; Preprint, Hebrew University of Jerusalem, 1993
9. Herre, H.: Nonmonotonic Reasoning and Logic Programs NIL'91, LNCS vol. 543, p. 38-58
10. 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
11. Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; A.I. 44 (1990), 167 - 207
12. Kolaitis, P.G., J A. Väänäneb:Generalized Quantifiers and Pebble Games on Finite Structures, Preprint, University of Helsinki, 1993
13. Lindström, P.: On extensions of elementary logic, Theoria, 35, 1-11 (1969)
14. Lindström, S.:A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept. of Philosophy, Uppsala University, Preprint, 1991
15. Makinson, D.: General Theory of Cumulative Inference,in: Reinfrank, M.(Ed.) Non-monotonic Reasoning, LNAI vol. 346 Berlin Springer- Verlag, 1989, 1-18
16. Makinson, D.: General Patterns in Nonmonotonic Reasoning; in: D. Gabbay (ed.) Handbook of Logic in Artfficial Intelligence and Logic Programming, Oxford University Press, 1993
17. Pearce, D.: Remarks on Monmonotonicity and Supraclassicality, Preprint,Berlin, 1993
18. Rautenberg, W.: Klassische und nichtklassische Aussagenlogik, Vieweg, 1979
19. Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923 -1938. Clarendon Press, Oxford, 1956
20. Thiele, H.: Monotones und nichtmonotones Schliessen; in: Grabowski,J., Jantke,H.-J., H. Thiele: Grundlagen der Kuenstlichen Intelligenz, 80 - 160, Akademie-Verlag, Berlin 1989