Model checking AgentSpeak (0)

by R H Bordini, M Fisher, C Pardavila, M Wooldridge
Venue:In Proc. of the 2 nd Int. Joint Conf. On Autonomous Agents and Multi Agent Systems, 2003a