Yang Bo Qin Zheng Yu Fan Qin Jun The Soundness and Completeness Proof of Agent Intention in AgentSpeak. 515-518 2007 conf/webi/2007 Web Intelligence http://dx.doi.org/10.1109/WI.2007.102 db/conf/webi/webi2007.html#BoZFJ07