Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols.

Tim Miller Peter McBurney

Published in: Comput. Intell. (2011)

Keyphrases

agent interactions
propositional dynamic logic
multi agent systems
software agents
decision making
training data
cooperative
spatial reasoning
dynamic logic