Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Logics and Games for Imperfect Information in Multi-Agent Systems

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Changing observations in Epistemic Temporal Logic

Autores: Aurèle Barrière, Bastien Maubert, Sasha Rubin and Aniello Murano
Publicado en: arXiv, 2018
Editor: Cornell University

Quantified CTL with imperfect information

Autores: Berthon, Raphaël; Maubert, Bastien; Murano, Aniello
Publicado en: arXiv, 2016
Editor: Cornell University

Strategy logic with imperfect information (se abrirá en una nueva ventana)

Autores: Raphael Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Publicado en: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Página(s) 1-12, ISBN 978-1-5090-3018-7
Editor: IEEE
DOI: 10.1109/LICS.2017.8005136

Decidability results for ATL* with imperfect information and perfect recall

Autores: Raphaël Berthon, Bastien Maubert and Aniello Murano
Publicado en: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017, Página(s) 1250--1258
Editor: International Foundation for Autonomous Agents and Multiagent Systems

Reasoning about Knowledge and Strategies under Hierarchical Information

Autores: Bastien Maubert and Aniello Murano
Publicado en: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018
Editor: AAAI Press

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0