- 4
- 1
- 1
François Schwarzentruber
6
Documents
Identifiants chercheurs
- francois-schwarzentruber
- 0000-0002-1228-4333
- IdRef : 158488911
Présentation
Publications
- 6
- 3
- 1
- 1
- 1
- 2
- 2
- 1
|
Games with Communication: from Belief to Preference ChangePrinciples and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
Communication dans un congrès
hal-01194398v1
|
|
On the Complexity of Dynamic Epistemic LogicTARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India
Communication dans un congrès
hal-00856468v1
|
|
Generalized DEL-sequentsJELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France
Communication dans un congrès
hal-00856472v1
|
|
Tableau method and NEXPTIME-Completeness of DEL-SequentsMethods for Modalities (M4M), Nov 2011, Sevilla, Spain
Communication dans un congrès
inria-00627642v2
|
|
On the Complexity of Dynamic Epistemic Logic (Extended Version)[Research Report] RR-8164, INRIA. 2012
Rapport
hal-00759544v1
|
|
Generalized DEL-sequents[Research Report] RR-8012, INRIA. 2012, pp.23
Rapport
hal-00716074v1
|