Automated Test Case Generation for BDI Agents
Some Remarks on the Semantics of FIPA's Agent Communication Language
Agent Programming in 3APL
Multiagent Systems