Article dans une revue, CPU, Informatique, 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⟩

Publié le