The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olivier Gasquet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Olivier Gasquet, Andreas Herzig
    Translating Inaccessible Worlds Logic into Bimodal Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:145-150 [Conf]
  7. 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]
  8. Olivier Gasquet, Andreas Herzig
    Translation-Based Deduction Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:399-408 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Olivier Gasquet, Bilal Said
    Tableaux with Dynamic Filtration for Layered Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:107-118 [Conf]

  19. Knowledge in lineland. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002