Skip to main content
SpringerLink
Log in

Automated reasoning with nonmonotonic logics

Invited Talk

  • Regular Papers
  • Conference paper
  • First Online:
Logic Programming And Nonmonotonic Reasoning (LPNMR 1997)

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

  • 108 Accesses

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

References

  1. P. Besnard. An introduction to default logic. Springer-Verlag, Berlin, 1989.

    Google Scholar 

  2. G. Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge University Press, Cambridge, UK, 1991.

    Google Scholar 

  3. M. Cadoli, F.M. Donini, and M. Schaerf. Is intractability of non-monotonic reasoning a real drawback? In Proceedings of AAAI-94, pages 946–951, Seattle, USA, 1994.

    Google Scholar 

  4. M. Cadoli, F.M. Donini, and M. Schaerf. On compact representations of propositional circumscription. In Proceedings of STACS-95, 1995.

    Google Scholar 

  5. P. CholewiƄski, W. Marek, A. Mikitiuk, and M. TruszczyƄski. Experimenting with nonmonotonic reasoning. In Proceedings of the ICLP-95, MIT Press, 1995.

    Google Scholar 

  6. P. CholewiƄski, W. Marek, and M. TruszczyƄski. Default reasoning system DeReS. In Proceedings of KR-96. Morgan-Kaufmann, 1996.

    Google Scholar 

  7. T. Eiter and G. Gottlob. Complexity of reasoning with parsimonious and moderately grounded expansions. Fundamenta Inf., 17:31–53, 1992.

    Google Scholar 

  8. T. Eiter and G. Gottlob. Propositional circumscription and extended closed world reasoning are Π P 2-complete. Theoretical Computer Science, 114:231–245, 1993.

    Google Scholar 

  9. G. Gogic, H. Kautz, Ch. Papadiniitriou, and B. Selman. Compactness of knowledge representation: A comparative analysis. In Proceedings of IJCAI-95, pages 862–869. Morgan Kaufmann, 1995.

    Google Scholar 

  10. G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397–425, 1992.

    Google Scholar 

  11. J. McCarthy. Circumscription — a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39, 1980.

    Article  Google Scholar 

  12. D. McDermott and J. Doyle. Nonmonotonic logic I. Artificial Intelligence, 13:41–72, 1980.

    Article  Google Scholar 

  13. R.C. Moore. Possible-world semantics for autoepistemic logic. In R. Reiter, editor, Proceedings of the workshop on non-monotonic reasoning, pages 344–354, 1984.

    Google Scholar 

  14. W. Marek and M. TruszczyƄski. Autoepistemic logic. Journal of the ACM, 38:588–619, 1991.

    Google Scholar 

  15. W. Marek and M. TruszczyƄski. Nonmonotonic logics; context-dependent reasoning. Berlin: Springer-Verlag, 1993.

    Google Scholar 

  16. I. NiemelĂ€. On the decidability and complexity of autoepistemic reasoning. Fundamenta Inf., 17:117–155, 1992.

    Google Scholar 

  17. R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and data bases, pages 55–76. Plenum Press, 1978.

    Google Scholar 

  18. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.

    Article  Google Scholar 

  19. R. Reiter. Nonmonotonic reasoning. Ann. Rev. Gomput. Sci., 2:147–186, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Kentucky, 40506-0027, Lexington, KY, USA

    Miroslaw TruszczyƄski

Authors
  1. Miroslaw TruszczyƄski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

JĂŒrgen Dix Ulrich Furbach Anil Nerode

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

TruszczyƄski, M. (1997). Automated reasoning with nonmonotonic logics. In: Dix, J., Furbach, U., Nerode, A. (eds) Logic Programming And Nonmonotonic Reasoning. LPNMR 1997. Lecture Notes in Computer Science, vol 1265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63255-7_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-63255-7_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63255-9

  • Online ISBN: 978-3-540-69249-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation