Yang Bo, Qin Zheng, Yu Fan, Qin Jun. The Soundness and Completeness Proof of Agent Intention in AgentSpeak. In 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings. pages 515-518, IEEE Computer Society, 2007. [doi]
Abstract is missing.