Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Benevides, Mário"'
Autor:
Machado, Vitor, Benevides, Mario
This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic (LTL), leveraging the power of existing model checkers for the analysis of social networks. We provide a short literature overview, an
Externí odkaz:
http://arxiv.org/abs/2103.07392
This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurr
Externí odkaz:
http://arxiv.org/abs/1902.01164
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2022 125
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Repositório Institucional da UFCUniversidade Federal do CearáUFC.
BENEVIDES, Mário Henrique Castro. A política das falas e o tempo das imagens: narrativas governamentais no Ceará. 2014. 203f. – Tese (Doutorado) – Universidade Federal do Ceará, Programa de Pós-graduação em Sociologia, Fortaleza (CE), 2014
Externí odkaz:
http://www.repositorio.ufc.br/handle/riufc/7839
Publikováno v:
Repositório Institucional da UFCUniversidade Federal do CearáUFC.
BENEVIDES, Mário Henrique Castro. Sertões em guerra: civilização e mudança social em Euclydes da Cunha. 2009. 134f. Dissertação (Mestrado em Sociologia) – Universidade Federal do Ceará, Departamento de Ciências Sociais, Programa de Pós-Gr
Externí odkaz:
http://www.repositorio.ufc.br/handle/riufc/1539
Autor:
Machado, Vitor, Benevides, Mario
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 March 2020 348:105-123
Publikováno v:
EPTCS 144, 2014, pp. 73-84
In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds. To achieve
Externí odkaz:
http://arxiv.org/abs/1404.0086
Publikováno v:
In Electronic Notes in Theoretical Computer Science 16 August 2019 344:67-82