The SCEAS System
| |||||||

## 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.049secs, Finished in 0.050secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |