322 citations · 411 across the 6 of their papers we have counts for
7 papers
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
Marlo Souza, Álvaro Moreira, Renata Vieira
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 li…
Tractable reasoning about Agent Programming in Dynamic Preference Logic
Marlo Souza, Álvaro Moreira, Renata Vieira
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. Mor…
A Dynamic Preference Logic for reasoning about Agent Programming
Marlo Souza, Álvaro Moreira, Renata Vieira +1
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 pos…
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
Marlo Souza, Álvaro Moreira, Renata Vieira
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…
Evaluating the Complementarity of Taxonomic Relation Extraction Methods Across Different Languages
Roger Granada, Renata Vieira, Cassia Trojahn +1
Modern information systems are changing the idea of "data processing" to the idea of "concept processing", meaning that instead of processing words, such systems process semantic c…
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
R. H. Bordini, A. F. Moreira, R. Vieira +1
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication…