Advertisement

Logic Programming

23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

  • Editors
  • Véronica Dahl
  • Ilkka Niemelä

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Invited Tutorials

    1. Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
      Pages 27-44
    2. Michael Hanus
      Pages 45-75
    3. Mirosław Truszczyński
      Pages 76-88
  4. Regular Talks

    1. Answer Set Programming

      1. S. Baselice, P. A. Bonatti, G. Criscuolo
        Pages 89-103
      2. Pedro Cabalar, David Pearce, Agustín Valverde
        Pages 104-118
      3. Martin Gebser, Torsten Schaub
        Pages 119-133
      4. Matti Järvisalo, Emilia Oikarinen
        Pages 134-148
    2. Applications

      1. Paul Tarau, Brenda Luderman
        Pages 180-194
      2. David Vaz, Michel Ferreira, Ricardo Lopes
        Pages 195-208
    3. Constraint Logic Programming

      1. Leslie De Koninck, Tom Schrijvers, Bart Demoen
        Pages 209-223
      2. Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
        Pages 224-239
      3. Frank Raiser
        Pages 240-254
      4. Agostino Dovier, Andrea Formisano, Enrico Pontelli
        Pages 255-270
    4. Semantics

      1. M. Falaschi, C. Olarte, C. Palamidessi, F. Valencia
        Pages 271-285
      2. Lengning Liu, Enrico Pontelli, Tran Cao Son, Mirosław Truszczyński
        Pages 286-301
    5. Program Analysis

      1. Lee Naish
        Pages 302-316
      2. Quan Phan, Gerda Janssens
        Pages 317-332
      3. Paweł Pietrzak, Manuel V. Hermenegildo
        Pages 333-347
      4. Jorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
        Pages 348-363
      5. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
        Pages 364-379
    6. Special Interest Paper

      1. Marcin Czenko, Sandro Etalle
        Pages 380-394
    7. Implementation

      1. Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes
        Pages 395-409
      2. Anderson Faustino da Silva, Vítor Santos Costa
        Pages 410-424
    8. Poster Presentations

      1. Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
        Pages 425-427
      2. Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
        Pages 430-431
      3. P. Mancarella, G. Terreni, F. Toni
        Pages 434-435
      4. Girish Keshav Palshikar
        Pages 442-443
      5. Ricardo Rocha, Cláudio Silva, Ricardo Lopes
        Pages 444-445
      6. Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
        Pages 446-448
      7. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
        Pages 449-450
    9. Doctoral Consortium Presentations

      1. Jonty Needham, Marina De Vos
        Pages 460-461
      2. Emilia Oikarinen
        Pages 462-463
      3. Carlos Olarte, Catuscia Palamidessi, Frank Valencia
        Pages 464-465
      4. Peter Van Weert
        Pages 466-468
  5. Back Matter

About these proceedings

Keywords

Fuzzy algorithm algorithms answer sets deduction formal verification inductive logic programming knowledge base logic programming mathematical logic program analysis programming semantic web semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74610-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74608-9
  • Online ISBN 978-3-540-74610-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site