Controlled Revision - An algorithmic approach for belief revision
From MaRDI portal
Publication:4405675
DOI10.1093/LOGCOM/13.1.3zbMath1043.03008OpenAlexW4253372947MaRDI QIDQ4405675
Publication date: 2003
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/13.1.3
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)
Related Items (9)
A concept approach to input/output logic ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Notes on the history of ideas behind AGM ⋮ The stability theory of knowledge and belief revision: Comments on Rott ⋮ Remedial interchange, contrary-to-duty obligation and commutation ⋮ From onions to broccoli: generalizing Lewis' counterfactual logic ⋮ A Belief-Based Approach to Measuring Message Acceptability ⋮ Contracting intuitionistic theories
This page was built for publication: Controlled Revision - An algorithmic approach for belief revision
