Skip to main content
SpringerLink
Log in

Constructive negation in definite constraint logic programs

  • Posters
  • Conference paper
  • First Online:
Concurrency and Parallelism, Programming, Networking, and Security (ASIAN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1179))

Included in the following conference series:

  • 115 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. Barbuti, R.; Mancarella, P.; Pedreschi, D; Turini, F., A Transformational Approach To Negation In Logic Programming, Journal of Logic programming, 8 (1990) pp. 201–228.

    Article  Google Scholar 

  2. Bruscoli, P.; Levi, F.; Levi, G.; and Meo, M,C., Intensional Negation In Constraint Logic Programs, Technical Report: TR-11/93, Dipartimento Di Informatica, University Di Pisa, 1993.

    Google Scholar 

  3. Chan, D., Constructive Negation Based On Completed Database, in Kowalski R.A., Bowen K.A.(eds) Proc. Fifth International Conference and Symposium On Logic Programming, Seattle, pp. 477–493, MIT Press, 1988.

    Google Scholar 

  4. Chandru, V.; Roy, S.; and Subrahmanyam, R., Constructive Negation in Definite Constraint Logic Programming Technical Report tr-96-06 Computer Science & Automation, Indian Institute of Science, Bangalore 560012, India, July 1996.

    Google Scholar 

  5. Clark, K.L., Negation as Failure, in H. Gallaire and J. Minker, eds., Logic and Databases, Plenum Press, New York, 1978, pp.293–322.

    Google Scholar 

  6. Jaffar,J.;and Lassez, J-L.; Constraint Logic Programming, Technical Report 86/73, Department of Computer Science, Monash University, 1986.

    Google Scholar 

  7. Jaffar, J.; Lassez J-L; and Lloyd J.W., Completeness of Negation as Failure Rule, Proc. of 8th IJCAI, Karlsruhe, 1983, pp. 500–506.

    Google Scholar 

  8. Jaffar, J.; Lassez, J-L.; and Maher, M.J., Some Issues and Trends in the Semantics of Logic Programming, Proc. 3rd International Conference on Logic Programming, LNCS 225, Springer-Verlag, 1986, pp 223–241.

    Google Scholar 

  9. Stuckey, P., Negation And Constraint Logic programming, Information and Computation, 118 (1995) pp. 12–33.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science, Indian Institute of Science, 560 012, Bangalore, India

    Vijay Chandru & Suman Roy

  2. Computer Science, Wesleyan University, 06459, Middletown, CT, USA

    Ramesh Subrahmanyam

Authors
  1. Vijay Chandru
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Suman Roy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ramesh Subrahmanyam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joxan Jaffar Roland H. C. Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chandru, V., Roy, S., Subrahmanyam, R. (1996). Constructive negation in definite constraint logic programs. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027806

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62031-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation