Zhengyuan Ning

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)
Yiwen Zhong, Chao Wu, Lishan Li, Zhengyuan Ning
The Study of Neighborhood Structure of Tabu Search Algorithm for Traveling Salesman Problem. ICNC (1) (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)
Shiguo Huang, Mingquan Zhou, Guohua Geng, Zhengyuan Ning, Kegang Wang
Adding Content-based 3D Model retrieval to semantic web. ISKE (2008)
Zhengyuan Ning, Xianwei Lai, Shanli Hu, Qingqing Zhan
Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic. SNPD (2) (2007)
Rongying Cai, Zhengyuan Ning, Lishan Li, Yiwen Zhong
Simulated Annealing Algorithm for Independent Tasks Assignment in Heterogeneous Computing Systems. ICNC (5) (2007)
Xianwei Lai, Shanli Hu, Zhengyuan Ning
Reasoning about Actions, Knowledge and Normative Ability. Intelligent Information Processing (2006)
Xianwei Lai, Shanli Hu, Zhengyuan Ning
An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems. IAT (2006)