Olivier Gasquet

Olivier Gasquet

Institut de Recherche en Informatique de Toulouse - Toulouse / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4411866
Toulouse Institute for Computer Science Research
person_outline Olivier Gasquet's MOST POPULAR ARTICLES
1-) Formalizing action and change in modal logic I: the frame problemMA Castilho, O Gasquet, A HerzigJournal of logic and computation 9 (5), 701-735, 19991131999
2-) Modal tableaux with propagation rules and structural rulesMA Castilho, LF del Cerro, O Gasquet, A HerzigFundamenta Informaticae 32 (3-4), 281-297, 1997721997
3-) Lotrec: the generic tableau prover for modal and description logicsLF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F MassacciAutomated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001712001
4-) LoTREC: Logical tableaux research engineering companionO Gasquet, A Herzig, D Longin, M SahadeAutomated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005622005
5-) From classical to normal modal logicsO Gasquet, A HerzigProof theory of modal logic, 293-311, 1996601996