Skip to main content
SpringerLink
Log in
Book cover

Non-Monotonic Extensions of Logic Programming

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

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Jürgen Dix
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luís Moniz Pereira
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Teodor C. Przymusinski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: NMELP 1996.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Download chapter PDF

  2. Prolegomena to logic programming for non-monotonic reasoning

    • Jürgen Dix, Luís Moniz Pereira, Teodor Przymusinski
    Pages 1-36

  3. On logics and semantics for general logic programs

    • Alexander Bochman
    Pages 37-56

  4. A new logical characterisation of stable models and answer sets

    • David Pearce
    Pages 57-70

  5. Aggregation and well-founded semantics+

    • Mauricio Osorio, Bharat Jayaraman
    Pages 71-90

  6. Nonmonotonic reasoning by monotonic inferences with priority constraints

    • Xianchang Wang, Jia-Huai You, Li Yan Yuan
    Pages 91-109

  7. Update-programms can update programs

    • José Júlio Alferes, Luís Moniz Pereira
    Pages 110-131

  8. An abductive proof procedure for reasoning about actions in modal logic programming

    • Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Pages 132-150

  9. Update programs versus revision programs

    • N. Bidoit, S. Maabout
    Pages 151-170

  10. Transformation-based bottom-up computation of the well-founded model

    • Stefan Brass, Ulrich Zukowski, Burkhard Freitag
    Pages 171-201

  11. Computation of non-ground disjunctive well-founded semantics with constraint logic programming

    • Jürgen Dix, Frieder Stolzenburg
    Pages 202-224

  12. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Non-Monotonic Extensions of Logic Programming

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation