R-CALCULUS : a logic of belief revision / 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...
Full description
Saved in: