已发表成果:
WOK 论文 2 篇;中文核心 3 篇;其它论文 1 篇;图书及章节 1 本;
A knowledge base with dependencies
Modeling multi-level intrusions in Z. language
一个带有依赖关系的知识库
厦门大学学报(自然科学版),0438-0479,2011.一种基于同例和异例的溯因推理
厦门大学学报(自然科学版),0438-0479,2008-07-15.基于直觉主义对哥德尔不完全性定理的评论——从维特根斯坦的评论开始
厦门大学学报(哲学社会科学版),0438-0460,2008-03-28.本科计算机教育中数理逻辑课程改革浅析
工业和信息化教育,2095-5065,2013-12-15.人类智慧读本. (专著). 合肥工业大学出版社, 2013年01月.