Publications of
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completenness proof
In : Advances in Modal Logic (AiML 2006), Noosa, Sunshine Coast, Queensland, Australia, 25/09/06-28/09/06, Vol. 6, Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.), College Publications, pp. 167-186, September 2006.
Abstract URL : http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
LoTREC: An environment for experiencing Kripke Semantics
In : International Congress on Tools for Teaching Logic (ICTTL 2006), Salamanca, Spain, 26/09/06-30/09/06, Maria Manzano, Belén Pérez Lancho, Ana Gil (Eds.), University of Salamanca, pp. 41-44, September 2006.
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Une plateforme de raisonnement par tableaux
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Tours, France, 25/01/06-27/01/06, Association Française pour la Reconnaissance et l’Interprétation des Formes (AFRIF), (on line), 2006.
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion (regular paper)
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, 14/09/05-17/09/05, Vol. 3702, Bernhard Beckert (Eds.), Springer-Verlag, LNCS, pp. 318-322, September 2005.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2005_Gasquet_et_al_TABLEAUX.pdf – https://doi.org/10.1007/11554554_25
BibTeXLoTREC : un démonstrateur générique par tableaux
In : 7èmes Rencontres des Jeunes Chercheurs en IA (RJCIA 2005), Nice, 31/05/05-03/06/05, Emmanuel Guéré (Eds.), AFIA, pp. 1-4, May 2005.
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination
In : We Will Show Them: Essays in Honour of Dov Gabbay. Sergei Artemov, Howard Barringer, Luis Lamb, John Woods (Eds.) , College Publications (ISBN 1904987117), London, pp. 587-614, Vol. 1, 2005.