Dynamic Tractable Reasoning: A Modular Approach to Belief Revision

By Holger Andreas

Book Overview

Preface1. Introduction
Part I. Foundations2. Frames3. Belief Revision4. Defeasible Reasoning
Part II. Belief Revision with Frames5. Postulates for Structuralism6. Structuralist Belief Revision7. Truth Maintenance8. Frame Logic9. Conclusions
A ProofsIndex of SymbolsIndex of Subjects

• Format: Paperback
• Language: English
• ISBN: 3030362353
• ISBN13: 9783030362355
• Release Date: March 2021
• Publisher: Springer
• Length: 236 Pages
• Weight: 0.80 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"