Logic Programming

17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

  • Philippe Codognet
Conference proceedings ICLP 2001

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Speakers

  3. Tutorials

    1. Éric Villemonte de la Clergerie
      Pages 8-8
    2. V. S. Subrahmanian
      Pages 10-10
  4. Conference Papers

    1. Luís Fernando Castro, Vítor Santos Costa
      Pages 11-26
    2. K. Villaverde, E. Pontelli, H. Guo, G. Gupta2
      Pages 27-42
    3. Ricardo Rocha, Fernando Silva, Vítor Santos Costa
      Pages 43-58
    4. Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey
      Pages 74-89
    5. María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
      Pages 90-104
    6. Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
      Pages 105-119
    7. Jacob M. Howe, Andy King
      Pages 120-134
    8. Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey
      Pages 135-149
    9. Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 150-165
    10. Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh Verma
      Pages 166-180

About these proceedings

Keywords

Computational Logic Constraint Logic Programming Database Logic Deduction Formal Verification Linear Logic Logic Programming Mathematical Logic Program Semanticss Programming Logics Prolog Programming Tabled Logic Programming logic programming

Editors and affiliations

  • Philippe Codognet
    • 1
  1. 1.LIP6, case 169University of Paris 6ParisFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45635-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42935-7
  • Online ISBN 978-3-540-45635-3
  • Series Print ISSN 0302-9743
  • About this book