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