论文信息 - Talkin'bout Consistency, or: When Logically Possible Becomes Possible - 字舞流文

Talkin'bout Consistency, or: When Logically Possible Becomes Possible

Luis Fariñas del Cerro | Andreas Herzig | Antonio Frias Delgado | L. F. D. Cerro | A. Herzig | Antonio Frias Delgado

[1] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[2] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[3] Marianne Winslett,et al. Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

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

[5] Luis Fariñas del Cerro. A Simple Deduction Method for Modal Logic , 1982, Inf. Process. Lett..

[6] Luis Fariñas del Cerro,et al. A Conditional Logic for Updating in the Possible Models Approach , 1994, KI.

[7] R. A. Bull. MIPC as the Formalisation of an Intuitionist Concept of Modality , 1966, J. Symb. Log..

[8] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[9] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[10] V. Wiktor Marek,et al. Nonmonotonic Logic , 1993, Artificial Intelligence.

[11] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[12] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..