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

About these proceedings


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.


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

Bibliographic information

  • DOI
  • 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