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
    2. Jorge Costa, João Raimundo, Ricardo Rocha
      Pages 205-219
  9. Analysis

    1. Dean Voets, Danny De Schreye
      Pages 220-234
  10. Constraints I

    1. Martin Gebser, Max Ostrowski, Torsten Schaub
      Pages 235-249
    2. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
      Pages 250-264
  11. System and Tool Descriptions

    1. Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason D. Campbell
      Pages 265-280
    2. Edison Mera, Pedro Lopez-García, Manuel Hermenegildo
      Pages 281-295
    3. Johan Wittocx, Hanne Vlaeminck, Marc Denecker
      Pages 296-311
  12. Applications II

    1. Torsten Schaub, Sven Thiele
      Pages 312-326
    2. Thomas Eiter, Esra Erdem, Halit Erdoğan, Michael Fink
      Pages 342-356
  13. Implementation III

    1. Beata Sarna-Starosta, Tom Schrijvers
      Pages 357-371
    2. David Vaz, Vítor Santos Costa, Michel Ferreira
      Pages 372-386
  14. Constraints II

  15. Probability, Uncertainty

    1. Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang
      Pages 432-448
    2. Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
      Pages 449-463
    3. Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
      Pages 464-478
  16. Short Papers

    1. Leslie De Koninck
      Pages 479-483
    2. Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
      Pages 484-488
    3. Yuliya Lierler, Vladimir Lifschitz
      Pages 489-493
    4. Paolo Pilozzi, Danny De Schreye
      Pages 499-503
    5. Paolo Pilozzi, Danny De Schreye
      Pages 504-508
    6. Jesús Aranda, Gerard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro et al.
      Pages 509-513
    7. Terrance Swift
      Pages 514-518
    8. Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira
      Pages 519-524
  17. Doctoral Consortium

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-02845-8
  • Online ISBN 978-3-642-02846-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site