The Ray Reiter Best Paper Prize
The 10th International Conference on Principles of Knowledge Representation and Reasoning
Prof Fangzhen Lin
Congratulations to Prof Fangzhen Lin! He was awarded the Ray Reiter Best Paper Prize in the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006). The paper "First-Order Loop Formulas for Normal Logic Programs" is written by him and his co-authors, Yin Chen, Yisong Wang, Mingyi Zhang.
KR2006 took place in the Lake District of the UK, north of Manchester, on June 2-5 2006. The prize they received is sponsored by Artificial Intelligence: An International Journal.
Knowledge Representation and Reasoning is a vibrant and exciting field of human endeavor, and a key driver of innovation in computer science. It has also lead to significant advances in practical applications from artificial intelligence to software engineering. The KR conference series is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
More information about the Conference KR2006.