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