Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada R-Calculus: A Logic of Belief Revision
Type
Physical Book
Author
Publisher
Language
English
Pages
200
Format
Hardcover
Dimensions
23.4 x 15.6 x 1.3 cm
Weight
0.48 kg.
ISBN13
9789811629433
Categories

R-Calculus: A Logic of Belief Revision

Wei Li (Author) · Yuefei Sui (Author) · Springer · Hardcover

R-Calculus: A Logic of Belief Revision - Li, Wei ; Sui, Yuefei

Cheaper New Book Imported to New Zealand
Delivery: 28 Aug - 10 Sep Shipping: 12 to 16 business days.
NZ$ 316.12
Faster New Book Imported to New Zealand
Delivery: 18 Aug - 25 Aug Shipping: 4 to 5 business days.
NZ$ 400.92
Import costs and 15% GST included in the price ✅
NZ$ 316.12

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "R-Calculus: A Logic of Belief Revision"

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 and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given which uses finite injury priority method in recursion theory. Moreover, two applications of R-calculus are given to default theory and semantic inheritance networks. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctnessand consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews