Search the dblp DataBase
Yuefei Sui :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jinxin Si , Xiaoli Yue , Cungen Cao , Yuefei Sui PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2004, pp:- [Conf ] Guoshun Hao , Shilong Ma , Jianghua Lv , Yuefei Sui A Service-Oriented Data Integration Architecture and the Integrating Tree. [Citation Graph (0, 0)][DBLP ] GCC, 2006, pp:526-530 [Conf ] Shilong Ma , Yuefei Sui , Ke Xu The Limits of Horn Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 2002, pp:467- [Conf ] Yu Sun , Yuefei Sui The Ontology Revision. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1583-1584 [Conf ] Yuefei Sui , Ju Wang , Jian Yuncheng The Entropy of Rough Relations in Rough Relational Databases. [Citation Graph (0, 0)][DBLP ] ISAS-SCI (1), 2001, pp:566-570 [Conf ] Keyun Hu , Yuefei Sui , Ju Wang , Yuchang Lu Rough Set Theory under the Similarity Relations. [Citation Graph (0, 0)][DBLP ] ISAS-SCI (1), 2001, pp:405-409 [Conf ] Jinxin Si , Cungen Cao , Yuefei Sui , Xiaoli Yue , Nengfu Xie ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. [Citation Graph (0, 0)][DBLP ] KES, 2004, pp:263-269 [Conf ] Keyun Hu , Yuefei Sui , Yuchang Lu , Ju Wang , Chunyi Shi Concept Approximation in Concept Lattice. [Citation Graph (0, 0)][DBLP ] PAKDD, 2001, pp:167-173 [Conf ] Feng Jiang , Yuefei Sui , Cungen Cao Outlier Detection Based on Rough Membership Function. [Citation Graph (0, 0)][DBLP ] RSCTC, 2006, pp:388-397 [Conf ] Feng Jiang , Yuefei Sui , Cungen Cao An Ontology-Based First-Order Modal Logic. [Citation Graph (0, 0)][DBLP ] RSCTC, 2006, pp:517-526 [Conf ] Zaiyue Zhang , Yuefei Sui , Cungen Cao Fuzzy Reasoning Based on Propositional Modal Logic. [Citation Graph (0, 0)][DBLP ] Rough Sets and Current Trends in Computing, 2004, pp:109-115 [Conf ] Cungen Cao , Yuefei Sui , Youming Xia The Graph-Theoretical Properties of Partitions and Information Entropy. [Citation Graph (0, 0)][DBLP ] RSFDGrC (1), 2005, pp:561-570 [Conf ] Cungen Cao , Yuefei Sui , Zaiyue Zhang Rough Mereology in Knowledge Representation. [Citation Graph (0, 0)][DBLP ] RSFDGrC, 2003, pp:329-333 [Conf ] Feng Jiang , Yuefei Sui , Cungen Cao Outlier Detection Using Rough Set Theory. [Citation Graph (0, 0)][DBLP ] RSFDGrC (2), 2005, pp:79-87 [Conf ] Yuefei Sui , Youming Xia , Ju Wang The Information Entropy of Rough Relational Databases. [Citation Graph (0, 0)][DBLP ] RSFDGrC, 2003, pp:320-324 [Conf ] Zaiyue Zhang , Yuefei Sui , Cungen Cao Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. [Citation Graph (0, 0)][DBLP ] RSFDGrC (1), 2005, pp:642-650 [Conf ] Cungen Cao , Yuefei Sui , Zaiyue Zhang The Rough Logic and Roughness of Logical Theories. [Citation Graph (0, 0)][DBLP ] RSKT, 2006, pp:610-617 [Conf ] Feng Jiang , Yuefei Sui , Cungen Cao Rough Contexts and Rough-Valued Contexts. [Citation Graph (0, 0)][DBLP ] RSKT, 2006, pp:176-183 [Conf ] Zaiyue Zhang , Yuefei Sui , Cungen Cao Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. [Citation Graph (0, 0)][DBLP ] RSKT, 2006, pp:162-169 [Conf ] Zaiyue Zhang , Yuefei Sui , Cungen Cao A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] TAMC, 2006, pp:588-600 [Conf ] Steffen Lempp , Yuefei Sui An Extended Lachlan Splitting Theorem. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:53-59 [Journal ] Cungen Cao , Haitao Wang , Yuefei Sui Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Medicine, 2004, v:32, n:1, pp:3-13 [Journal ] Shilong Ma , Yuefei Sui , Ke Xu The Prioritized Inductive Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Shilong Ma , Yuefei Sui , Ke Xu The Limits of Horn Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Wei Li , Shilong Ma , Yuefei Sui , Ke Xu A Logical Framework for Convergent Infinite Computations [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Cungen Cao , Qiangze Feng , Ying Gao , Fang Gu , Jinxin Si , Yuefei Sui , Wen Tian , Haitao Wang , Lili Wang , Qingtian Zeng , Chunxia Zhang , Yufei Zheng , Xiaobin Zhou Progress in the Development of National Knowledge Infrastructure. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2002, v:17, n:5, pp:523-534 [Journal ] Fang Gu , Cungen Cao , Yuefei Sui , Wen Tian Domain-Specific Ontology of Botany. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2004, v:19, n:2, pp:238-248 [Journal ] Yuefei Sui Two Online Algorithms for the Ambulance Systems. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2001, v:16, n:2, pp:176-181 [Journal ] Yu Sun , Yuefei Sui , Youming Xia Logical Sentences as the Intent of Concepts. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2005, v:20, n:3, pp:338-344 [Journal ] Zaiyue Zhang , Yuefei Sui The Contiguity in R/M. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2002, v:17, n:4, pp:507-511 [Journal ] Yuefei Sui , Zaiyue Zhang The Cupping Theorem in R/M. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1999, v:64, n:2, pp:643-650 [Journal ] Yuefei Sui A New Reducibility between Turing- and wtt-Reducibility. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1994, v:40, n:, pp:106-110 [Journal ] Zaiyue Zhang , Yuefei Sui , Cungen Cao , Guohua Wu A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:368, n:1-2, pp:149-160 [Journal ] Yu Pan , Cungen Cao , Yuefei Sui A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] FOCI, 2007, pp:228-234 [Conf ] Logical Connections of Statements in Ontologies. [Citation Graph (, )][DBLP ] Default Description Logics with Reversing Inference Rules. [Citation Graph (, )][DBLP ] An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries. [Citation Graph (, )][DBLP ] One Axiomatic System for the Ontology Revision. [Citation Graph (, )][DBLP ] A Formal Description of Agents' Epistemic States and Environments. [Citation Graph (, )][DBLP ] A Chinese Time Ontology. [Citation Graph (, )][DBLP ] The Dual Spatial Connectives of Separation Logic. [Citation Graph (, )][DBLP ] An Ontology-based First-order Intensional Logic. [Citation Graph (, )][DBLP ] A Dynamic Description Logic Approach to Extended RBAC Model. [Citation Graph (, )][DBLP ] Search in 0.015secs, Finished in 0.017secs