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

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
  • About this book