Olivier Gasquet

Olivier Gasquet

Institut de Recherche en Informatique de 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-) Modal tableaux with propagation rules and structural rules Fundamenta Informaticae 32 (3-4), 281-297, 1997
2-) Lotrec: the generic tableau prover for modal and description logics Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
3-) From classical to normal modal logics Proof theory of modal logic, 293-311, 1996
4-) From classical to normal modal logicsO Gasquet, A HerzigProof theory of modal logic, 293-311, 1996631996
5-) LoTREC: Logical tableaux research engineering companionO Gasquet, A Herzig, D Longin, M SahadeAutomated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005622005