WeiLi

R-CALCULUS: A Logic of Belief Revision - 2021 - springer 2021 - "Perspectives in Formal Induction, Revision and Evolution" .

9789811629440


Computer Science
Logic in AI