Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Vasconcelos, Davi Romero"'
Autor:
Vasconcelos, Davi Romero
Publikováno v:
EPTCS 375, 2023, pp. 38-53
This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This paper des
Externí odkaz:
http://arxiv.org/abs/2303.05864
Autor:
de Souza, Críston Pereira, de Araujo, Paulo Henrique Macedo, Costa, Iana Mary Gomes, de Vasconcelos, Davi Romero, Magalhães, Regis Pires
Publikováno v:
In Information Systems February 2023 112
In this work, we present a logic based on first-order CTL, namely Game Analysis Logic (GAL), in order to reason about games. We relate models and solution concepts of Game Theory as models and formulas of GAL, respectively. Precisely, we express exte
Externí odkaz:
http://arxiv.org/abs/1402.1377