Yuefei Sui

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 26

Top Venues

Frontiers Comput. Sci.

Sci. China Inf. Sci.

CoRR

Intelligent Information Processing

Publications

Wei Li, Yuefei Sui
-valued propositional logic. Frontiers Comput. Sci. 16 (4) (2022)
Wei Li, Yuefei Sui
-valued first-order logic. Frontiers Comput. Sci. 15 (5) (2021)
Wei Li, Yuefei Sui, Yuhui Wang
Nonmonotonic propositional logic. Frontiers Comput. Sci. 15 (1) (2021)
Cungen Cao, Lanxi Hu, Yuefei Sui
R-Calculus for Post Three-Valued Description Logic. FSDM (2021)
Cungen Cao, Lanxi Hu, Yuefei Sui
Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic. Frontiers Comput. Sci. 15 (1) (2021)
Bo Chen, Kang Zhao, Bing Zhang, Cheng Wu, Linlin Ma, Changhui Ma, Yuefei Sui
The B5-Modalized Propositional Logic. SKG (2019)
Zhenzhen Gu, Cungen Cao, Ya Wang, Yuefei Sui
A Logical Model for Supporting Social Commonsense Knowledge Acquisition. CoRR (2019)
Shaobo Deng, Sujie Guan, Min Li, Lei Wang, Yuefei Sui
Decomposition for a new kind of imprecise information system. Frontiers Comput. Sci. 12 (2) (2018)
Wei Li, Yuefei Sui
A computational framework for Karl Popper's logic of scientific discovery. Sci. China Inf. Sci. 61 (4) (2018)
Wei Li, Yuefei Sui
-Valued First-Order Logic. Artif. Intell. Res. 7 (1) (2018)
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)
Bo Chen, Cheng Wu, Bing Zhang, Changhui Ma, Yuefei Sui
Quantified Propositional Logic and Translations. SKG (2017)
Wei Li, Yuefei Sui, Yuhui Wang
The propositional normal default logic and the finite/infinite injury priority method. Sci. China Inf. Sci. 60 (9) (2017)
Wei Li, Yuefei Sui, Jie Luo, Bo Chen
Contrary description logic: Gentzen deduction system. Sci. China Inf. Sci. 60 (11) (2017)
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
Completeness of Hoare Logic over Nonstandard Models. CoRR (2017)
Wei Li, Yuefei Sui
The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬. Frontiers Comput. Sci. 11 (5) (2017)
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
Completeness of Hoare Logic Relative to the Standard Model. SOFSEM (2017)
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) (2017)
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
On Completeness Results of Hoare Logic Relative to the Standard Model. CoRR (2017)
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) (2017)
Li Wei, Yuefei Sui
The R-Calculus and the Finite Injury Priority Method. J. Comput. 12 (2) (2017)
Yuhui Wang, Cungen Cao, Yuefei Sui
. KSEM (2017)
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) (2016)
Feng Jiang, Guozhu Liu, Junwei Du, Yuefei Sui
Initialization of K-modes clustering using outlier detection techniques. Inf. Sci. 332 (2016)
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
Completeness of Hoare logic with inputs over the standard model. Theor. Comput. Sci. 612 (2016)
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) (2016)
Feng Jiang, Yuefei Sui, Lin Zhou
A relative decision entropy-based feature selection approach. Pattern Recognit. 48 (7) (2015)
Bo Chen, Yuefei Sui, Cungen Cao
The Variant Gentzen System for the Propositional Logic. SKG (2015)
Feng Jiang, Yuefei Sui
A novel approach for discretization of continuous attributes in rough set theory. Knowl. Based Syst. 73 (2015)
Cungen Cao, Bo Chen, Yuefei Sui
-valued propositional Belnap-Dunn logic. J. Intell. Fuzzy Syst. 28 (6) (2015)
Wei Li, Yuefei Sui, Meiying Sun
The sound and complete R-calculus for revising propositional theories. Sci. China Inf. Sci. 58 (9) (2015)
Wei Li, Yuefei Sui
A sound and complete R-calculi with respect to contraction and minimal change. Frontiers Comput. Sci. 8 (2) (2014)
Meiying Sun, Shaobo Deng, Yuefei Sui
The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic. Intelligent Information Processing (2014)
Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui
A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$. Intelligent Information Processing (2014)
Yuefei Sui, Meiying Sun
Description Logics are Hybrid Multi-Modal Logics. Int. J. Softw. Informatics 8 (1) (2014)
Yuxia Lei, Yuefei Sui, Jingying Tian
The Maximal Relation Based on A Given Relation Schema and Its Concept Lattice. J. Softw. 8 (6) (2013)
Feng Jiang, Yuefei Sui, Cungen Cao
An incremental decision tree algorithm based on rough sets and its application in intrusion detection. Artif. Intell. Rev. 40 (4) (2013)
Feng Jiang, Xiaoyan Wan, Yuefei Sui, Cungen Cao, Junwei Du
Relational Operations and Uncertainty Measure in Rough Relational Database. Fundam. Informaticae 123 (4) (2013)
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) (2012)
Yuming Shen, Yuefei Sui, Ju Wang
On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited. KSEM (2011)
Chunxia Zhang, Cungen Cao, Yuefei Sui, Xindong Wu
A Chinese time ontology for the Semantic Web. Knowl. Based Syst. 24 (7) (2011)
Feng Jiang, Yuefei Sui, Cungen Cao
A hybrid approach to outlier detection based on boundary region. Pattern Recognit. Lett. 32 (14) (2011)
Cungen Cao, Yuefei Sui, Yu Sun
Logical Connections of Statements at the Ontological Level. Int. J. Cogn. Informatics Nat. Intell. 4 (3) (2010)
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)
Feng Jiang, Yuefei Sui, Cungen Cao
Relational Contexts and Relational Concepts. Fundam. Informaticae 99 (3) (2010)
Feng Jiang, Yuefei Sui, Cungen Cao
An information entropy-based approach to outlier detection in rough sets. Expert Syst. Appl. 37 (9) (2010)
Yue Ma, Yuming Shen, Yuefei Sui, Cungen Cao
The Description Logic for Relational Databases. Intelligent Information Processing (2010)
Yuefei Sui, Yuming Shen, Cungen Cao, Ju Wang
Translating Separation Logic into a Fragment of the First-Order Logic. SKG (2010)
Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang
Preservative Translations between Logical Systems. Intelligent Information Processing (2010)
Yuxia Lei, Yuefei Sui, Cungen Cao
Normalized-scale Relations and Their Concept Lattices in Relational Databases. Fundam. Informaticae 93 (4) (2009)
Yuming Shen, Yuefei Sui, Ju Wang
The Dual Spatial Connectives of Separation Logic. KSEM (2009)
Yuxia Lei, Yuefei Sui, Cungen Cao
Complementary Relations and Their Concept Lattices in Relational Databases. SKG (2009)
Yuxia Lei, Yuefei Sui, Cungen Cao
The Logical Operations on Relations, Scales and Concept Lattices. SKG (2009)
Feng Jiang, Yuefei Sui, Cungen Cao
Some issues about outlier detection in rough set theory. Expert Syst. Appl. 36 (3) (2009)
Feng Jiang, Yuefei Sui, Cungen Cao
An Ontology-based First-order Intensional Logic. GrC (2008)
Feng Jiang, Yuefei Sui, Cungen Cao
A rough set approach to outlier detection. Int. J. Gen. Syst. 37 (5) (2008)
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
Dynamic description logic model for data integration. Frontiers Comput. Sci. China 2 (3) (2008)
Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui
Types, structures and theories in NKI. Frontiers Comput. Sci. China 2 (4) (2008)
Shilong Ma, Yuefei Sui, Ke Xu
Well limit behaviors of term rewriting systems. Frontiers Comput. Sci. China 1 (3) (2007)
Yu Pan, Cungen Cao, Yuefei Sui
A Formal System for Lies Based on Speech Acts in Multi-Agent Systems. FOCI (2007)
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)
Feng Jiang, Yuefei Sui, Cungen Cao
Formal Concept Analysis in Relational Database and Rough Relational Database. Fundam. Informaticae 80 (4) (2007)
Chunxia Zhang, Cungen Cao, Yuefei Sui, Zhendong Niu
A Chinese Time Ontology. KSEM (2007)
Li Ma, Shilong Ma, Yuefei Sui
A Dynamic Description Logic Approach to Extended RBAC Model. FGCN (1) (2007)
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) (2006)
Yu Pan, Cungen Cao, Yuefei Sui
A Logic of Believable Agents. IEEE ICCI (2006)
Yu Sun, Yuefei Sui, Zhiping Li
One Axiomatic System for the Ontology Revision. Intelligent Information Processing (2006)
Zaiyue Zhang, Yuefei Sui, Cungen Cao
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. RSKT (2006)
Yu Sun, Yuefei Sui
Default Description Logics with Reversing Inference Rules. IEEE ICCI (2006)
Feng Jiang, Yuefei Sui, Cungen Cao
Rough Contexts and Rough-Valued Contexts. RSKT (2006)
Feng Jiang, Yuefei Sui, Cungen Cao
Outlier Detection Based on Rough Membership Function. RSCTC (2006)
Yu Sun, Cungen Cao, Yuefei Sui
A Formal Description of Agents' Epistemic States and Environments. Intelligent Information Processing (2006)
Cungen Cao, Yuefei Sui, Yu Sun
Logical Connections of Statements in Ontologies. IEEE ICCI (2006)
Zaiyue Zhang, Yuefei Sui, Cungen Cao
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. TAMC (2006)
Guoshun Hao, Shilong Ma, Jianghua Lv, Yuefei Sui
A Service-Oriented Data Integration Architecture and the Integrating Tree. GCC (2006)
Cungen Cao, Yuefei Sui, Zaiyue Zhang
The Rough Logic and Roughness of Logical Theories. RSKT (2006)
Feng Jiang, Yuefei Sui, Cungen Cao
An Ontology-Based First-Order Modal Logic. RSCTC (2006)
Yu Sun, Yuefei Sui
The Ontology Revision. IJCAI (2005)
Yu Sun, Yuefei Sui
Translating Ontologies to Default Logic. AIAI (2005)
Cungen Cao, Yuefei Sui, Youming Xia
The Graph-Theoretical Properties of Partitions and Information Entropy. RSFDGrC (1) (2005)
Yu Sun, Yuefei Sui, Youming Xia
Logical Sentences as the Intent of Concepts. J. Comput. Sci. Technol. 20 (3) (2005)
Cungen Cao, Yuefei Sui
Building an Ontology and Knowledge Base of the Human Meridian-Collateral System. SGAI Conf. (Applications) (2005)
Feng Jiang, Yuefei Sui, Cungen Cao
Outlier Detection Using Rough Set Theory. RSFDGrC (2) (2005)
Zaiyue Zhang, Yuefei Sui, Cungen Cao
Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. RSFDGrC (1) (2005)
Jinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui
PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory. FLAIRS Conference (2004)
Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian
Domain-Specific Ontology of Botany. J. Comput. Sci. Technol. 19 (2) (2004)
Zaiyue Zhang, Yuefei Sui, Cungen Cao
Fuzzy Reasoning Based on Propositional Modal Logic. Rough Sets and Current Trends in Computing (2004)
Jinxin Si, Cungen Cao, Yuefei Sui, Xiaoli Yue, Nengfu Xie
ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems. KES (2004)
Cungen Cao, Haitao Wang, Yuefei Sui
Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text. Artif. Intell. Medicine 32 (1) (2004)
Cungen Cao, Yuefei Sui, Zaiyue Zhang
Rough Mereology in Knowledge Representation. RSFDGrC (2003)
Yuefei Sui, Youming Xia, Ju Wang
The Information Entropy of Rough Relational Databases. RSFDGrC (2003)
Shilong Ma, Yuefei Sui, Ke Xu
The Limits of Horn Logic Programs. ICLP (2002)
Shilong Ma, Yuefei Sui, Ke Xu
The Prioritized Inductive Logic Programs CoRR (2002)
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) (2002)
Zaiyue Zhang, Yuefei Sui
The Contiguity in R/M. J. Comput. Sci. Technol. 17 (4) (2002)
Zaiyue Zhang, Yuefei Sui
Local noncuppability in R/M. Sci. China Ser. F Inf. Sci. 44 (2) (2001)
Keyun Hu, Yuefei Sui, Ju Wang, Yuchang Lu
Rough Set Theory under the Similarity Relations. ISAS-SCI (1) (2001)
Shilong Ma, Yuefei Sui, Ke Xu
The Limits of Horn Logic Programs CoRR (2001)
Keyun Hu, Yuefei Sui, Yuchang Lu, Ju Wang, Chunyi Shi
Concept Approximation in Concept Lattice. PAKDD (2001)
Yuefei Sui, Ju Wang, Jian Yuncheng
The Entropy of Rough Relations in Rough Relational Databases. ISAS-SCI (1) (2001)

Yuefei Sui.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuefei Sui