Skip to main content
  • Conference proceedings
  • © 1997

Non-Monotonic Extensions of Logic Programming

Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers

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

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

Conference series link(s): NMELP: International Workshop on Non-monotonic Extensions of Logic Programming

Conference proceedings info: NMELP 1996.

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 (10 papers)

  1. Front Matter

  2. Prolegomena to logic programming for non-monotonic reasoning

    • Jürgen Dix, Luís Moniz Pereira, Teodor Przymusinski
    Pages 1-36
  3. Aggregation and well-founded semantics+

    • Mauricio Osorio, Bharat Jayaraman
    Pages 71-90
  4. Nonmonotonic reasoning by monotonic inferences with priority constraints

    • Xianchang Wang, Jia-Huai You, Li Yan Yuan
    Pages 91-109
  5. Update-programms can update programs

    • José Júlio Alferes, Luís Moniz Pereira
    Pages 110-131
  6. An abductive proof procedure for reasoning about actions in modal logic programming

    • Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Pages 132-150
  7. Update programs versus revision programs

    • N. Bidoit, S. Maabout
    Pages 151-170
  8. Transformation-based bottom-up computation of the well-founded model

    • Stefan Brass, Ulrich Zukowski, Burkhard Freitag
    Pages 171-201
  9. Back Matter

Other Volumes

  1. Non-Monotonic Extensions of Logic Programming

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996.
The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.

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