The SPARK Agent Framework
BDI Agents: From Theory to Practice