Hai-Bo Yu

Integrating orientation, distance and time for qualitative spatio-temporal reasoning

Qi Xie, Da-You Liu, Qiang-Yuan Yu, 2004, Proceedings of 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.04EX826).

A Description Logic Method of Formalizing the Specification of Multi-Agent System

Hai-Bo Yu, Ji-Gui Sun, Hai-Yan Che, 2006, 2006 International Conference on Machine Learning and Cybernetics.