322 citations · 411 across the 6 of their papers we have counts for
3 papers · 1 filter
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…