Publications de
Olivier Gasquet, Bilal Said, François Schwarzentruber
A semantics for an event based generic tableau prover (student paper)
Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway, 06/07/09-10/07/09, University of Oslo, p. 1-15, juillet 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Reports/Tableaux2009RT.pdf
BibTeXEfficient Graph Rewriting System Using Local Event-driven Pattern Matching
Dans : International Workshop on Graph Computation Models 2008 – GCM 08, Leicester, 08/09/08.
Résumé Accès : http://www.irit.fr/publis/LILAC/B.SAID_O.GASQUET_GCM08-FINAL.pdf
BibTeXTableaux with Dynamic Filtration for Layered Modal Logics
Dans : 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, p. 107-118, 2007.
Réécriture de graphes pour la construction de modèles en logique modale
Thèse de doctorat, Université de Toulouse, janvier 2010.
Accès : http://www.irit.fr/publis/LILAC/Theses_et_habilitations/2010_Bilal_SAID_thesis-en-fr.pdf
BibTeX
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Kripke’s Worlds – An introduction to modal logics via tableaux, Springer-Verlag, Studies in Universal Logic, janvier 2014.
Résumé Accès : http://dx.doi.org/10.1007/978-3-7643-8504-0
BibTeX