Author details

Liang Chang
Affiliation
Guilin University of Electronic Technology Guangxi Key Laboratory of Trusted Software, Guilin, China
Biography
Liang Chang received the PhD degree in computer science from the Institute of Computing Technology, Chinese Academy of Sciences, in 2008. He is currently a professor in the School of Computer Science and Engineering, Guilin University of Electronic Technology, China. His research interests include knowledge representation and reasoning, formal methods, and intelligent planning.(Based on document published on 29 September 2015). Author's Published Works