Accéder directement au contenu

François Schwarzentruber

6
Documents
Identifiants chercheurs

Présentation

Publications

guillaume-aucher
Image document

Games with Communication: from Belief to Preference Change

Guillaume Aucher , Bastien Maubert , Sophie Pinchinat , François Schwarzentruber
Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
Communication dans un congrès hal-01194398v1
Image document

On the Complexity of Dynamic Epistemic Logic

Guillaume Aucher , François Schwarzentruber
TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India
Communication dans un congrès hal-00856468v1
Image document

Generalized DEL-sequents

Guillaume Aucher , Bastien Maubert , François Schwarzentruber
JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France
Communication dans un congrès hal-00856472v1
Image document

Tableau method and NEXPTIME-Completeness of DEL-Sequents

Guillaume Aucher , Bastien Maubert , François Schwarzentruber
Methods for Modalities (M4M), Nov 2011, Sevilla, Spain
Communication dans un congrès inria-00627642v2