Skip to main content
  • Conference proceedings
  • © 2006

Logic Programming

22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

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

Conference proceedings info: ICLP 2006.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (54 papers)

  1. Front Matter

  2. Invited Talks

    1. Why Use Datalog to Analyze Programs?

      • Monica S. Lam
      Pages 1-1
    2. Semantic Web: The Story of the RIFt so Far

      • Christopher A. Welty
      Pages 2-2
  3. Regular Talks Theory

    1. Tableau Calculi for Answer Set Programming

      • Martin Gebser, Torsten Schaub
      Pages 11-25
    2. Declarative Semantics of Production Rules for Integrity Maintenance

      • Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano
      Pages 26-40
    3. Modules for Prolog Revisited

      • Rémy Haemmerlé, François Fages
      Pages 41-55
    4. A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

      • Diptikalyan Saha, C. R. Ramakrishnan
      Pages 56-71
  4. Functional and Constraint Logic Programming

    1. Memory Reuse for CHR

      • Jon Sneyers, Tom Schrijvers, Bart Demoen
      Pages 72-86
    2. Towards “Propagation = Logic + Control”

      • Sebastian Brand, Roland H. C. Yap
      Pages 102-116
    3. ACD Term Rewriting

      • Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
      Pages 117-131
  5. Program Analysis

    1. Detecting Determinacy in Prolog Programs

      • Andy King, Lunjin Lu, Samir Genaim
      Pages 132-147
    2. Collapsing Closures

      • Xuan Li, Andy King, Lunjin Lu
      Pages 148-162
    3. Reduced Certificates for Abstraction-Carrying Code

      • Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo
      Pages 163-178
    4. Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

      • Alberto Pettorossi, Maurizio Proietti, Valerio Senni
      Pages 179-195
  6. Answer-Set Programming

    1. Justifications for Logic Programs Under Answer Set Semantics

      • Enrico Pontelli, Tran Cao Son
      Pages 196-210
    2. Generality Relations in Answer Set Programming

      • Katsumi Inoue, Chiaki Sakama
      Pages 211-225
    3. Cooperating Answer Set Programming

      • Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
      Pages 226-241
    4. Predicate Introduction Under Stable and Well-Founded Semantics

      • Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
      Pages 242-256

Other Volumes

  1. Logic Programming

Keywords

  • Compiler
  • algorithms
  • answer sets
  • computational logics
  • constraint programming
  • logic
  • logic inference
  • logic programming
  • optimization
  • program analysis
  • program logics
  • programming language
  • prol
  • proving
  • verification

Editors and Affiliations

  • University of Twente, The Netherlands

    Sandro Etalle

  • Department of Computer Science, University of Kentucky, Lexington, USA

    Mirosław Truszczyński

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions