| 2020 | IJCAI | TouIST: a Friendly Language for Propositional Logic and More. | Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frdric Maris, Pierre Rgnier |
| 2007 | TABLEAUX | Tableaux with Dynamic Filtration for Layered Modal Logics. | Olivier Gasquet, Bilal Said |
| 2006 | AiML | Terminating modal tableaux with simple completeness proof. | Olivier Gasquet, Andreas Herzig, Mohamad Sahade |
| 2005 | TABLEAUX | LoTREC: Logical Tableaux Research Engineering Companion. | Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade |
| 2002 | FlAIRS | Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model. | Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste |
| 2001 | CADE | Lotrec : The Generic Tableau Prover for Modal and Description Logics. | Luis Farias del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci |
| 1994 | IPMU | Translation-Based Deduction Methods for Modal Logics. | Olivier Gasquet, Andreas Herzig |
| 1993 | ECSQARU | Translating Inaccessible Worlds Logic into Bimodal Logic. | Olivier Gasquet, Andreas Herzig |