Logic Programming

25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

  • Patricia M. Hill
  • David S. Warren
Conference proceedings ICLP 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Tutorials

  4. Best Papers

    1. Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian
      Pages 40-54
    2. Henning Christiansen, John P. Gallagher
      Pages 55-69
  5. Applications I

    1. Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
      Pages 84-98
    2. Tran Cao Son, Enrico Pontelli, Chiaki Sakama
      Pages 99-114
  6. Implementation I

    1. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
      Pages 115-129
  7. Theory

    1. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
      Pages 145-159
    2. James Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 160-174
  8. Implementation II

    1. Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo
      Pages 190-204

About these proceedings


This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.


Constraint Debugging Natural agents artificial intelligence bioinformatics databases inference engine knowledge knowledge representation logic nonmonotonic reasoning program transformation software engineering verification

Editors and affiliations

  • Patricia M. Hill
    • 1
  • David S. Warren
    • 2
  1. 1.School of ComputingUniversity of LeedsLeedsUK
  2. 2.Deptartment of Computer ScienceStony Brook UniversityStony BrookUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-02846-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02845-8
  • Online ISBN 978-3-642-02846-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book