On Distances Between KD45n Kripke Models and Their Use for Belief Revision.

Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis

Browse the full ECAI paper archive.