Skip to main content
  • Conference proceedings
  • © 1997

Logic Programming and Nonmonotonic Reasoning

Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 1997.

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (34 papers)

  1. A general framework for revising nonmonotonic theories

    • Gees Witteveen, Wiebe van der Hoek
    Pages 258-272
  2. Composing general logic programs

    • Antonio Brogi, Simone Contiero, Franco Turini
    Pages 273-288
  3. Modular logic programming and generalized quantifiers

    • Thomas Eiter, Georg Gottlob, Helmut Veith
    Pages 289-308
  4. DisLoP: Towards a disjunctive logic programming system

    • Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä
    Pages 341-352
  5. REVISE: Logic programming and diagnosis

    • Carlos Viegas Damásio, Luis Moniz Pereira, Michael Schroeder
    Pages 353-362
  6. A deductive system for non-monotonic reasoning

    • Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    Pages 363-374
  7. The deductive database system LOLA

    • Ulrich Zukowski, Burkhard Freitag
    Pages 375-386
  8. ACLP: Flexible solutions to complex problems

    • A. C. Kakas, C. Mourlas
    Pages 387-398
  9. Nonmonotonic reasoning in FLORID

    • Paul-Th. Kandzia
    Pages 399-409
  10. GLUE: Opening the world to theorem provers

    • Gerd Neugebauer, Dorothea Schäfer
    Pages 410-419
  11. XSB: A system for efficiently computing well-founded semantics

    • Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren, Juliana Freire
    Pages 430-440
  12. Back Matter

Other Volumes

  1. Logic Programming And Nonmonotonic Reasoning

About this book

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.

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access