Advertisement

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
    11. Zbigniew Lonc, Mirosław Truszczyński
      Pages 197-211
    12. Marc Denecker, Nikolay Pelov, Maurice Bruynooghe
      Pages 212-226
    13. K. Narayan Kumar, C. R. Ramakrishnan, S. A. Smolka
      Pages 227-241
    14. Esra Erdem, Vladimir Lifschitz
      Pages 242-254
    15. Fernando Orejas, Edelmira Pasarella, Elvira Pino
      Pages 255-268
    16. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtáš
      Pages 269-283
    17. Włodzimierz Drabent, Mirosława Miłkowska
      Pages 284-299
    18. Ken Kaneiwa, Satoshi Tojo
      Pages 300-314
    19. Mutsunori Banbara, Kyoung-Sun Kang, Hirai Takaharu, Naoyuki Tamura
      Pages 315-330
    20. Jesús M. Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández
      Pages 331-347
  5. Back Matter
    Pages 365-365

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
  • Buy this book on publisher's site