Hintikka's World: Scalable Higher-order Knowledge. - Tristan Charrier; Sébastien Gamblin; Alexandre Niveau; François Schwarzentruber (IJCAI, 2019)

A Symbolic Representation for Probabilistic Dynamic Epistemic Logic. - Sébastien Gamblin; Alexandre Niveau; Maroua Bouzid (AAMAS, 2022)

Représentation symbolique pour la logique épistémique dynamique probabiliste. (Symbolic representation for probabilistic dynamic epistemic logic). - Sébastien Gamblin (2022)