Publications

.bib


  • . . p. .
    [bibtex]

    Conference articles without published proceedings

    1. Philippe Balbiani, Olivier Gasquet, François Schwarzentruber. Knowledge reasoning in Lineland. Dans : Advances in Modal Logic, Moscow, 24/08/2010-27/08/2010.
    2. Philippe Balbiani, Olivier Gasquet, François Schwarzentruber. Représentation des connaissances dans flatland. Dans : RTE (Représentation du Temps et de l'Espace) dans RFIA 2010 (Représentation des Formes et Intelligence Artificielle), Caen, 19/01/2010-22/01/2010.  
    3. 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/2009-10/07/2009, University of Oslo, p. 1-15, juillet 2009.
    4. François Schwarzentruber. Knowledge about lights along a line. Dans : FAMAS'09, Turino, Italia, 07/09/2009-11/09/2009.
    5. François Schwarzentruber. A non-normal geometric logic related to the coalition logic. Dans : DGL 2008, ILLC, Amsterdam, 30/06/2008-02/07/2008.

    Reports

    1. Olivier Gasquet, Bilal Said, François Schwarzentruber. A semantics for an event based generic tableau prover (long version). Rapport de recherche, IRIT/RT--2009-2--FR, IRIT, avril 2009.
    2. François Schwarzentruber. Décidabilité et complexité de la logique normale des coalitions. Rapport de Master, IRIT, juin 2007.
    3. François Schwarzentruber. Seeing, knowing, doing: case studies in modal logic. Thèse de doctorat, Université Paul Sabatier, décembre 2010.