Advertisement

Logic Programming

21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

  • Maurizio Gabbrielli
  • Gopal Gupta
Conference proceedings ICLP 2005

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

Table of contents

  1. Front Matter
  2. Francesca Rossi
    Pages 5-8
  3. Peter J. Stuckey, Maria Garcia de la Banda, Michael Maher, Kim Marriott, John Slaney, Zoltan Somogyi et al.
    Pages 9-13
  4. José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
    Pages 21-36
  5. S. Baselice, P. A. Bonatti, M. Gelfond
    Pages 52-66
  6. Agostino Dovier, Andrea Formisano, Enrico Pontelli
    Pages 67-82
  7. Jon Sneyers, Tom Schrijvers, Bart Demoen
    Pages 83-97
  8. Joxan Jaffar, Roland H. C. Yap, Kenny Q. Zhu
    Pages 98-112
  9. Luca Bortolussi, Herbert Wiklicky
    Pages 143-158
  10. Henning Christiansen, Veronica Dahl
    Pages 159-173
  11. Michael J. Maher
    Pages 174-188
  12. Emad Saad, Enrico Pontelli
    Pages 204-220
  13. Nikolay Pelov, Eugenia Ternovska
    Pages 221-234
  14. Ricardo Rocha, Fernando Silva, Vítor Santos Costa
    Pages 250-264
  15. Bernd Braßel, Michael Hanus
    Pages 265-279
  16. John P. Gallagher, Kim S. Henriksen, Gourinath Banda
    Pages 280-296
  17. Ajay Mallya
    Pages 297-310
  18. Michael Codish, Vitaly Lagoon, Peter J. Stuckey
    Pages 326-340
  19. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 341-355
  20. Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny
    Pages 356-370
  21. Gopalan Nadathur, Natalie Linnell
    Pages 371-386
  22. Susmit Sarkar, Brigitte Pientka, Karl Crary
    Pages 387-401
  23. Emmanuel Coquery, François Fages
    Pages 402-403
  24. Thomas Kleemann, Alex Sinner
    Pages 404-406
  25. Germán Puebla, Elvira Albert, Manuel Hermenegildo
    Pages 407-409
  26. Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
    Pages 412-413
  27. Christos Nomikos, Panos Rondogiannis, William W. Wadge
    Pages 414-415
  28. Ricardo Rocha, Ricardo Lopes, Fernando Silva, Vítor Santos Costa
    Pages 416-417
  29. Tony Lambert, Carlos Castro, Eric Monfroy, María Cristina Riff, Frédéric Saubion
    Pages 421-423
  30. Gergely Lukácsy, Zsolt Nagy
    Pages 427-428
  31. Ludovic Langevine, The French RNTL OADymPPaC Team
    Pages 433-434
  32. Ricardo Corin, Ari Saptawijaya, Sandro Etalle
    Pages 439-440
  33. Luca Bortolussi
    Pages 441-443
  34. Roman Schindlauer
    Pages 446-447

About these proceedings

Keywords

agent-oriented logic programming algorithm algorithms computational logics constraint logic programming deduction formal verification inductive logic programming logic programming mathematical logic model checking modeling ontology programming language semantics

Editors and affiliations

  • Maurizio Gabbrielli
    • 1
  • Gopal Gupta
    • 2
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaItaly
  2. 2.Department of Computer ScienceUniversity of Texas at DallasRichardson

Bibliographic information

  • DOI https://doi.org/10.1007/11562931
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29208-1
  • Online ISBN 978-3-540-31947-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site