One hunderd prisoners and a lightbulb --- logic and computation

Hans Van Ditmarsch Jan Van Eijck 1 William Wu
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
F. Lin and U. Sattler. Proceedings of KR 2010, Jan 2010, Toronto, Canada. AAAI Press, 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00537127
Contributeur : Jurgen Vinju <>
Soumis le : mercredi 17 novembre 2010 - 16:53:46
Dernière modification le : mercredi 14 décembre 2016 - 01:06:13

Identifiants

  • HAL Id : inria-00537127, version 1

Collections

Citation

Hans Van Ditmarsch, Jan Van Eijck, William Wu. One hunderd prisoners and a lightbulb --- logic and computation. F. Lin and U. Sattler. Proceedings of KR 2010, Jan 2010, Toronto, Canada. AAAI Press, 2010. 〈inria-00537127〉

Partager

Métriques

Consultations de la notice

86