Private Revision in a Multi-Agent Setting. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (AAMAS, 2015)

Private Expansion and Revision in Multi-agent Settings. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (ECSQARU, 2015)

On Distances Between KD45n Kripke Models and Their Use for Belief Revision. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (ECAI, 2016)

A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. - Thomas Caridroit; Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail (AAAI, 2017)

Contraction in propositional logic. - Thomas Caridroit; Sébastien Konieczny; Pierre Marquis (Int. J. Approx. Reason., 2017)