Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Logics and Games for Imperfect Information in Multi-Agent Systems

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Changing observations in Epistemic Temporal Logic

Auteurs: Aurèle Barrière, Bastien Maubert, Sasha Rubin and Aniello Murano
Publié dans: arXiv, 2018
Éditeur: Cornell University

Quantified CTL with imperfect information

Auteurs: Berthon, Raphaël; Maubert, Bastien; Murano, Aniello
Publié dans: arXiv, 2016
Éditeur: Cornell University

Strategy logic with imperfect information (s’ouvre dans une nouvelle fenêtre)

Auteurs: Raphael Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Publié dans: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-12, ISBN 978-1-5090-3018-7
Éditeur: IEEE
DOI: 10.1109/LICS.2017.8005136

Decidability results for ATL* with imperfect information and perfect recall

Auteurs: Raphaël Berthon, Bastien Maubert and Aniello Murano
Publié dans: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017, Page(s) 1250--1258
Éditeur: International Foundation for Autonomous Agents and Multiagent Systems

Reasoning about Knowledge and Strategies under Hierarchical Information

Auteurs: Bastien Maubert and Aniello Murano
Publié dans: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018
Éditeur: AAAI Press

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0