Skip to main content
Springer Nature Link
Log in

Super logic programs and negation as belief

  • Conference paper
  • First Online:
Extensions of Logic Programming (ELP 1996)

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

Included in the following conference series:

  • 113 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Alferes, L. Pereira, and T. C. Przymusinski. Belief revision in logic programming and non-monotonic reasoning. In Progress in AI, Proceedings of the International Artificial Intelligence Conference, EPIA'95, Madeira, Portugal, October'95, pages 41–56, 1995.

    Google Scholar 

  2. J. Alferes, L. Pereira, and T. C. Przymusinski. ‘Classical’ negation in non-monotonic reasoning. In Proceedings of the International Conference on Artificial Intelligence and Mathematics, AI&Math'96, January'96, 1996. (In print.).

    Google Scholar 

  3. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the Seventh International Logic Programming Conference, Jerusalem, Israel, pages 579–597, Cambridge, Mass., 1990. Association for Logic Programming, MIT Press.

    Google Scholar 

  4. M. Gelfond. Autoepistemic logic and formalizations of commonsense reasoning. In Proceedings of the 2-nd Workshop on Non-monotonic Reasoning, pages 176–186, New York, 1988. Grassau, West Germany, June 1988, Springer Verlag.

    Google Scholar 

  5. T. C. Przymusinski. Autoepistemic logic of knowledge and beliefs. (In preparation), University of California at Riverside, 1995. (Extended abstract appeared in ‘A knowledge representation framework based on autoepistemic logic of minimal beliefs’ In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94, Seattle, Washington, August 1994, pages 952–959, Los Altos, CA, 1994. American Association for Artificial Intelligence, Morgan Kaufmann.).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, 92521, Riverside, CA, USA

    Teodor C. Przymusinski

Authors
  1. Teodor C. Przymusinski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Roy Dyckhoff Heinrich Herre Peter Schroeder-Heister

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag

About this paper

Cite this paper

Przymusinski, T.C. (1996). Super logic programs and negation as belief. In: Dyckhoff, R., Herre, H., Schroeder-Heister, P. (eds) Extensions of Logic Programming. ELP 1996. Lecture Notes in Computer Science, vol 1050. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60983-0_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-60983-0_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49751-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics