Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems

Type de document :
Article dans une revue
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2016, 30 (5), pp.793 - 825. 〈10.1007/s10458-015-9306-4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01624691
Contributeur : François Schwarzentruber <>
Soumis le : jeudi 26 octobre 2017 - 16:21:03
Dernière modification le : mercredi 12 septembre 2018 - 17:46:03

Identifiants

Collections

Citation

Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2016, 30 (5), pp.793 - 825. 〈10.1007/s10458-015-9306-4〉. 〈hal-01624691〉

Partager

Métriques

Consultations de la notice

62