Dynamic Tractable Reasoning: A Modular Approach to Belief Revision
84.58 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10396704
Beschreibung
Preface 1. Introduction
Part I. Foundations 2. Frames 3. Belief Revision 4. Defeasible Reasoning
Part II. Belief Revision with Frames 5. Postulates for Structuralism 6. Structuralist Belief Revision 7. Truth Maintenance 8. Frame Logic 9. Conclusions
A Proofs Index of Symbols Index of Subjects
Part I. Foundations 2. Frames 3. Belief Revision 4. Defeasible Reasoning
Part II. Belief Revision with Frames 5. Postulates for Structuralism 6. Structuralist Belief Revision 7. Truth Maintenance 8. Frame Logic 9. Conclusions
A Proofs Index of Symbols Index of Subjects
Eigenschaften
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen