Skip to main content
  • Conference proceedings
  • © 1991

The Logic of Theory Change

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 papers)

  1. Front Matter

  2. Inquiry, argumentation and knowledge

    • Risto Hilpinen
    Pages 1-18
  3. Computational issues in belief revision

    • João P. Martins
    Pages 49-71
  4. Some results on theory revision

    • Karl Schlechta
    Pages 72-92
  5. Epistemic entrenchment with incomparabilities and relational belief revision

    • Sten Lindström, Wlodzimierz Rabinowicz
    Pages 93-126
  6. The negative Ramsey test: Another triviality result

    • Peter Gärdenfors, Sten Lindström, Michael Morreau, Wlodzimierz Rabinowicz
    Pages 127-134
  7. Relations between the logic of theory change and nonmonotonic logic

    • David Makinson, Peter Gärdenfors
    Pages 183-205
  8. Propositional logic based on the dynamics of disbelief

    • David Pearce, Wolfgang Rautenberg
    Pages 241-258
  9. On the modal logic of theory change

    • André Fuhrmann
    Pages 259-281

About this book

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.

Bibliographic Information

  • Book Title: The Logic of Theory Change

  • Book Subtitle: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings

  • Editors: André Fuhrmann, Michael Morreau

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0018413

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-53567-6Published: 30 January 1991

  • eBook ISBN: 978-3-540-46817-2Published: 22 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 340

  • Topics: Artificial Intelligence, Models and Principles

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access