Skip to main content
SpringerLink
Log in

The Logic of Theory Change

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

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. André Fuhrmann
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Morreau
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Inquiry, argumentation and knowledge

    • Risto Hilpinen
    Pages 1-18

  3. Rational control of reasoning in artificial intelligence

    • Jon Doyle
    Pages 19-48

  4. Computational issues in belief revision

    • João P. Martins
    Pages 49-71

  5. Some results on theory revision

    • Karl Schlechta
    Pages 72-92

  6. Epistemic entrenchment with incomparabilities and relational belief revision

    • Sten Lindström, Wlodzimierz Rabinowicz
    Pages 93-126

  7. The negative Ramsey test: Another triviality result

    • Peter Gärdenfors, Sten Lindström, Michael Morreau, Wlodzimierz Rabinowicz
    Pages 127-134

  8. A nonmonotonic conditional logic for belief revision

    • Hans Rott
    Pages 135-181

  9. Relations between the logic of theory change and nonmonotonic logic

    • David Makinson, Peter Gärdenfors
    Pages 183-205

  10. Belief revision in a framework for default reasoning

    • Gerhard Brewka
    Pages 206-222

  11. Preferential cumulative reasoning and nonmonotonic semantic nets

    • Klaus U. Schulz
    Pages 223-240

  12. Propositional logic based on the dynamics of disbelief

    • David Pearce, Wolfgang Rautenberg
    Pages 241-258

  13. On the modal logic of theory change

    • André Fuhrmann
    Pages 259-281

  14. Discourse representation theory and belief dynamics

    • Nicholas Asher
    Pages 282-321

  15. Multiple contraction a further case against gärdenfors' principle of recovery

    • Reinhard Niederée
    Pages 322-334
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation