Dr. ZHANG Yuanlin from Texas Tech University was invited to give a speech at Institute of Intelligent Machines, Hefei Institutes of Physical Science, on July 22nd, 2010. The title of the speech was “ Hybrid Knowledge Representation and Reasoning”. Prof. GE presided at the Innovation Forum.

Dr. ZHANG first reviewed the main concepts of Constraint Programming[CP] and Answer Set Programming[ASP]. Then he introduced the constraint propagation algorithm for CP which was designed by himself and gave some vivid examples for its application. He also introduced a new language system which is available for the representation and reasoning of both constraint and commonsense knowledge. Many students and professors from Institute of Intelligent Machines attended the panel discussion.

Dr.ZHANG received his Ph.D from National University of Singapore in 2003. Now he is an assistant professor in the department of Computer Science, Texas Tech University. Some of his works were published on top international journals such as Artificial Intelligence, International Joint Conference on Artificial Intelligence.

Dr. ZHANG was giving the speech