论文信息 - A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity - 字舞流文

A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity

Attach Ptheorem

[1] Willard Van Orman Quine,et al. From a Logical Point of View , 1955 .

[2] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .

[3] Marvin Minsky,et al. A framework for representing knowledge , 1974 .

[4] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .

[5] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..

[6] Richard W. Weyhrauch,et al. Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[7] Richard W. Weyhrauch. An Example of FOL Using Metatheory , 1982, CADE.

[8] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[9] Robert E. Mercer,et al. On the adequacy of predicate circumscription for closed‐world reasoning , 1985, Comput. Intell..

[10] Witold Lukaszewicz. Minimization of Abnormality: A Simple System for Default Reasoning , 1986, ECAI.

[11] R. Reiter. On Closed World Data Bases , 1987, Logic and Data Bases.