Prof Fangzhen Lin and his co-authors were awarded the Ray Reiter Best Paper Prize in the 10th International Conference on Principles of Knowledge Representation and Reasoning
Prof Fangzhen Lin, Computer Science and Engineering Department, 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, and 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.
About The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology (HKUST) (www.ust.hk) is a world-class research university that focuses on science, technology and business as well as humanities and social science. HKUST offers an international campus, and a holistic and interdisciplinary pedagogy to nurture well-rounded graduates with global vision, a strong entrepreneurial spirit and innovative thinking. HKUST attained the highest proportion of internationally excellent research work in the Research Assessment Exercise 2014 of Hong Kong’s University Grants Committee, and is ranked as the world’s best young university in Times Higher Education’s Young University Rankings 2019. Its graduates were ranked 16th worldwide and top in Greater China in Global University Employability Survey 2018.
