Table of contents

  1. Front Matter
  2. Jürgen Dix, Luís Moniz Pereira, Teodor Przymusinski
    Pages 1-36
  3. Mauricio Osorio, Bharat Jayaraman
    Pages 71-90
  4. Xianchang Wang, Jia-Huai You, Li Yan Yuan
    Pages 91-109
  5. José Júlio Alferes, Luís Moniz Pereira
    Pages 110-131
  6. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Pages 132-150
  7. N. Bidoit, S. Maabout
    Pages 151-170
  8. Stefan Brass, Ulrich Zukowski, Burkhard Freitag
    Pages 171-201
  9. Back Matter

About these proceedings


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.


Programmierlogik logic logic programming modal logic programming modales logisches Programmieren nichtmonotones Schließen non-monotonic logics non-monotonic reasoning nonmonotonic reasoning programming programming logics

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment