2007 |
19 | EE | Olivier Gasquet,
Bilal Said:
Tableaux with Dynamic Filtration for Layered Modal Logics.
TABLEAUX 2007: 107-118 |
2006 |
18 | EE | Olivier Gasquet,
Andreas Herzig,
Mohamad Sahade:
Terminating modal tableaux with simple completeness proof.
Advances in Modal Logic 2006: 167-186 |
17 | EE | Olivier Gasquet:
On the Influence of Confluence in Modal Logics.
Fundam. Inform. 70(3): 227-250 (2006) |
2005 |
16 | EE | Olivier Gasquet,
Andreas Herzig,
Dominique Longin,
Mohamad Sahade:
LoTREC: Logical Tableaux Research Engineering Companion.
TABLEAUX 2005: 318-322 |
15 | | Luis Fariñas del Cerro,
Olivier Gasquet,
Andreas Herzig,
Mohamad Sahade:
Modal Tableaux: Completeness vs. Termination.
We Will Show Them! (1) 2005: 587-614 |
2002 |
14 | | Karine Duvignau,
Olivier Gasquet,
Bruno Gaume,
Marie-Dominique Gineste:
Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model.
FLAIRS Conference 2002: 143-147 |
13 | | Bruno Gaume,
Karine Duvignau,
Olivier Gasquet,
Marie-Dominique Gineste:
Forms of meaning, meaning of forms.
J. Exp. Theor. Artif. Intell. 14(1): 61-74 (2002) |
12 | EE | Luis Fariñas del Cerro,
Olivier Gasquet:
A General Framework for Pattern-Driven Modal Tableaux.
Logic Journal of the IGPL 10(1): 51-83 (2002) |
2001 |
11 | EE | Luis Fariñas del Cerro,
David Fauthoux,
Olivier Gasquet,
Andreas Herzig,
Dominique Longin,
Fabio Massacci:
Lotrec : The Generic Tableau Prover for Modal and Description Logics.
IJCAR 2001: 453-458 |
1999 |
10 | | Luis Fariñas del Cerro,
Olivier Gasquet:
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.
Fundam. Inform. 40(4): 317-333 (1999) |
9 | EE | Marcos A. Castilho,
Olivier Gasquet,
Andreas Herzig:
Formalizing Action and Change in Modal Logic I: the frame problem.
J. Log. Comput. 9(5): 701-735 (1999) |
1998 |
8 | | Marcos A. Castilho,
Luis Fariñas del Cerro,
Olivier Gasquet,
Andreas Herzig:
Modal tableaux based on graph-rules.
RelMiCS 1998: 37-42 |
7 | | Olivier Gasquet:
Predicate Modal Logics Do Not Mix Very Well.
Math. Log. Q. 44: 45-49 (1998) |
1997 |
6 | | Marcos A. Castilho,
Olivier Gasquet,
Andreas Herzig:
Modal Tableaux for Reasoning About Actions and Plans.
ECP 1997: 104-116 |
5 | | Marcos A. Castilho,
Luis Fariñas del Cerro,
Olivier Gasquet,
Andreas Herzig:
Modal Tableaux with Propagation Rules and Structural Rules.
Fundam. Inform. 32(3-4): 281-297 (1997) |
1996 |
4 | EE | Olivier Gasquet:
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics.
Logic Journal of the IGPL 4(3): 417-426 (1996) |
1995 |
3 | | Olivier Gasquet:
A New Incompleteness Result in Kripke Semantics.
Fundam. Inform. 24(4): 407-415 (1995) |
1994 |
2 | | Olivier Gasquet,
Andreas Herzig:
Translation-Based Deduction Methods for Modal Logics.
IPMU 1994: 399-408 |
1993 |
1 | | Olivier Gasquet,
Andreas Herzig:
Translating Inaccessible Worlds Logic into Bimodal Logic.
ECSQARU 1993: 145-150 |