TY  - BOOK
AU  - Wei Li, Yuefei Sui.
TI  - R-CALCULUS: A Logic of Belief Revision
SN  - 9789811629440
PY  - 2021///
CY  - Singapore
PB  - Springer
KW  - Logic programming. Machine theory. Mathematical logic. Mathematical models. Big data. Logic in AI. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Mathematical Modeling and Industrial Mathematics. Big Data
UR  - https://doi.org/10.1007/978-981-16-2944-0
ER  -