Advertisement

Logic Programming

19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

  • Catuscia Palamidessi
Conference proceedings ICLP 2003

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Invited Tutorials

    1. Frank D. Valencia
      Pages 72-101
    2. François Fages
      Pages 102-102
    3. Paola Bruscoli, Alessio Guglielmi
      Pages 109-127
  4. Regular Papers

    1. Salvador Abreu, Daniel Diaz
      Pages 128-147
    2. Carles Farré, Ernest Teniente, Toni Urpí
      Pages 148-162
    3. Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
      Pages 163-177
    4. Shekhar Pradhan
      Pages 178-193
    5. Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 194-208
    6. Zbigniew Lonc, Mirosław Truszczyński
      Pages 209-223
    7. Vitaly Lagoon, Fred Mesnard, Peter J. Stuckey
      Pages 254-268
    8. Ludovic Langevine, Mireille Ducassé, Pierre Deransart
      Pages 269-283
    9. A. Dovier, E. Pontelli, G. Rossi
      Pages 284-299
    10. Laurent Granvilliers, Eric Monfroy
      Pages 300-314
    11. Andy King, Lunjin Lu
      Pages 315-330
    12. Jan Wielemaker
      Pages 331-345
    13. Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi
      Pages 346-360
    14. Y. Wu, E. Pontelli, D. Ranjan
      Pages 361-376
    15. Brigitte Pientka
      Pages 377-391
    16. Diptikalyan Saha, C. R. Ramakrishnan
      Pages 392-406
    17. Ricardo Lopes, Vítor Santos Costa, Fernando Silva
      Pages 407-421
    18. Joohyung Lee, Vladimir Lifschitz
      Pages 451-465
    19. Yann Loyer, Umberto Straccia
      Pages 466-480
  5. Posters

    1. J. Correas, J. M. Gómez, M. Carro, D. Cabeza, M. Hermenegildo
      Pages 481-482
    2. Selim T. Erdoğan, Vladimir Lifschitz
      Pages 483-484
    3. Hai-Feng Guo, Gopal Gupta
      Pages 485-486
    4. Kwanho Jung, Hyunjang Kong, Junho Choi, Yoojin Moon, Pankoo Kim
      Pages 487-488
    5. M. R. K. Krishna Rao
      Pages 489-491
    6. Yoo-Jin Moon, Kyongho Min, Youngho Hwang, Pankoo Kim
      Pages 492-493
    7. Susana Muñoz, Juan José Moreno-Navarro
      Pages 496-497
    8. Kaninda Musumbu
      Pages 498-499
    9. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 500-501
    10. Rafael Ramirez
      Pages 502-504
    11. David A. Rosenblueth
      Pages 505-506
    12. Alexander Serebrenik
      Pages 507-508
    13. Alexander Serebrenik, Bart Demoen
      Pages 509-510
    14. Tran Cao Son, Enrico Pontelli
      Pages 513-514
    15. Michael Thielscher
      Pages 515-516

About these proceedings

Keywords

complexity computational logic constraint logic deduction distributed systems logic logic inference logic programming mathematical logic program semantics programming prolog programming semantic web semantics verification

Editors and affiliations

  • Catuscia Palamidessi
    • 1
  1. 1.Ecole PolytechniquePalaiseau CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/b94619
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20642-2
  • Online ISBN 978-3-540-24599-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering