Advertisement

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
  8. Special Interest Paper

  9. Applications I

    1. Martin Brain, Tom Crick, Marina De Vos, John Fitch
      Pages 270-284
    2. Susanne Grell, Torsten Schaub, Joachim Selbig
      Pages 285-299
  10. Semantics

    1. Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
      Pages 330-345
    2. Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde
      Pages 346-360
    3. James Cheney
      Pages 361-375
  11. Applications II

    1. Chitta Baral, Juraj Dzifcak, Hiro Takahashi
      Pages 376-390
    2. C. R. Ramakrishnan, I. V. Ramakrishnan, David S. Warren
      Pages 391-405
  12. Poster Presentations

    1. Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
      Pages 421-422
    2. Thi-Bich-Hanh Dao, Khalil Djelloul
      Pages 423-424
    3. Hai-Feng Guo, Miao Liu, Bharat Jayaraman
      Pages 425-426
    4. Cláudio Silva, Ricardo Rocha, Ricardo Lopes
      Pages 429-430
    5. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel Hermenegildo
      Pages 431-432
    6. Quan Phan, Gerda Janssens
      Pages 433-435
    7. Salvador Abreu, Vítor Nogueira
      Pages 436-438
    8. Vítor Nogueira, Salvador Abreu
      Pages 439-441
    9. Juan Fernández Ortiz, Jørgen Villadsen
      Pages 444-446
    10. Hugo A. López, Catuscia Palamidessi, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
      Pages 449-450
    11. Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh
      Pages 451-452
    12. Paulo Moura, Vincent Marchetti
      Pages 453-454
    13. Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca
      Pages 455-456
    14. Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
      Pages 457-458
  13. Doctoral Consortium Presentations

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
  • Buy this book on publisher's site