WeiLi R-CALCULUS: A Logic of Belief Revision - 2021 - springer 2021 - "Perspectives in Formal Induction, Revision and Evolution" . ISBN: 9789811629440 Subjects--Topical Terms: Computer ScienceLogic in AI