† Institute of Software , School of Electronics Engineering and Computer Science , Key Laboratory of High Confidence Software Technologies ( Peking University) , Ministry of Education , Peking University , Beijing 100871 , China.
1 paper in the IJCAI proceedings
