| Publication | Date of Publication | Type |
|---|
The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic
Frontiers of Computer Science | 2019-01-22 | Paper |
| Greedy default logic | 2018-05-25 | Paper |
The \(B_{4}\)-valued propositional Belnap-Dunn logic
Journal of Intelligent & Fuzzy Systems | 2017-01-04 | Paper |
| Sound and complete axiomatic system with a modality \(\square \varphi=\square_1 \varphi \vee \square_2\varphi\) | 2016-08-10 | Paper |
Formula-layered predicate modal logic
Journal of Software | 2014-11-03 | Paper |
A survey of commonsense knowledge acquisition
Journal of Computer Science and Technology | 2014-10-07 | 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 |
| Progress in the development of intelligent animation production | 2009-11-11 | 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 |
| 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 1983107 (Why is no real title available?) | 2003-09-18 | Paper |
| scientific article; zbMATH DE number 1948945 (Why is no real title available?) | 2003-07-14 | Paper |
Extracting and sharing knowledge from medical texts
Journal of Computer Science and Technology | 2002-08-28 | Paper |
| scientific article; zbMATH DE number 1754122 (Why is no real title available?) | 2002-06-11 | Paper |
Designing a top-level ontology of human beings: A multi-perspective approach.
Journal of Computer Science and Technology | 2002-01-01 | Paper |
Liveness characterization for GFC systems. I
Science in China. Series E | 1996-10-31 | Paper |
Liveness characterization for GFC systems. II
Science in China. Series E | 1996-10-31 | Paper |
Expansion nets and expansion processes of elementary net systems
Journal of Computer Science and Technology | 1995-10-30 | Paper |
A three-stage knowledge acquisition method
Journal of Computer Science and Technology | 1995-07-24 | Paper |
