Zobrazeno 1 - 10
of 636
pro vyhledávání: '"Vieira, Renata A."'
AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expre
Externí odkaz:
http://arxiv.org/abs/2101.01676
Autor:
Reis, Marcela Gomes, Guimarães G. Moreira, Luíz Felipe, Siqueira Veloso de Andrade Carvalho, Luiza, Tianeze de Castro, Caroline, Adrielle Lima Vieira, Renata, Sernizon Guimarães, Nathalia
Publikováno v:
In Obesity Medicine January 2024 45
Autor:
Kobylarz, Jhonatan, Santos, Henrique D. P. dos, Barletta, Felipe, da Silva, Mateus Cichelero, Vieira, Renata, Morales, Hugo M. P., Rocha, Cristian da Costa
Early recognition of clinical deterioration is one of the main steps for reducing inpatient morbidity and mortality. The challenging task of clinical deterioration identification in hospitals lies in the intense daily routines of healthcare practitio
Externí odkaz:
http://arxiv.org/abs/2006.05514
Publikováno v:
In Small Ruminant Research December 2023 229
While several BDI logics have been proposed in the area of Agent Programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. More yet, the reasoning problems in these logics, being based on modal lo
Externí odkaz:
http://arxiv.org/abs/1911.05908
In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over propositional formulas, here called p
Externí odkaz:
http://arxiv.org/abs/1911.05907
AGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been largely used to specify the agent's belief state - whether representing the agent's `explicit bel
Externí odkaz:
http://arxiv.org/abs/1902.06178
Autor:
Vieira Renata Passos Machado, dos Santos Mangueira Milena Carolina, Alves Francisco Régis Vieira, Catarino Paula Maria Machado Cruz
Publikováno v:
Annales Mathematicae Silesianae, Vol 37, Iss 1, Pp 117-137 (2023)
In order to explore the Leonardo sequence, the process of complex-ification of this sequence is carried out in this work. With this, the Gaussian and octonion numbers of the Leonardo sequence are presented. Also, the recurrence, generating function,
Externí odkaz:
https://doaj.org/article/d1c2cf48fb8146fa814aac8578c0ffb8
Autor:
da Silva, Diego Pinheiro, da Rosa Fröhlich, William, de Mello, Blanda Helena, Vieira, Renata, Rigo, Sandro José
Publikováno v:
In Informatics in Medicine Unlocked 2023 43
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.