| Publication | Date of Publication | Type |
|---|
R-calculus. V: Description logics
Perspectives in Formal Induction, Revision and Evolution | 2024-02-07 | Paper |
R-Calculus, IV: Propositional Logic
Perspectives in Formal Induction, Revision and Evolution | 2023-04-21 | Paper |
The sound and complete R-calculus for revising propositional theories
Science China Information Sciences | 2022-10-28 | Paper |
R-Calculus, III: Post Three-Valued Logic
Perspectives in Formal Induction, Revision and Evolution | 2022-08-11 | Paper |
R-calculus. II: Many-valued logics
Perspectives in Formal Induction, Revision and Evolution | 2022-02-21 | Paper |
R-CALCULUS: a logic of belief revision
Perspectives in Formal Induction, Revision and Evolution | 2021-08-25 | Paper |
| scientific article; zbMATH DE number 7234173 (Why is no real title available?) | 2020-08-12 | Paper |
A sound and complete \(R\)-calculi with respect to contraction and minimal change
Frontiers of Computer Science | 2019-05-28 | Paper |
Decomposition for a new kind of imprecise information system
Frontiers of Computer Science | 2019-01-30 | Paper |
The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic
Frontiers of Computer Science | 2019-01-22 | Paper |
The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
Frontiers of Computer Science | 2019-01-22 | Paper |
| Greedy default logic | 2018-05-25 | Paper |
Initialization of \(K\)-modes clustering using outlier detection techniques
Information Sciences | 2018-05-22 | Paper |
A relative decision entropy-based feature selection approach
Pattern Recognition | 2017-11-20 | Paper |
Completeness of Hoare logic relative to the standard model
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
The \(B_{4}\)-valued propositional Belnap-Dunn logic
Journal of Intelligent & Fuzzy Systems | 2017-01-04 | Paper |
Sound and complete Gentzen deduction system for intermediate propositional logic
Journal of Software | 2016-10-06 | Paper |
| Sound and complete axiomatic system with a modality \(\square \varphi=\square_1 \varphi \vee \square_2\varphi\) | 2016-08-10 | Paper |
Completeness of Hoare logic with inputs over the standard model
Theoretical Computer Science | 2015-12-15 | Paper |
| Attribute reduction based on approximation decision entropy | 2015-10-28 | Paper |
Formula-layered predicate modal logic
Journal of Software | 2014-11-03 | Paper |
Distance metrics and outlier detection in rough sets
Control and Decision | 2013-11-19 | Paper |
Relational Operations and Uncertainty Measure in Rough Relational Database
Fundamenta Informaticae | 2013-06-27 | Paper |
The correspondence between the concepts in description logics for contexts and formal concept analysis
Science China Information Sciences | 2012-08-17 | Paper |
Relational contexts and relational concepts
Fundamenta Informaticae | 2010-10-01 | Paper |
| scientific article; zbMATH DE number 5669606 (Why is no real title available?) | 2010-02-12 | Paper |
A rough set approach to outlier detection
International Journal of General Systems | 2009-09-29 | Paper |
Normalized-scale Relations and Their Concept Lattices in Relational Databases
Fundamenta Informaticae | 2009-09-29 | Paper |
An Ontology-Based First-Order Modal Logic
Rough Sets and Current Trends in Computing | 2008-11-13 | Paper |
Outlier Detection Based on Rough Membership Function
Rough Sets and Current Trends in Computing | 2008-11-13 | Paper |
| Formal concept analysis in relational database and rough relational database | 2008-01-02 | Paper |
Rough Contexts and Rough-Valued Contexts
Rough Sets and Knowledge Technology | 2007-09-07 | Paper |
The Rough Logic and Roughness of Logical Theories
Rough Sets and Knowledge Technology | 2007-09-07 | Paper |
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic
Rough Sets and Knowledge Technology | 2007-09-07 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Local noncuppability in \(\mathbf R /\mathbf M\)
Science in China. Series F | 2007-02-20 | Paper |
| scientific article; zbMATH DE number 5124871 (Why is no real title available?) | 2007-02-12 | Paper |
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Theoretical Computer Science | 2007-01-22 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Rough Sets and Current Trends in Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-06-27 | Paper |
| Ontologies, frames and logical theories in NKI | 2006-01-23 | Paper |
| scientific article; zbMATH DE number 2220123 (Why is no real title available?) | 2005-10-28 | Paper |
| scientific article; zbMATH DE number 2090546 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2061062 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 1983107 (Why is no real title available?) | 2003-09-18 | Paper |
| scientific article; zbMATH DE number 1983105 (Why is no real title available?) | 2003-09-18 | Paper |
| scientific article; zbMATH DE number 1699994 (Why is no real title available?) | 2002-02-03 | Paper |
The contiguity in R/M.
Journal of Computer Science and Technology | 2002-01-01 | Paper |
Two online algorithms for the ambulance systems
Journal of Computer Science and Technology | 2001-10-14 | Paper |
| scientific article; zbMATH DE number 1512099 (Why is no real title available?) | 2001-03-13 | Paper |
The cupping theorem in R/M
Journal of Symbolic Logic | 1999-12-19 | Paper |
An extended Lachlan splitting theorem
Annals of Pure and Applied Logic | 1996-07-23 | Paper |
Classification of the index sets of low \([n^ p\) and high \([n]^ p\)]
Journal of Computer Science and Technology | 1995-09-19 | Paper |
The extendibility of relatively capping degrees under the weak truth table reducibility
Science in China. Series A | 1995-08-10 | Paper |
The polynomially exponential time restrained analytical hierarchy
Journal of Computer Science and Technology | 1995-06-07 | Paper |
Bounded recursively enumerable sets and degrees
Journal of Computer Science and Technology | 1994-11-17 | Paper |
| scientific article; zbMATH DE number 468962 (Why is no real title available?) | 1994-09-29 | Paper |
| scientific article; zbMATH DE number 562760 (Why is no real title available?) | 1994-09-26 | Paper |
A New Reducibility between Turing‐ and wtt‐Reducibility
Mathematical Logic Quarterly | 1994-09-08 | Paper |
On the problem of the critical bound
Acta Mathematica Sinica, English Series | 1994-01-10 | Paper |
| scientific article; zbMATH DE number 123920 (Why is no real title available?) | 1993-02-18 | Paper |
| scientific article; zbMATH DE number 4118355 (Why is no real title available?) | 1988-01-01 | Paper |
Some results about the R.E. degrees
Acta Mathematica Sinica, English Series | 1987-01-01 | Paper |
