Search the dblp DataBase
Olivier Gasquet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal tableaux based on graph-rules. [Citation Graph (0, 0)][DBLP]
RelMiCS, 1998, pp:37-42 [Conf] - Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completeness proof. [Citation Graph (0, 0)][DBLP]
Advances in Modal Logic, 2006, pp:167-186 [Conf] - Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination. [Citation Graph (0, 0)][DBLP]
We Will Show Them! (1), 2005, pp:587-614 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
IJCAR, 2001, pp:453-458 [Conf] - Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Modal Tableaux for Reasoning About Actions and Plans. [Citation Graph (0, 0)][DBLP]
ECP, 1997, pp:104-116 [Conf] - Olivier Gasquet, Andreas Herzig
Translating Inaccessible Worlds Logic into Bimodal Logic. [Citation Graph (0, 0)][DBLP]
ECSQARU, 1993, pp:145-150 [Conf] - Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste
Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 2002, pp:143-147 [Conf] - Olivier Gasquet, Andreas Herzig
Translation-Based Deduction Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
IPMU, 1994, pp:399-408 [Conf] - Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion. [Citation Graph (0, 0)][DBLP]
TABLEAUX, 2005, pp:318-322 [Conf] - Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1997, v:32, n:3-4, pp:281-297 [Journal] - Luis Fariñas del Cerro, Olivier Gasquet
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1999, v:40, n:4, pp:317-333 [Journal] - Olivier Gasquet
On the Influence of Confluence in Modal Logics. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2006, v:70, n:3, pp:227-250 [Journal] - Olivier Gasquet
A New Incompleteness Result in Kripke Semantics. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1995, v:24, n:4, pp:407-415 [Journal] - Luis Fariñas del Cerro, Olivier Gasquet
A General Framework for Pattern-Driven Modal Tableaux. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2002, v:10, n:1, pp:51-83 [Journal] - Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste
Forms of meaning, meaning of forms. [Citation Graph (0, 0)][DBLP]
J. Exp. Theor. Artif. Intell., 2002, v:14, n:1, pp:61-74 [Journal] - Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Formalizing Action and Change in Modal Logic I: the frame problem. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1999, v:9, n:5, pp:701-735 [Journal] - Olivier Gasquet
Predicate Modal Logics Do Not Mix Very Well. [Citation Graph (0, 0)][DBLP]
Math. Log. Q., 1998, v:44, n:, pp:45-49 [Journal] - Olivier Gasquet, Bilal Said
Tableaux with Dynamic Filtration for Layered Modal Logics. [Citation Graph (0, 0)][DBLP]
TABLEAUX, 2007, pp:107-118 [Conf]
Knowledge in lineland. [Citation Graph (, )][DBLP]
Search in 0.020secs, Finished in 0.021secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002