Table of contents

  1. Front Matter
  2. Pages 1-2
  3. José Júlio Alferes, Luís Moniz Pereira
    Pages 3-22
  4. Vladimir Lifschitz, Hudson Turner
    Pages 23-42
  5. Jia-Huai You, Li Yan Yuan
    Pages 85-100
  6. Monica D. Barback, Jorge Lobo
    Pages 101-126
  7. Stefania Costantini, Gaetano A. Lanzarone
    Pages 156-180
  8. Lars Degerstedt, Ulf Nilsson
    Pages 181-204
  9. Back Matter

About these proceedings


This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.
Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.


Commonsense Reasoning Extension Logic Programming Nichtmonotones Schließen Nonmonotonic Reasoning Program Semantics Program Transformations Programmtransformationen logic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59467-3
  • Online ISBN 978-3-540-49272-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book