| Formalizing action and change in modal logic I: the frame problem MA Castilho, O Gasquet, A Herzig Journal of logic and computation 9 (5), 701-735, 1999 | 116 | 1999 |
| Modal tableaux with propagation rules and structural rules MA Castilho, LF del Cerro, O Gasquet, A Herzig Fundamenta Informaticae 32 (3-4), 281-297, 1997 | 80 | 1997 |
| Lotrec: the generic tableau prover for modal and description logics LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001 | 74 | 2001 |
| LoTREC: Logical tableaux research engineering companion O Gasquet, A Herzig, D Longin, M Sahade Automated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005 | 62 | 2005 |
| From classical to normal modal logics O Gasquet, A Herzig Proof theory of modal logic, 293-311, 1996 | 59 | 1996 |
| Forms of meaning, meaning of forms B Gaume, K Duvignau, O Gasquet, MD Gineste Journal of Experimental & Theoretical Artificial Intelligence 14 (1), 61-74, 2002 | 51 | 2002 |
| Agents that look at one another P Balbiani, O Gasquet, F Schwarzentruber Logic Journal of IGPL 21 (3), 438-467, 2013 | 30 | 2013 |
| Kripke’s World O Gasquet, A Herzig, B Said, F Schwarzentruber Studies in Universal Logic. Basel: Birkhaüser, 2014 | 27 | 2014 |
| Tableaux based decision procedures for modal logics of confluence and density LF del Cerro, O Gasquet Fundamenta Informaticae 40 (4), 317-333, 1999 | 26 | 1999 |
| A general framework for pattern-driven modal tableaux LF Del Cerro, O Gasquet Log. J. IGPL 10 (1), 51-83, 2002 | 25 | 2002 |
| Modal tableaux for reasoning about actions and plans MA Castilho, O Gasquet, A Herzig Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 …, 1997 | 25 | 1997 |
| Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students O Gasquet, F Schwarzentruber, M Strecker Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011 | 22 | 2011 |
| Coalition games over Kripke semantics: expressiveness and complexity P Balbiani, O Gasquet, A Herzig, F Schwarzentruber, N Troquard Festschrift in Honour of Shahid Rahman. College Publications, 2008 | 18 | 2008 |
| Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane O Gasquet, V Goranko, F Schwarzentruber IFAAMAS, 2014 | 17 | 2014 |
| Big brother logic: visual-epistemic reasoning in stationary multi-agent systems O Gasquet, V Goranko, F Schwarzentruber Autonomous Agents and Multi-Agent Systems 30, 793-825, 2016 | 15 | 2016 |
| Terminating modal tableaux with simple completeness proof. O Gasquet, A Herzig, M Sahade Advances in Modal Logic 6, 167-186, 2006 | 14 | 2006 |
| Compact tree encodings for planning as QBF O Gasquet, D Longin, F Maris, P Régnier, M Valais Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence …, 2018 | 12 | 2018 |
| Satoulouse: The Computational Power of Propositional Logic Shown to Beginners O Gasquet, F Schwarzentruber, M Strecker Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011 | 12 | 2011 |
| Translating non-normal modal logics into normal modal logics O Gasquet, A Herzig Proceedings international workshop on deontic logic, TANO, Oslo, 1993 | 12 | 1993 |
| Déduction automatique en logique multi-modale par traduction O Gasquet Toulouse 3, 1994 | 11 | 1994 |
