Skip to content
Scan a barcode
Scan
Paperback R-Calculus: A Logic of Belief Revision Book

ISBN: 9811629463

ISBN13: 9789811629464

R-Calculus: A Logic of Belief Revision

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Paperback

Condition: New

$109.99
50 Available
Ships within 2-3 days

Book Overview

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness...

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured