Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2006

Logic Programming

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

Editors:

  1. Sandro Etalle

    1. University of Twente, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mirosław Truszczyński

    1. Department of Computer Science, University of Kentucky, Lexington, USA

    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 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.

Sections

Buy it now

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 (54 papers)

  1. Front Matter

    PDF

  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

  4. 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

  5. Functional and Constraint Logic Programming

    1. Memory Reuse for CHR

      • Jon Sneyers, Tom Schrijvers, Bart Demoen
      Pages 72-86

    3. Towards “Propagation = Logic + Control”

      • Sebastian Brand, Roland H. C. Yap
      Pages 102-116

    4. ACD Term Rewriting

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

  6. 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

  7. 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
Back to top

Other Volumes

  1. Logic Programming

Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Twente, The Netherlands

    Sandro Etalle

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

    Mirosław Truszczyński

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation