Skip to main content
SpringerLink
Log in

Non-monotonic reasoning by monotonic means

  • Selected Papers
  • Conference paper
  • First Online:
Logics in AI (JELIA 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 478))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.M. Brown (ed.), The Frame Problem in Artificial Intelligence, Morgan Kaufmann, Los Altos, 1987.

    Google Scholar 

  2. B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge/London, 1980.

    Google Scholar 

  3. J. Doyle, A Truth Maintenance System, Artif. Intell. 12, 1979, pp. 231–272.

    Google Scholar 

  4. D.W. Etherington, Reasoning with Incomplete Information, Pitman/Morgan Kaufmann, London/Los Altos, 1988.

    Google Scholar 

  5. M.L. Ginsberg, Multi-Valued Logics, Proc. 5th Nat. Conf. on Artif. Intell., Philadelphia, 1986, pp. 243–247.

    Google Scholar 

  6. M.L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, 1987.

    Google Scholar 

  7. D. Harel, Dynamic Logic, in: D.M. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht/Boston, 1984.

    Google Scholar 

  8. C.A.R. Hoare, An Axiomatic Basis for Computer Programming, Comm. ACM 12, 1969, pp. 576–580.

    Google Scholar 

  9. G.E. Hughes & M.J. Cresswell, An Introduction to Modal Logic, Methuen & Co. Ltd, London, 1977.

    Google Scholar 

  10. 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. 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. D. McDermott & J. Doyle, Non-Monotonic Logic I, Artif. Intell. 13, 1980, pp. 41–72.

    Google Scholar 

  13. D. McDermott, Nonmonotonic Logic II: Nonmonotonic Modal Theories, Journal of the ACM 29, 1982, pp. 33–57.

    Google Scholar 

  14. R.C. Moore, Semantical Considerations on Nonmonotonic Logic, Artif. Intell. 25, 1985, pp. 75–94.

    Google Scholar 

  15. D. Perlis, On the Consistency of Commonsense Reasoning, Comput. Intell. 2, 1986, pp. 180–190.

    Google Scholar 

  16. D. Poole, A Logical Framework for Default Reasoning, Artif. Intell. 36, 1988, pp. 27–47.

    Google Scholar 

  17. K.R. Popper, The Logic of Scientific Discovery, Hutchinson, London, 1959.

    Google Scholar 

  18. 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. R. Reiter, A Logic for Default Reasoning, Artif. Intell. 13, 1980, pp. 81–132.

    Google Scholar 

  20. R. Reiter, Nonmonotonic Reasoning, Annual Reviews of Comp. Sc. 2, 1987, pp. 147–187.

    Google Scholar 

  21. Y. Shoham, A Semantical Approach to Nonmonotonic Logics, in: Proc. 10th Int. Joint Conf. on Artif. Intell., 1987, pp. 388–392.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Free University Amsterdam, De Boelelaan 1081, 1081 HV, Amsterdam, The Netherlands

    J. -J.Ch. Meyer & W. van der Hoek

Authors
  1. J. -J.Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. van Eijck

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meyer, J.J., van der Hoek, W. (1991). Non-monotonic reasoning by monotonic means. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018455

Download citation

  • DOI: https://doi.org/10.1007/BFb0018455

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53686-4

  • Online ISBN: 978-3-540-46982-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation