Logics and Games for Imperfect Information in Multi-Agent Systems

Informations projet

LoGIcInMAS

N° de convention de subvention: 709188

DOI

10.3030/709188

Projet clôturé

Date de signature de la CE 23 Février 2016

Date de début 1 Avril 2016

Date de fin 31 Mars 2018

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 168 277,20

Contribution de l’UE

€ 168 277,20

Coordonné par

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II
Italy

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

Other (2)

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

Conference proceedings (3)

Strategy logic with imperfect information

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