A Dynamic Preference Logic for reasoning about Agent Programming.

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

Published in: CoRR (2019)

Keyphrases

agent programming
dynamic logic
situation calculus
agent systems
partially observable stochastic domains
multi agent
game theoretic
operational semantics
multi agent planning
partial observability
description logics
logic programming
intelligent agents
mental states