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…