default search action
Yuefei Sui
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [b4]Wei Li, Yuefei Sui:
R-Calculus, V: Description Logics. Springer 2024, ISBN 978-981-99-6459-8, pp. 1-379 - 2022
- [b3]Wei Li, Yuefei Sui:
R-Calculus, II: Many-Valued Logics. Springer 2022, ISBN 978-981-16-9293-2, pp. 1-271 - [b2]Wei Li, Yuefei Sui:
R-Calculus, III: Post Three-Valued Logic. Springer 2022, ISBN 978-981-19-4269-3, pp. 1-273 - [j51]Wei Li, Yuefei Sui:
Monotonicity and nonmonotonicity in L3-valued propositional logic. Frontiers Comput. Sci. 16(4): 164315 (2022) - 2021
- [b1]Wei Li, Yuefei Sui:
R-CALCULUS: A Logic of Belief Revision. Springer 2021, ISBN 978-981-16-2943-3, pp. 1-198 - [j50]Cungen Cao, Lanxi Hu, Yuefei Sui:
Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic. Frontiers Comput. Sci. 15(1) (2021) - [j49]Wei Li, Yuefei Sui, Yuhui Wang:
Nonmonotonic propositional logic. Frontiers Comput. Sci. 15(1) (2021) - [j48]Wei Li, Yuefei Sui:
Variant quantifiers in L3-valued first-order logic. Frontiers Comput. Sci. 15(5): 155403 (2021) - [c49]Cungen Cao, Lanxi Hu, Yuefei Sui:
R-Calculus for Post Three-Valued Description Logic. FSDM 2021: 371-378
2010 – 2019
- 2019
- [c48]Bo Chen, Kang Zhao, Bing Zhang, Cheng Wu, Linlin Ma, Changhui Ma, Yuefei Sui:
The B5-Modalized Propositional Logic. SKG 2019: 161-166 - [i6]Zhenzhen Gu, Cungen Cao, Ya Wang, Yuefei Sui:
A Logical Model for Supporting Social Commonsense Knowledge Acquisition. CoRR abs/1912.11599 (2019) - 2018
- [j47]Wei Li, Yuefei Sui:
Multisequent Gentzen Deduction Systems For B22-Valued First-Order Logic. Artif. Intell. Res. 7(1): 53- (2018) - [j46]Wei Li, Yuefei Sui:
A computational framework for Karl Popper's logic of scientific discovery. Sci. China Inf. Sci. 61(4): 042101:1-042101:10 (2018) - [j45]Shaobo Deng, Sujie Guan, Min Li
, Lei Wang, Yuefei Sui:
Decomposition for a new kind of imprecise information system. Frontiers Comput. Sci. 12(2): 376-395 (2018) - [c47]Ya Wang, Zhenzhen Gu, Yuefei Sui, Cungen Cao:
Towards a Modeling Framework of Social Contexts, Roles and Relations for Acquiring Role-Specific Rules. Intelligent Information Processing 2018: 261-273 - 2017
- [j44]Wei Li, Yuefei Sui, Yuhui Wang:
The propositional normal default logic and the finite/infinite injury priority method. Sci. China Inf. Sci. 60(9): 092107:1-092107:10 (2017) - [j43]Wei Li, Yuefei Sui, Jie Luo, Bo Chen:
Contrary description logic: Gentzen deduction system. Sci. China Inf. Sci. 60(11): 112103:1-112103:9 (2017) - [j42]Wei Li, Yuefei Sui:
The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬. Frontiers Comput. Sci. 11(5): 887-894 (2017) - [j41]Li Wei, Yuefei Sui:
The R-Calculus and the Finite Injury Priority Method. J. Comput. 12(2): 127-134 (2017) - [j40]Li Wei, Yuefei Sui, Yuhui Wang:
The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL. J. Intell. Fuzzy Syst. 33(2): 733-740 (2017) - [j39]Myungjoon Choi, Yuefei Sui, Inhee Lee, Ryan Meredith, Yushu Ma, Gyouho Kim, David T. Blaauw, Yogesh B. Gianchandani, Tao Li:
Autonomous Microsystems for Downhole Applications: Design Challenges, Current State, and Initial Test Results. Sensors 17(10): 2190 (2017) - [c46]Yuhui Wang, Cungen Cao, Yuefei Sui:
R-Calculus for the Primitive Statements in Description Logic ALC. KSEM 2017: 106-116 - [c45]Bo Chen, Cheng Wu, Bing Zhang, Changhui Ma, Yuefei Sui:
Quantified Propositional Logic and Translations. SKG 2017: 8-14 - [c44]Zhaowei Xu, Wenhui Zhang, Yuefei Sui:
Completeness of Hoare Logic Relative to the Standard Model. SOFSEM 2017: 119-131 - [i5]Zhaowei Xu, Wenhui Zhang, Yuefei Sui:
On Completeness Results of Hoare Logic Relative to the Standard Model. CoRR abs/1703.00237 (2017) - [i4]Zhaowei Xu, Yuefei Sui, Wenhui Zhang:
Completeness of Hoare Logic over Nonstandard Models. CoRR abs/1703.00240 (2017) - 2016
- [j38]Cungen Cao, Yuefei Sui, Zaiyue Zhang:
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic. Frontiers Comput. Sci. 10(4): 717-725 (2016) - [j37]Cungen Cao, Yuefei Sui:
The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic. Int. J. Fuzzy Log. Intell. Syst. 16(3): 147-156 (2016) - [j36]Feng Jiang
Initialization of K-modes clustering using outlier detection techniques. Inf. Sci. 332: 167-183 (2016) - [j35]Zhaowei Xu
Completeness of Hoare logic with inputs over the standard model. Theor. Comput. Sci. 612: 23-28 (2016) - 2015
- [j34]Wei Li, Yuefei Sui, Meiying Sun:
The sound and complete R-calculus for revising propositional theories. Sci. China Inf. Sci. 58(9): 1-12 (2015) - [j33]Cungen Cao, Bo Chen, Yuefei Sui:
The B4-valued propositional Belnap-Dunn logic. J. Intell. Fuzzy Syst. 28(6): 2705-2713 (2015) - [j32]Feng Jiang
A novel approach for discretization of continuous attributes in rough set theory. Knowl. Based Syst. 73: 324-334 (2015) - [j31]Feng Jiang
A relative decision entropy-based feature selection approach. Pattern Recognit. 48(7): 2151-2163 (2015) - [c43]Bo Chen, Yuefei Sui, Cungen Cao:
The Variant Gentzen System for the Propositional Logic. SKG 2015: 162-167 - 2014
- [j30]Wei Li, Yuefei Sui:
A sound and complete R-calculi with respect to contraction and minimal change. Frontiers Comput. Sci. 8(2): 184-191 (2014) - [j29]Yuefei Sui, Meiying Sun:
Description Logics are Hybrid Multi-Modal Logics. Int. J. Softw. Informatics 8(1): 133-142 (2014) - [c42]Meiying Sun, Shaobo Deng, Yuefei Sui:
The Correspondence between Propositional Modal Logic with Axiom ☐ϕ ↔ ⃟ ϕ and the Propositional Logic. Intelligent Information Processing 2014: 141-151 - [c41]Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui:
A Sound and Complete Axiomatic System for Modality ☐ϕ≡☐1ϕ∧☐2ϕ. Intelligent Information Processing 2014: 152-160 - 2013
- [j28]Feng Jiang
An incremental decision tree algorithm based on rough sets and its application in intrusion detection. Artif. Intell. Rev. 40(4): 517-530 (2013) - [j27]Feng Jiang
Relational Operations and Uncertainty Measure in Rough Relational Database. Fundam. Informaticae 123(4): 401-416 (2013) - [j26]Yuxia Lei, Yuefei Sui, Jingying Tian:
The Maximal Relation Based on A Given Relation Schema and Its Concept Lattice. J. Softw. 8(6): 1308-1315 (2013) - 2012
- [j25]Yue Ma, Yuefei Sui, Cungen Cao:
The correspondence between the concepts in description logics for contexts and formal concept analysis. Sci. China Inf. Sci. 55(5): 1106-1122 (2012) - 2011
- [j24]Chunxia Zhang, Cungen Cao, Yuefei Sui, Xindong Wu:
A Chinese time ontology for the Semantic Web. Knowl. Based Syst. 24(7): 1057-1074 (2011) - [j23]Feng Jiang
A hybrid approach to outlier detection based on boundary region. Pattern Recognit. Lett. 32(14): 1860-1870 (2011) - [c40]Yuming Shen, Yuefei Sui, Ju Wang:
On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited. KSEM 2011: 377-386 - 2010
- [j22]Feng Jiang, Yuefei Sui, Cungen Cao:
An information entropy-based approach to outlier detection in rough sets. Expert Syst. Appl. 37(9): 6338-6344 (2010) - [j21]Feng Jiang, Yuefei Sui, Cungen Cao:
Relational Contexts and Relational Concepts. Fundam. Informaticae 99(3): 293-314 (2010) - [j20]Cungen Cao, Yuefei Sui, Yu Sun:
Logical Connections of Statements at the Ontological Level. Int. J. Cogn. Informatics Nat. Intell. 4(3): 59-85 (2010) - [c39]Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang:
Preservative Translations between Logical Systems. Intelligent Information Processing 2010: 55-63 - [c38]Yue Ma, Yuming Shen, Yuefei Sui, Cungen Cao:
The Description Logic for Relational Databases. Intelligent Information Processing 2010: 64-71 - [c37]Guang Jiang, Cungen Cao, Yuefei Sui, Han Lu, Shi Wang:
A General Approach to Extracting Full Names and Abbreviations for Chinese Entities from the Web. Intelligent Information Processing 2010: 271-280 - [c36]Yuefei Sui, Yuming Shen, Cungen Cao, Ju Wang:
Translating Separation Logic into a Fragment of the First-Order Logic. SKG 2010: 188-194
2000 – 2009
- 2009
- [j19]Feng Jiang, Yuefei Sui, Cungen Cao:
Some issues about outlier detection in rough set theory. Expert Syst. Appl. 36(3): 4680-4687 (2009) - [j18]Yuxia Lei, Yuefei Sui, Cungen Cao:
Normalized-scale Relations and Their Concept Lattices in Relational Databases. Fundam. Informaticae 93(4): 393-409 (2009) - [c35]Yuming Shen, Yuefei Sui, Ju Wang:
The Dual Spatial Connectives of Separation Logic. KSEM 2009: 90-99 - [c34]Yuxia Lei, Yuefei Sui, Cungen Cao:
Complementary Relations and Their Concept Lattices in Relational Databases. SKG 2009: 152-159 - [c33]Yuxia Lei, Yuefei Sui, Cungen Cao:
The Logical Operations on Relations, Scales and Concept Lattices. SKG 2009: 160-167 - 2008
- [j17]Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv:
Dynamic description logic model for data integration. Frontiers Comput. Sci. China 2(3): 306-330 (2008) - [j16]Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui:
Types, structures and theories in NKI. Frontiers Comput. Sci. China 2(4): 451-459 (2008) - [j15]Feng Jiang, Yuefei Sui, Cungen Cao:
A rough set approach to outlier detection. Int. J. Gen. Syst. 37(5): 519-536 (2008) - [c32]Feng Jiang, Yuefei Sui, Cungen Cao:
An Ontology-based First-order Intensional Logic. GrC 2008: 330-335 - 2007
- [j14]Shilong Ma, Yuefei Sui, Ke Xu:
Well limit behaviors of term rewriting systems. Frontiers Comput. Sci. China 1(3): 283-296 (2007) - [j13]Feng Jiang, Yuefei Sui, Cungen Cao:
Formal Concept Analysis in Relational Database and Rough Relational Database. Fundam. Informaticae 80(4): 435-451 (2007) - [c31]Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv:
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 121-126 - [c30]Li Ma, Shilong Ma, Yuefei Sui:
A Dynamic Description Logic Approach to Extended RBAC Model. FGCN (1) 2007: 284-288 - [c29]Yu Pan, Cungen Cao, Yuefei Sui:
A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. FOCI 2007: 228-234 - [c28]Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu:
A Chinese Time Ontology. KSEM 2007: 575-580 - 2006
- [j12]Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu:
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. Theor. Comput. Sci. 368(1-2): 149-160 (2006) - [c27]Yu Pan, Cungen Cao, Yuefei Sui:
A Logic of Believable Agents. IEEE ICCI 2006: 185-194 - [c26]Yu Sun, Yuefei Sui:
Default Description Logics with Reversing Inference Rules. IEEE ICCI 2006: 280-285 - [c25]Cungen Cao, Yuefei Sui, Yu Sun:
Logical Connections of Statements in Ontologies. IEEE ICCI 2006: 440-446 - [c24]Guoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui:
A Service-Oriented Data Integration Architecture and the Integrating Tree. GCC 2006: 526-530 - [c23]Yu Sun, Yuefei Sui, Zhiping Li:
One Axiomatic System for the Ontology Revision. Intelligent Information Processing 2006: 91-100 - [c22]Yu Sun, Cungen Cao, Yuefei Sui:
A Formal Description of Agents' Epistemic States and Environments. Intelligent Information Processing 2006: 519-524 - [c21]Feng Jiang, Yuefei Sui, Cungen Cao:
Outlier Detection Based on Rough Membership Function. RSCTC 2006: 388-397 - [c20]Feng Jiang, Yuefei Sui, Cungen Cao:
An Ontology-Based First-Order Modal Logic. RSCTC 2006: 517-526 - [c19]Zaiyue Zhang, Yuefei Sui, Cungen Cao:
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. RSKT 2006: 162-169 - [c18]Feng Jiang, Yuefei Sui, Cungen Cao:
Rough Contexts and Rough-Valued Contexts. RSKT 2006: 176-183 - [c17]Cungen Cao, Yuefei Sui, Zaiyue Zhang:
The Rough Logic and Roughness of Logical Theories. RSKT 2006: 610-617 - [c16]Zaiyue Zhang, Yuefei Sui, Cungen Cao:
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. TAMC 2006: 588-600 - 2005
- [j11]Yu Sun, Yuefei Sui, Youming Xia:
Logical Sentences as the Intent of Concepts. J. Comput. Sci. Technol. 20(3): 338-344 (2005) - [c15]Yu Sun, Yuefei Sui:
Translating Ontologies to Default Logic. AIAI 2005: 145-153 - [c14]Yu Sun, Yuefei Sui:
The Ontology Revision. IJCAI 2005: 1583-1584 - [c13]Feng Jiang, Yuefei Sui, Cungen Cao:
Outlier Detection Using Rough Set Theory. RSFDGrC (2) 2005: 79-87 - [c12]Cungen Cao, Yuefei Sui, Youming Xia:
The Graph-Theoretical Properties of Partitions and Information Entropy. RSFDGrC (1) 2005: 561-570 - [c11]Zaiyue Zhang, Yuefei Sui, Cungen Cao:
Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. RSFDGrC (1) 2005: 642-650 - [c10]Cungen Cao, Yuefei Sui:
Building an Ontology and Knowledge Base of the Human Meridian-Collateral System. SGAI Conf. (Applications) 2005: 195-208 - 2004
- [j10]Cungen Cao, Haitao Wang, Yuefei Sui:
Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text. Artif. Intell. Medicine 32(1): 3-13 (2004) - [j9]Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian:
Domain-Specific Ontology of Botany. J. Comput. Sci. Technol. 19(2): 238-248 (2004) - [c9]Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui:
PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. FLAIRS 2004: 460-466 - [c8]Jinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie:
ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. KES 2004: 263-269 - [c7]Zaiyue Zhang, Yuefei Sui, Cungen Cao:
Fuzzy Reasoning Based on Propositional Modal Logic. Rough Sets and Current Trends in Computing 2004: 109-115 - 2003
- [c6]Yuefei Sui, Youming Xia, Ju Wang:
The Information Entropy of Rough Relational Databases. RSFDGrC 2003: 320-324 - [c5]Cungen Cao, Yuefei Sui, Zaiyue Zhang:
Rough Mereology in Knowledge Representation. RSFDGrC 2003: 329-333 - 2002
- [j8]Zaiyue Zhang, Yuefei Sui:
The Contiguity in R/M. J. Comput. Sci. Technol. 17(4): 507-511 (2002) - [j7]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. J. Comput. Sci. Technol. 17(5): 523-534 (2002) - [c4]Shilong Ma, Yuefei Sui, Ke Xu:
The Limits of Horn Logic Programs. ICLP 2002: 467 - [i3]Shilong Ma, Yuefei Sui, Ke Xu:
The Prioritized Inductive Logic Programs. CoRR cs.AI/0206017 (2002) - 2001
- [j6]Zaiyue Zhang, Yuefei Sui:
Local noncuppability in R/M. Sci. China Ser. F Inf. Sci. 44(2): 126-135 (2001) - [j5]Yuefei Sui:
Two Online Algorithms for the Ambulance Systems. J. Comput. Sci. Technol. 16(2): 176-181 (2001) - [c3]Keyun Hu, Yuefei Sui, Ju Wang, Yuchang Lu:
Rough Set Theory under the Similarity Relations. ISAS-SCI (1) 2001: 405-409 - [c2]Yuefei Sui, Ju Wang, Jian Yuncheng:
The Entropy of Rough Relations in Rough Relational Databases. ISAS-SCI (1) 2001: 566-570 - [c1]Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi:
Concept Approximation in Concept Lattice. PAKDD 2001: 167-173 - [i2]Shilong Ma, Yuefei Sui, Ke Xu:
The Limits of Horn Logic Programs. CoRR cs.LO/0103008 (2001) - [i1]Wei Li, Shilong Ma, Yuefei Sui, Ke Xu:
A Logical Framework for Convergent Infinite Computations. CoRR cs.LO/0105020 (2001)
1990 – 1999
- 1999
- [j4]Yuefei Sui, Zaiyue Zhang:
The Cupping Theorem in R/M. J. Symb. Log. 64(2): 643-650 (1999) - 1996
- [j3]Steffen Lempp, Yuefei Sui:
An Extended Lachlan Splitting Theorem. Ann. Pure Appl. Log. 79(1): 53-59 (1996) - 1994
- [j2]Yuefei Sui:
A New Reducibility between Turing- and wtt-Reducibility. Math. Log. Q. 40: 106-110 (1994) - 1993
- [j1]Yuefei Sui:
Bounded recursively enumerable sets and degrees. J. Comput. Sci. Technol. 8(3): 205-208 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 19:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: