7 citations · 8 across the 3 of their papers we have counts for
Showing cs.MAShow all
2 papers · 1 filter
cs.MA2019
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…
cs.MA2019★ 1 cited
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…