Affiliation: | 1. College of Computer Science and Technology, Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China;2. Department of Computer Science and Technology, Zhuhai Laboratory of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Zhuhai College of Jilin University, Zhuhai 519041, China;3. Department of Computing, University of Oviedo, Campus of Gijón, 33204, Spain;4. Exploration and Development Research Institute, Daqing Oilfield Company, CNPC, Daqing 163712, China;5. Talent Development Institute, Daqing Oilfield Company, CNPC, Daqing 163000, China |