Table of contents

  1. Front Matter
  2. Gerhard Brewka, David Makinson, Karl Schlechta
    Pages 1-12
  3. Heinrich Herre
    Pages 38-58
  4. Michael Freund
    Pages 59-73
  5. Gerhard Jäger
    Pages 74-84
  6. Wiktor Marek, Grigori F. Schwarz, Mirosław Truszczyński
    Pages 85-99
  7. Emil Weydert
    Pages 138-160
  8. Rolf Wiehagen
    Pages 184-207
  9. M. Morreau, H. Rott
    Pages 233-243
  10. Back Matter

About these proceedings


This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning.


Belief Revision Inductive Logic Induktive Logik Konzeptuelles Lernen Nicht-monotone Logik Nicht-monotones Schließen Nonmonotonic Reasoning Variable concept Learning learning logic logic programming nonmonotonic reasoning semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54564-4
  • Online ISBN 978-3-540-38469-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book