Wei Li, Yuefei Sui. <br/><br/>
R-CALCULUS: A Logic of Belief Revision 

 - Singapore  Springer  2021 
<br/><br/><label>ISBN: </label>9789811629440 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.