© 1991

The Logic of Theory Change

Workshop, Konstanz, FRG, October 13–15, 1989 Proceedings

  • Editors
  • André Fuhrmann
  • Michael Morreau
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 465)

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


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.


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

  • Book Title The Logic of Theory Change
  • Book Subtitle Workshop, Konstanz, FRG, October 13–15, 1989 Proceedings
  • Editors Andre Fuhrmann
    Michael Morreau
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-53567-6
  • eBook ISBN 978-3-540-46817-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 340
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Models and Principles
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences