Skip to main content
  • Conference proceedings
  • © 2002

Logic Programming

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

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

Conference series link(s): ICLP: International Conference on Logic Programming

Conference proceedings info: ICLP 2002.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (44 papers)

  1. Front Matter

    Pages I-XI
  2. Conference Papers

    1. An Abductive Approach for Analysing Event-Based Requirements Specifications

      • Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
      Pages 22-37
    2. Trailing Analysis for HAL

      • Tom Schrijvers, Maria García de la Banda, Bart Demoen
      Pages 38-53
    3. Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

      • Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 100-114
    4. Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP

      • Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
      Pages 115-129
    5. A Model Theoretic Semantics for Multi-level Secure Deductive Databases

      • Hasan M. Jamil, Gillian Dobbie
      Pages 130-147
    6. Propagation Completeness of Reactive Constraints

      • Michael J. Maher
      Pages 148-163
    7. On Enabling the WAM with Region Support

      • Henning Makholm, Konstantinos Sagonas
      Pages 163-178
    8. Copying Garbage Collection for the WAM: To Mark or Not to Mark?

      • Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste
      Pages 194-208
    9. Logical Algorithms

      • Harald Ganzinger, David McAllester
      Pages 209-223
    10. Logical Loops

      • Joachim Schimpf
      Pages 224-238
    11. Learning in Logic with RichProlog

      • Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan
      Pages 239-254

Other Volumes

  1. Logic Programming

About this book

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.

Editors and Affiliations

  • Department of Computer Science and Software Engineering, University of Melbourne, Carlton, Australia

    Peter J. Stuckey

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access