Davi Romero de Vasconcelos
Davi Romero de Vasconcelos
Professor do Campus de Quixadá da Universidade Federal do Ceará
Vahvistettu sähköpostiosoite verkkotunnuksessa ufc.br
Nimike
Viittaukset
Viittaukset
Vuosi
Análise de estratégias utilizando verificação formal de modelos
DR de Vasconcelos
PUC-RJ, Rio de Janeiro, 2003
82003
Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study
GMH SILVA, A Rademaker, DR VASCONCELOS, FN AMARAL, ...
The 3rd Australasian Ontology Workshop (AOW 2007), 2007, Gold Coast …, 2007
62007
LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos.
DR de Vasconcelos
Pontifical Catholic University of Rio de Janeiro, Brazil, 2007
42007
Reasoning about games via a first-order modal model checking approach
DR de Vasconcelos, EH Haeusler
arXiv preprint arXiv:1402.1377, 2014
32014
A logic view of playing games
DR Vasconcelos, EH Haeusler
Frontiers in Artificial Intelligence and Applications 101, 67-80, 2003
32003
Defining agents via strategies: Towards a view of MAS as games
DR Vasconcelos, EH Haeusler, MRF Benevides
Workshop on Radical Agent Concepts, 299-311, 2005
12005
Reasoning about Games Via Temporal Logics: A Model Checking Approach
DR de Vasconcelos, EH Haeusler, MVSP Aragão, MF Benevides
PUC, 2004
12004
Música e Autômato: uma receita de nomeação de acordes
LIB Freitas
2012
Extração de fatores latentes e análise de clusters em dados sobre egressos da UFC/Quixadá
C de Souza Macêdo, CP Souza, LIB Freitas, DR de Vasconcelos
Quantifying in extensive games
DR de Vasconcelos, EH Haeusler
equilibrium 5, 72, 0
Towards an Implementation Theory via a Game Logic Approach
DR de Vasconcelos, EH Haeusler
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–11