TY - DATA AU - WeiLi AU - YuefeiSui TI - R-CALCULUS: A Logic of Belief Revision T2 - "Perspectives in Formal Induction, Revision and Evolution" SN - 9789811629440 PB - springer KW - Computer Science KW - Logic in AI UR - https://link.springer.com/openurl?genre=book&isbn=978-981-16-2944-0 ER -