7 citations · 8 across the 3 of their papers we have counts for
5 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…
Bringing Belief Base Change into Dynamic Epistemic Logic
Marlo Souza, Álvaro Moreira
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 t…
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…