| 2007 |
|---|
| 4 | EE | Zhengyuan Ning,
Xianwei Lai,
Shanli Hu,
Qingqing Zhan:
Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic.
SNPD (2) 2007: 205-210 |
| 2006 |
|---|
| 3 | EE | Xianwei Lai,
Shanli Hu,
Zhengyuan Ning:
An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems.
IAT 2006: 420-423 |
| 2 | EE | Xianwei Lai,
Shanli Hu:
A Theoretical Framework of Rational and Emotional Agent for Ubiquitous Computing.
ICAT Workshops 2006: 546-551 |
| 1 | EE | Xianwei Lai,
Shanli Hu,
Zhengyuan Ning:
Reasoning about Actions, Knowledge and Normative Ability.
Intelligent Information Processing 2006: 43-52 |
