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

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