Non-monotonic reasoning by monotonic means

  • J. -J.Ch. Meyer
  • W. van der Hoek
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 478)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B]
    F.M. Brown (ed.), The Frame Problem in Artificial Intelligence, Morgan Kaufmann, Los Altos, 1987.Google Scholar
  2. [Ch]
    B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge/London, 1980.Google Scholar
  3. [D]
    J. Doyle, A Truth Maintenance System, Artif. Intell. 12, 1979, pp. 231–272.Google Scholar
  4. [E]
    D.W. Etherington, Reasoning with Incomplete Information, Pitman/Morgan Kaufmann, London/Los Altos, 1988.Google Scholar
  5. [Gin]
    M.L. Ginsberg, Multi-Valued Logics, Proc. 5th Nat. Conf. on Artif. Intell., Philadelphia, 1986, pp. 243–247.Google Scholar
  6. [Gin2]
    M.L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, 1987.Google Scholar
  7. [Ha]
    D. Harel, Dynamic Logic, in: D.M. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht/Boston, 1984.Google Scholar
  8. [Ho]
    C.A.R. Hoare, An Axiomatic Basis for Computer Programming, Comm. ACM 12, 1969, pp. 576–580.Google Scholar
  9. [HC]
    G.E. Hughes & M.J. Cresswell, An Introduction to Modal Logic, Methuen & Co. Ltd, London, 1977.Google Scholar
  10. [I]
    D.J. Israel, What's Wrong with Non-Monotonic Logic, Proc. 1st Annual Nat. Conf. on Artif. Intell., Stanford, 1980, pp. 99–101.Google Scholar
  11. [Luk]
    W. Lukaszewicz, Formalization of Knowledge and Ignorance: Introduction to Non-Monotonic Reasoning, J. Integrated Study of Artif. Intell., Cogn. Sc. & Appl. Epistem. 3(1/2), 1986, pp. 7–31.Google Scholar
  12. [McDD]
    D. McDermott & J. Doyle, Non-Monotonic Logic I, Artif. Intell. 13, 1980, pp. 41–72.Google Scholar
  13. [McD]
    D. McDermott, Nonmonotonic Logic II: Nonmonotonic Modal Theories, Journal of the ACM 29, 1982, pp. 33–57.Google Scholar
  14. [Mo]
    R.C. Moore, Semantical Considerations on Nonmonotonic Logic, Artif. Intell. 25, 1985, pp. 75–94.Google Scholar
  15. [P]
    D. Perlis, On the Consistency of Commonsense Reasoning, Comput. Intell. 2, 1986, pp. 180–190.Google Scholar
  16. [Poo]
    D. Poole, A Logical Framework for Default Reasoning, Artif. Intell. 36, 1988, pp. 27–47.Google Scholar
  17. [Po]
    K.R. Popper, The Logic of Scientific Discovery, Hutchinson, London, 1959.Google Scholar
  18. [Rei1]
    R. Reiter, On Closed-World Databases, in: Logic and Databases (H. Gallaire & J. Minker (eds.), Plenum, New York, 1978, pp. 55–76.Google Scholar
  19. [Rei2]
    R. Reiter, A Logic for Default Reasoning, Artif. Intell. 13, 1980, pp. 81–132.Google Scholar
  20. [Rei3]
    R. Reiter, Nonmonotonic Reasoning, Annual Reviews of Comp. Sc. 2, 1987, pp. 147–187.Google Scholar
  21. [Sh]
    Y. Shoham, A Semantical Approach to Nonmonotonic Logics, in: Proc. 10th Int. Joint Conf. on Artif. Intell., 1987, pp. 388–392.Google Scholar

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • J. -J.Ch. Meyer
    • 1
  • W. van der Hoek
    • 1
  1. 1.Department of Mathematics and Computer ScienceFree University AmsterdamAmsterdamThe Netherlands

Personalised recommendations