Bordini, Rafael H. "Model checking agentspeak" Proceedings of the second international joint conference on Autonomous agents and multiagent systems Melbourne, Australia SESSION: Agent decision making pp409-416 2003

Languages mentioned

• AgentSpeak {1994}