Xianwei Lai

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Xianwei Lai, Shanli Hu, Zhengyuan Ning, Xiuli Wang
Reasoning about belief, goal and exceptions in multi-agent cooperation logics. ISKE (2008)
Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang
N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems. NCM (1) (2008)
Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang
Alternating-time temporal belief and knowledge logic in multi-agent systems. ISKE (2008)
Zhengyuan Ning, Xianwei Lai, Shanli Hu, Qingqing Zhan
Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic. SNPD (2) (2007)
Xianwei Lai, Shanli Hu, Zhengyuan Ning
Reasoning about Actions, Knowledge and Normative Ability. Intelligent Information Processing (2006)
Xianwei Lai, Shanli Hu
A Theoretical Framework of Rational and Emotional Agent for Ubiquitous Computing. ICAT Workshops (2006)
Xianwei Lai, Shanli Hu, Zhengyuan Ning
An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems. IAT (2006)