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

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
  • About this book