Logic Programming

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

  • Sandro Etalle
  • Mirosław Truszczyński
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Monica S. Lam
      Pages 1-1
    2. Christopher A. Welty
      Pages 2-2
  3. Invited Tutorial

  4. Regular Talks Theory

    1. Martin Gebser, Torsten Schaub
      Pages 11-25
    2. Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano
      Pages 26-40
    3. Rémy Haemmerlé, François Fages
      Pages 41-55
    4. Diptikalyan Saha, C. R. Ramakrishnan
      Pages 56-71
  5. Functional and Constraint Logic Programming

    1. Jon Sneyers, Tom Schrijvers, Bart Demoen
      Pages 72-86
    2. Sebastian Brand, Roland H. C. Yap
      Pages 102-116
    3. Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
      Pages 117-131
  6. Program Analysis

    1. Andy King, Lunjin Lu, Samir Genaim
      Pages 132-147
    2. Xuan Li, Andy King, Lunjin Lu
      Pages 148-162
    3. Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo
      Pages 163-178
    4. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
      Pages 179-195
  7. Answer-Set Programming

    1. Enrico Pontelli, Tran Cao Son
      Pages 196-210
    2. Katsumi Inoue, Chiaki Sakama
      Pages 211-225
    3. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
      Pages 226-241
    4. Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe
      Pages 242-256

About these proceedings

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

  • Sandro Etalle
    • 1
  • Mirosław Truszczyński
    • 2
  1. 1.University of TwenteThe Netherlands
  2. 2.Department of Computer ScienceUniversity of KentuckyLexingtonUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11799573
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-36635-5
  • Online ISBN 978-3-540-36636-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book