Skip to main content
SpringerLink
Log in

On procedural semantics of metalevel negation

  • Conference paper
  • First Online:
Logic Programming

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

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. Costantini S. and Lanzarone G.A., A Metalogic Programming Language, in: Logic Programming, Proceedings of the Sixth International Conference, MIT Press, 1989.

    Google Scholar 

  2. Costantini S. and Lanzarone G.A., A Metalogic Programming Approach: Language, Semantics, and Applications, submitted paper.

    Google Scholar 

  3. Costantini S. and Lanzarone G.A., Metalevel Negation and Non-Monotonic Reasoning, to appear on Methods of Logic in Computer Science. An abridged version appears in: Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning, Austin (TX), Nov. 1–2, 1990.

    Google Scholar 

  4. Costantini S. and Lanzarone G.A., Semantic Considerations on Metalevel Negation and Negation as Failure, submitted paper.

    Google Scholar 

  5. Costantini S., Formal Definition of Reflective Prolog, Internal Report 49/89, Computer Science Dept., Univ. of Milano (1989).

    Google Scholar 

  6. Costantini S., Semantics of a Metalogic Programming Language, International Journal of Foundations of Computer Science, vol.1, n.3, Sept. 1990.

    Google Scholar 

  7. Lloyd J.W., Foundations of Logic Programming, (Second, Extended Edition), Springer-Verlag, Berlin, 1987.

    Google Scholar 

  8. Przymusinski T., Every Logic Program has a Natural Stratification and an Iterated Fixed Point Model, in: Proceedings of the Eight Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, 1989.

    Google Scholar 

  9. Przymusinska H. and Przymusinski T., Semantic Issues in Deductive Databases and Logic Programs, in: R.B. Banerji (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Science Publisher B.V. (North Holland), 1990, 321–367.

    Google Scholar 

  10. Van Gelder A., Ross K., and Schlipf J.S., Unfounded Sets and Well-Founded Semantics for General Logic Programs, in: Proceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell' Informazione, Universita' degli Studi di Milano, Via Comelico 39, I-20135, Milano

    S. Costantini & G. A. Lanzarone

Authors
  1. S. Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. A. Lanzarone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Costantini, S., Lanzarone, G.A. (1992). On procedural semantics of metalevel negation. In: Voronkov, A. (eds) Logic Programming. Lecture Notes in Computer Science, vol 592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55460-2_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-55460-2_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55460-8

  • Online ISBN: 978-3-540-47083-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation