Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Souza, Marlo"'
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:
Souza, Marlo, Moreira, Álvaro
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 primarily used to specify the agent's belief state. While the connection of iterated AGM-like ope
Externí odkaz:
http://arxiv.org/abs/1912.10515
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
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFRGSUniversidade Federal do Rio Grande do SulUFRGS.
Dada a importância de agentes inteligentes e sistemas multiagentes na Ciência da Computação e na Inteligência Artificial, a programação orientada a agentes (AOP, do inglês Agent-oriented programming) emergiu como um novo paradigma para a cria
Externí odkaz:
http://hdl.handle.net/10183/150039
Publikováno v:
Biblioteca Digital de Teses e Dissertações da PUC_RSPontifícia Universidade Católica do Rio Grande do SulPUC_RS.
Made available in DSpace on 2015-04-14T14:50:01Z (GMT). No. of bitstreams: 1 448645.pdf: 990116 bytes, checksum: 3ad832cb853385fcbb55975315370396 (MD5) Previous issue date: 2012-03-19
The competitive environment has become more dynamic in the la
The competitive environment has become more dynamic in the la
Externí odkaz:
http://tede2.pucrs.br/tede2/handle/tede/5219
Autor:
Souza, Marlo, Moreira, Álvaro
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming August 2021 122
Publikováno v:
Repositório Institucional da PUC_RSPontifícia Universidade Católica do Rio Grande do SulPUC_RS.
Made available in DSpace on 2013-08-07T18:42:17Z (GMT). No. of bitstreams: 1 000448645-Texto+Completo-0.pdf: 990116 bytes, checksum: 3ad832cb853385fcbb55975315370396 (MD5) Previous issue date: 2012
The competitive environment has become more dyn
The competitive environment has become more dyn
Externí odkaz:
http://hdl.handle.net/10923/1457
Autor:
Costa, Laecio Araujo, Pereira Sanches, Leandro Manuel, Rocha Amorim, Ricardo José, Nascimento Salvador, Laís do, Santos Souza, Marlo Vieira dos
Publikováno v:
Informatics in Education - An International Journal. 19(3):361-397
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=896112