Message Passing in a Dynamic Epistemic Logic Setting

Jan Van Eijck 1 Floor Sietsma 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Communication dans un congrès
Apt, K.R. TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, Jul 2011, New York, United States. ACM, pp.212--220, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00645304
Contributeur : Jurgen Vinju <>
Soumis le : dimanche 27 novembre 2011 - 20:30:31
Dernière modification le : mercredi 14 décembre 2016 - 01:07:15

Identifiants

  • HAL Id : hal-00645304, version 1

Collections

Citation

Jan Van Eijck, Floor Sietsma. Message Passing in a Dynamic Epistemic Logic Setting. Apt, K.R. TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, Jul 2011, New York, United States. ACM, pp.212--220, 2011. 〈hal-00645304〉

Partager

Métriques

Consultations de la notice

77