An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems. - Xianwei Lai; Shanli Hu; Zhengyuan Ning (IAT, 2006)

Reasoning about Actions, Knowledge and Normative Ability. - Xianwei Lai; Shanli Hu; Zhengyuan Ning (IIP, 2006)

Simulated Annealing Algorithm for Independent Tasks Assignment in Heterogeneous Computing Systems. - Rongying Cai; Zhengyuan Ning; Lishan Li; Yiwen Zhong (ICNC (5), 2007)

Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic. - Zhengyuan Ning; Xianwei Lai; Shanli Hu; Qingqing Zhan (SNPD (2), 2007)

The Study of Neighborhood Structure of Tabu Search Algorithm for Traveling Salesman Problem. - Yiwen Zhong; Chao Wu; Lishan Li; Zhengyuan Ning (ICNC (1), 2008)

Adding Content-based 3D Model retrieval to semantic web. - Shiguo Huang; Mingquan Zhou; Guohua Geng; Zhengyuan Ning; Kegang Wang (ISKE, 2008)

Reasoning about belief, goal and exceptions in multi-agent cooperation logics. - Xianwei Lai; Shanli Hu; Zhengyuan Ning; Xiuli Wang (ISKE, 2008)

Alternating-time temporal belief and knowledge logic in multi-agent systems. - Zhengyuan Ning; Xianwei Lai; Shanli Hu; Xiuli Wang (ISKE, 2008)

N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems. - Zhengyuan Ning; Xianwei Lai; Shanli Hu; Xiuli Wang (NCM (1), 2008)