Advertisement

Table of contents

  1. Front Matter
  2. Joxan Jaffar, Bing Liu, Roland H. C. Yap
    Pages 1-1
  3. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Pages 2-17
  4. Chris Pollett, Jeffrey B. Remmel
    Pages 18-39
  5. Ulrich Zukowski, Stefan Brass, Burkhard Freitag
    Pages 40-59
  6. Uwe Egly, Hans Tompits
    Pages 60-75
  7. Jennifer Seitzer, John Schlipf
    Pages 92-111
  8. Miroslaw Truszczyński
    Pages 112-114
  9. Howard A. Blair, Fred Dushin, Polar Humenn
    Pages 115-131
  10. Guo-Qiang Zhang, William C. Rounds
    Pages 152-169
  11. Alexander Bochman
    Pages 170-184
  12. P. A. Bonatti
    Pages 185-197
  13. Thomas Eiter, James Lu, V. S. Subrahmanian
    Pages 198-217
  14. Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 224-243
  15. Michael Dekhtyar, Alexander Dikovsky, Nicolas Spyratos
    Pages 244-257
  16. Gees Witteveen, Wiebe van der Hoek
    Pages 258-272
  17. Antonio Brogi, Simone Contiero, Franco Turini
    Pages 273-288
  18. Thomas Eiter, Georg Gottlob, Helmut Veith
    Pages 289-308
  19. Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä
    Pages 341-352
  20. Carlos Viegas Damásio, Luis Moniz Pereira, Michael Schroeder
    Pages 353-362
  21. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    Pages 363-374
  22. Ulrich Zukowski, Burkhard Freitag
    Pages 375-386
  23. A. C. Kakas, C. Mourlas
    Pages 387-398
  24. Paul-Th. Kandzia
    Pages 399-409
  25. Gerd Neugebauer, Dorothea Schäfer
    Pages 410-419
  26. Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren, Juliana Freire
    Pages 430-440
  27. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.
The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

Keywords

Artificial intelligence Automated Deduction Constraint Progamming Logic Programming Nonclassical Logics intelligence logic nonmonotonic reasoning programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63255-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63255-9
  • Online ISBN 978-3-540-69249-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site