Belief Revision in Non-Monotonic Reasoning and Logic Programming
José Júlio Alferes, Luı́s Moniz Pereira, Teodor C. Przymusiński · Fundamenta Informaticae · 1996
In order to be able to explicitly reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic of Beliefs, AEB, obtained by augmenting classical propositional logic with a belief operator, β. For this language we'v