Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)

Volumn 29, Issue 1, 1982, Pages 33-57

  McDermott, Drew ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

completeness theories; modal logic; proof procedures

Indexed keywords

EID: 84976844782     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/322290.322293     Document Type: Article

References (15)

1. Boolos, O. The Unprovability of Consistency Cambridge University Press, Cambridge, England, 1979.
2. Doyle, J. A. truth maintenance system Memo 521, M I T. Artificial Intelligence Lab, Cambridge, Mass, 1979.
3. Goedel, K. What is Cantor's continuum problem Amer Math Monthly 54 (1947), 515–525 Also in Philosophy of Mathematics Selected Readings, P Benacerraf and H. Putnam, Eds, Prentice-Hall, Englewood Cliffs, N J, pp 258-273.
4. Hewitt, C Description and theoretical analysis (using schemata) of PLANNER A language for proving theorems and manipulating models m a robot Tech Rep 258, M.I.T Artificial Intelligence Lab, Cambridge, Mass., 1972.
5. Hintikka, J. Knowledge and Belief. Cornell University Press, Ithaca, IS.Y., 1962.
6. Hughes, G E., and Cresswkll, M.J. An Introduction to Modal Logic Methuen and Co., London, 1972.
7. Mccarthy, J. Circumscription A nonmonotonic inference rule Artif Intell 13, 1, 2 (1980), 27-40.
8. Mcdermott, D. V., and Doyle, J. Non-monotonic logic I. Artif Intell. 13, 1, 2 (1980), 41-72.
9. Moore, R. Reasoning about knowledge and action Ph.D. Dissertation, M.I T, Cambridge, Mass, 1979.
10. Reiter, R. A. logic for default reasoning Artif Intell 13, 1, 2 (1980), 81-132.
11. Rescher, N., and Urquhart, A. Temporal Logic Springer-Verlag, New York, 1971.
12. Robinson, J.A. A machine-oriented logic based on the resolution principle. J ACM 12, 1 (Jan 1965), 23-41.
13. Tukey, J. Conclusions vs. decisions. Technometrics 2 (1960), 423-433.
14. Weyhrauch, R. Prolegomena to a theory of formal reasoning Artif Intell. 13, 1, 2 (1980), 133-170.
15. Winoorad, T. Extended inference modes in reasoning by computer systems. A ruf Intell. 13, 1, 2 (1980), 5-26.