Characterizing Updates in Dynamic Epistemic Logic

Type de document :
Communication dans un congrès
Knowledge representation and reasoning, 2010, Toronto, Canada. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00556157
Contributeur : Guillaume Aucher <>
Soumis le : samedi 15 janvier 2011 - 16:01:18
Dernière modification le : samedi 15 janvier 2011 - 16:01:18

Identifiants

  • HAL Id : inria-00556157, version 1

Citation

Guillaume Aucher. Characterizing Updates in Dynamic Epistemic Logic. Knowledge representation and reasoning, 2010, Toronto, Canada. 2010. 〈inria-00556157〉

Partager

Métriques

Consultations de la notice

19