Skip to main content
SpringerLink
Log in

Logic Programming

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Peter J. Stuckey

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICLP 2002.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (44 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  3. 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. Access Control for Deductive Databases by Logic Programming

      • Steve Barker
      Pages 54-69

    4. Reasoning about Actions with CHRs and Finite Domain Constraints

      • Michael Thielscher
      Pages 70-84

    5. Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

      • Alexander Bockmayr, Arnaud Courtois
      Pages 85-99

    6. Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

      • Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 100-114

    7. Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP

      • Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
      Pages 115-129

    8. A Model Theoretic Semantics for Multi-level Secure Deductive Databases

      • Hasan M. Jamil, Gillian Dobbie
      Pages 130-147

    9. Propagation Completeness of Reactive Constraints

      • Michael J. Maher
      Pages 148-163

    10. On Enabling the WAM with Region Support

      • Henning Makholm, Konstantinos Sagonas
      Pages 163-178

    11. A Different Look at Garbage Collection for the WAM

      • Bart Demoen
      Pages 179-193

    12. Copying Garbage Collection for the WAM: To Mark or Not to Mark?

      • Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste
      Pages 194-208

    13. Logical Algorithms

      • Harald Ganzinger, David McAllester
      Pages 209-223

    14. Logical Loops

      • Joachim Schimpf
      Pages 224-238

    15. Learning in Logic with RichProlog

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

    16. Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

      • François Bry, Sebastian Schaffert
      Pages 255-270

    17. A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming

      • Brigitte Pientka
      Pages 271-286
Back to top

Other volumes

  1. Logic Programming

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation