Zhengyuan Ning

According to our database, Zhengyuan Ning authored at least 9 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems.

Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang

Proceedings of the NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008, 2008

Alternating-time temporal belief and knowledge logic in multi-agent systems.

Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang

Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008

Reasoning about belief, goal and exceptions in multi-agent cooperation logics.

Xianwei Lai, Shanli Hu, Zhengyuan Ning, Xiuli Wang

Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008

Adding Content-based 3D Model retrieval to semantic web.

Shiguo Huang, Mingquan Zhou, Guohua Geng, Zhengyuan Ning, Kegang Wang

Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008

The Study of Neighborhood Structure of Tabu Search Algorithm for Traveling Salesman Problem.

Yiwen Zhong, Chao Wu, Lishan Li, Zhengyuan Ning

Proceedings of the Fourth International Conference on Natural Computation, 2008

2007

Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic.

Zhengyuan Ning, Xianwei Lai, Shanli Hu, Qingqing Zhan

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Simulated Annealing Algorithm for Independent Tasks Assignment in Heterogeneous Computing Systems.

Rongying Cai, Zhengyuan Ning, Lishan Li, Yiwen Zhong

Proceedings of the Third International Conference on Natural Computation, 2007

2006

Reasoning about Actions, Knowledge and Normative Ability.

Xianwei Lai, Shanli Hu, Zhengyuan Ning

Proceedings of the Intelligent Information Processing III, 2006

An Improved Formal Framework of Actions, Individual Intention and Group Intention for Multi-agent Systems.

Xianwei Lai, Shanli Hu, Zhengyuan Ning

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006