R-CALCULUS: A Logic of Belief Revision [electronic resource] by Wei Li, Yuefei Sui.
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 minima...
| Uniform Title: | Perspectives in Formal Induction, Revision and Evolution,
2731-3697 |
|---|---|
| Main Authors: | |
| Corporate Author: | |
| Language: | English |
| Published: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2021.
|
| Edition: | 1st ed. 2021. |
| Series: | Perspectives in Formal Induction, Revision and Evolution,
|
| Subjects: | |
| Online Access: | |
| Format: | Electronic eBook |