眭跃飞 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论招生方向大规模知识处理的理论基础，知识表示学历中科院软件所 19860201--19880601 研究生毕业学位中科院软件所 19860201--19880601 理学博士学位

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1] K.Hu, Y.Sui, Y.Lu, J.Wang and C.Shi, Concept approximations in concept lattices, in: the Proceedings of the 5-th Pacific Asia Conference on Knowledge Discovery and Datamining (PAKDD2001), LNCS 2035, 167-173. [2] Zhang, Z., Sui, Y. and Cao, C., Description of fuzzy first-order modal logic based on constant domain semantics, in: D. Slezak, et al.(Eds.): RSFDGrC 2005, LNAI 3641, 642-650. [3] Y. Sun and Y. Sui, The Ontology Revision, in Proc.of International Joint Conference of Artificial Intelligence, 2005, 1583-1584. [4] Y. Sun and Y. Sui, Translating Ontologies to Default Logic, in Proc.of 2th IFIP Conference on Artificial Intelligence Applications and Innovations, pp. 135-144, 2005. [5] Y. Sun and Y. Sui, A Logical Foundation for Ontology Representation in NKI, in Proc.of IEEE International Conference on Natural Language Processing and Knowledge Engineering, 2005. [6] Sun, Y. and Sui, Y., Default description logics with reasoning inference rules, in Y. Y. et al.(eds.), Fifth IEEE International Conference on Cognitive Informatics (ICCI 2006),280-285. [7] Cao, C., Sui, Y. and Zhang, Z., The rough logic and roughness of logical theories, Proc. of the first Int. Conf. on Rough Set and Knowledge Technology (RSKT 2006). LNAI 4062, Chongqing, [8] Jiang, F., Sui, Y. and Cao, C., An Ontology-based First-order Modal Logic. In: Proc. of the 5th Int. Conf. on Rough Set and Knowledge Technology (RSCTC 2006). LNAI 4259, Kobe, Japan (2006) 517-526 P.R. China (2006) 610-617. [9] Y. Lei and Y. Sui, The Logical Operations on Relations, Scales and Concept Lattices. SKG2009 (Regular Paper) [10] Y.Shen, Y. Sui and J. Wang, The Dual Spatial Connectives of Separation Logic. KSEM 2009: 90-99