Key Laboratory of Symbolic Computation and Knowledge Engineering ( Jilin University) , Ministry of Education , China; College of Computer Science and Technology , Jilin University , China; College of Software , Jilin University , China
1 paper in the IJCAI proceedings