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 Formal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html. ⟨hal-04495393⟩

Published on