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

A Theoretical Framework of Rational and Emotional Agent for Ubiquitous Computing. - Xianwei Lai; Shanli Hu (ICAT Workshops, 2006)

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

An Anytime Coalition Restructuring Algorithm in an Open Environment. - Chao-Feng Lin; Shan-Li Hu; Xian-Wei Lai; Sheng-Fu Zheng; She-Xiong Su (ICIC (1), 2007)

Searching for Agent Coalition Using Particle Swarm Optimization and Death Penalty Function. - Sheng-Fu Zheng; Shan-Li Hu; Xian-Wei Lai; Chao-Feng Lin; She-Xiong Su (ICIC (1), 2007)

Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure. - She-Xiong Su; Shan-Li Hu; Sheng-Fu Zheng; Chao-Feng Lin; Xian-Wei Lai (PRIMA, 2007)

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

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)