Logics and Games for Imperfect Information in Multi-Agent Systems

Project Information

LoGIcInMAS

Grant agreement ID: 709188

DOI

10.3030/709188

Project closed

EC signature date 23 February 2016

Start date 1 April 2016

End date 31 March 2018

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 168 277,20

EU contribution

€ 168 277,20

Coordinated by

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II
Italy

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (2)

Changing observations in Epistemic Temporal Logic

Author(s): Aurèle Barrière, Bastien Maubert, Sasha Rubin and Aniello Murano
Published in: arXiv, 2018
Publisher: Cornell University

Quantified CTL with imperfect information

Author(s): Berthon, Raphaël; Maubert, Bastien; Murano, Aniello
Published in: arXiv, 2016
Publisher: Cornell University

Conference proceedings (3)

Strategy logic with imperfect information

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

Decidability results for ATL* with imperfect information and perfect recall

Author(s): Raphaël Berthon, Bastien Maubert and Aniello Murano
Published in: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017, Page(s) 1250--1258
Publisher: International Foundation for Autonomous Agents and Multiagent Systems

Reasoning about Knowledge and Strategies under Hierarchical Information

Author(s): Bastien Maubert and Aniello Murano
Published in: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018
Publisher: AAAI Press