| |
| 2007 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | 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 |
| 1 | EE | Xianwei Lai, Shanli Hu, Zhengyuan Ning: Reasoning about Actions, Knowledge and Normative Ability. Intelligent Information Processing 2006: 43-52 |
| 1 | Shanli Hu | [1] [2] [3] |
| 2 | Xianwei Lai | [1] [2] [3] |
| 3 | Qingqing Zhan | [3] |