Advertisement

Logic Programming

18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings

  • Peter J. Stuckey

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

Table of contents

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

  3. Conference Papers

    1. Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
      Pages 22-37
    2. Tom Schrijvers, Maria García de la Banda, Bart Demoen
      Pages 38-53
    3. Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 100-114
    4. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
      Pages 115-129
    5. Hasan M. Jamil, Gillian Dobbie
      Pages 130-147
    6. Michael J. Maher
      Pages 148-163
    7. Henning Makholm, Konstantinos Sagonas
      Pages 163-178
    8. Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste
      Pages 194-208
    9. Harald Ganzinger, David McAllester
      Pages 209-223
    10. Joachim Schimpf
      Pages 224-238
    11. Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan
      Pages 239-254
    12. Sorin Craciunescu
      Pages 287-301
    13. Katsumi Inoue, Chiaki Sakama
      Pages 317-332
    14. Zbigniew Lonc, Mirosław Truszczyński
      Pages 347-362
    15. Yannis Dimopoulos, Andreas Sideris
      Pages 363-377
    16. Grigoris Antoniou, Michael J. Maher
      Pages 393-404
    17. David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 405-420
    18. Kung-Kiu Lau, Michel Vanden Bossche
      Pages 437-451
    19. Tamás Benkő, Péter Krauth, Péter Szeredi
      Pages 452-466
  4. Conference Papers

    1. Shilong Ma, Yuefei Sui, Ke Xu
      Pages 467-467
    2. Jesús Medina, Enrique Mérida-Casermeiro, Manuel Ojeda-Aciego
      Pages 468-468
    3. Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz
      Pages 469-469
    4. Mireille Ducassé, Ludovic Langevine
      Pages 470-471
    5. Petr Olmer, Petr Štěpánek
      Pages 472-472
    6. Yann Loyer, Umberto Straccia
      Pages 473-474
    7. Nicos Angelopoulos
      Pages 475-475
    8. Prahladavaradan Sampath
      Pages 476-476
    9. Henning Christiansen
      Pages 481-481
    10. Mauricio Osorio, Juan Antonio Navarro, José Arrazola
      Pages 482-483
  5. Back Matter
    Pages 485-486

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.
The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.

Keywords

computational logic constraint logic deduction formal verification linear logic logic logic programming mathematical logic program semantics programming programming logics prolog programming

Editors and affiliations

  • Peter J. Stuckey
    • 1
  1. 1.Department of Computer Science and Software EngineeringUniversity of MelbourneCarltonAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45619-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43930-1
  • Online ISBN 978-3-540-45619-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications