2007 |
5 | 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 |
4 | 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 |
3 | EE | Xianwei Lai,
Shanli Hu:
A Theoretical Framework of Rational and Emotional Agent for Ubiquitous Computing.
ICAT Workshops 2006: 546-551 |
2 | EE | Xianwei Lai,
Shanli Hu,
Zhengyuan Ning:
Reasoning about Actions, Knowledge and Normative Ability.
Intelligent Information Processing 2006: 43-52 |
1 | EE | Youmin Ke,
Shanli Hu:
A Concurrent Agent Model Based on Twin-Subset Semantic.
PRIMA 2006: 490-495 |