Table of contents

  1. Front Matter
  2. Risto Hilpinen
    Pages 1-18
  3. João P. Martins
    Pages 49-71
  4. Karl Schlechta
    Pages 72-92
  5. Sten Lindström, Wlodzimierz Rabinowicz
    Pages 93-126
  6. Peter Gärdenfors, Sten Lindström, Michael Morreau, Wlodzimierz Rabinowicz
    Pages 127-134
  7. David Makinson, Peter Gärdenfors
    Pages 183-205
  8. David Pearce, Wolfgang Rautenberg
    Pages 241-258
  9. André Fuhrmann
    Pages 259-281

About these proceedings

Introduction

The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of future research. Connections to other areas of AI research are emphasized throughout the book. All the contributions are original research papers and most of them are self-contained, so that the collection will be of interest not only to researchers but also to all those who seek an introduction to the state of the art in this area. The fourteen contributions are organized into five sections: - Foundations - Models of theory change - The Ramsey test for conditionals - Theory change and nonmonotonic reasoning - Reformulations and extensions.

Keywords

Argumentation Belief Datenbank Extension Knowledge representation Logik Nichtmonotone Logik Non-monotonic reasoning Wissensrepräsentation artificial intelligence intelligence knowledge logic nichtmonotones Schließen nonmonotonic reasoning

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0018413
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53567-6
  • Online ISBN 978-3-540-46817-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349