@InProceedings{CKdLM16b,
author={Thomas  Caridroit and Tiago  de Lima and Sébastien  Konieczny and Pierre  Marquis},
title= {Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances},
booktitle = {Journées d'Intelligence Artificielles Fondamentales (IAF'16)} ,
year= {2016}
}