A Dynamic Preference Logic for Reasoning about Agent Programming.

Marlo Souza Álvaro F. Moreira Renata Vieira John-Jules Ch. Meyer

Published in: BRACIS (2017)

Keyphrases

agent programming
game theoretic
agent systems
partially observable stochastic domains
mental states
dynamic logic
multi agent
logic programming
dynamic environments
operational semantics
cooperative
state space
heuristic search