Advertisement

Logic Programming and Nonmotonic Reasoning

6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings

  • Thomas Eiter
  • Wolfgang Faber
  • Miros law Truszczyński

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2173)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

    1. Robert Baumgartner, Sergio Flesca, Georg Gottlob
      Pages 21-41
    2. Leferis M. Kirousis, Phokion G. Kolaitis
      Pages 42-53
    3. Maurizio Lenzerini
      Pages 54-61
    4. Chiaki Sakama
      Pages 62-80
  3. Regular Papers

    1. V. W. Marek, J. B. Remmel
      Pages 107-120
    2. 1Piero A. Bonatti
      Pages 147-159
    3. Pascal Nicolas, Béatrice Duval
      Pages 160-172
    4. Keijo Heljanko, Ilkka Niemelä
      Pages 200-212
    5. Michael Gelfond, Marcello Balduccini, Joel Galloway
      Pages 213-225
    6. Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
      Pages 240-253
    7. Antonis Kakas, Rob Miller, Francesca Toni
      Pages 254-267
    8. Tommi Syrjänen
      Pages 267-280
    9. Nicola Leone, Simona Perri, Francesco Scarcello
      Pages 280-294
    10. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
      Pages 295-308
    11. Pascal Nicolas, Frédéric Saubion, Igor Stéphan
      Pages 309-321
    12. Chen Avin, Rachel Ben-Eliyahu Zohary
      Pages 322-335
    13. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtaš
      Pages 351-364
    14. João Alexandre Leite, José Júlio Alferes, Lúýs Moniz Pereira
      Pages 365-378
    15. Carlos Viegas Damásio, Lúýs Moniz Pereira
      Pages 379-393
  4. System Description

    1. Bert Van Nuffelen, Antonis Kakas
      Pages 393-397
    2. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
      Pages 397-401
    3. Deborah East, Mirosłlaw Truszczyński
      Pages 402-405
    4. Christian Anger, Kathrin Konczak, Thomas Linke
      Pages 406-410
    5. James P. Delgrande, Torsten Schaub, Hans Tompits
      Pages 411-415
    6. Ramón P. Otero
      Pages 420-423
    7. Tina Dell ’Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri et al.
      Pages 424-428
    8. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
      Pages 429-433
    9. Tommi Syrjänen, Ilkka Niemelä
      Pages 434-438
    10. Marcello Balduccini, Micchael Gelfond, R. Watson, M. Nogueira
      Pages 439-442
  5. Back Matter
    Pages 443-444

About these proceedings

Keywords

Prolog learning logic model checking nonmonotonic reasoning programming semantics

Editors and affiliations

  • Thomas Eiter
    • 1
  • Wolfgang Faber
    • 2
  • Miros law Truszczyński
    • 3
  1. 1.Institut für InformationssystemeVienna University of TechnologyWienAustria
  2. 2.Institut für InformationssystemeVienna University of TechnologyWienAustria
  3. 3.Department of Computer Science LexingtonUniversity of KentuckyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45402-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42593-9
  • Online ISBN 978-3-540-45402-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site