Publications of
Olivier Gasquet, Bilal Said, François Schwarzentruber
A semantics for an event based generic tableau prover (student paper)
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway, 06/07/09-10/07/09, University of Oslo, pp. 1-15, July 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Reports/Tableaux2009RT.pdf
BibTeXEfficient Graph Rewriting System Using Local Event-driven Pattern Matching
In : International Workshop on Graph Computation Models 2008 – GCM 08, Leicester, 08/09/08.
Abstract URL : http://www.irit.fr/publis/LILAC/B.SAID_O.GASQUET_GCM08-FINAL.pdf
BibTeXTableaux with Dynamic Filtration for Layered Modal Logics
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Nicola Olivetti (Eds.), Springer-Verlag, LNAI 4548, pp. 107-118, 2007.
Réécriture de graphes pour la construction de modèles en logique modale
Master’s Thesis, Université de Toulouse, January 2010.
URL : http://www.irit.fr/publis/LILAC/Theses_et_habilitations/2010_Bilal_SAID_thesis-en-fr.pdf
BibTeX