Article dans une revue, CPU, Computer Science, Logic in Computer Science, Logique en informatique
Belief Revision Theory
Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret. Belief Revision Theory. Archive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html. ⟨hal-04495393⟩
Published on