R-CALCULUS: A Logic of Belief Revision
From MaRDI portal
Publication:5007095
DOI10.1007/978-981-16-2944-0zbMath1475.03003OpenAlexW3208685623MaRDI QIDQ5007095
Publication date: 25 August 2021
Published in: Perspectives in Formal Induction, Revision and Evolution (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-981-16-2944-0
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02)