我所博士研究生陈寅在人工智能国际最权威会议上发表学术论文！

Fangzhen Lin and Yin Chen，

"Discovering classes of strongly equivalent logic programs"，

In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), 

2005. To appear.