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