| Publication | Date of Publication | Type |
|---|
| R-calculus. V: Description logics | 2024-02-07 | Paper |
| R-Calculus, IV: Propositional Logic | 2023-04-21 | Paper |
| The sound and complete R-calculus for revising propositional theories | 2022-10-28 | Paper |
| R-Calculus, III: Post Three-Valued Logic | 2022-08-11 | Paper |
| R-Calculus, II: Many-Valued Logics | 2022-02-21 | Paper |
| R-CALCULUS: A Logic of Belief Revision | 2021-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3306924 | 2020-08-12 | Paper |
| A sound and complete \(R\)-calculi with respect to contraction and minimal change | 2019-05-28 | Paper |
| Decomposition for a new kind of imprecise information system | 2019-01-30 | Paper |
| The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic | 2019-01-22 | Paper |
| The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) | 2019-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4640960 | 2018-05-25 | Paper |
| Initialization of \(K\)-modes clustering using outlier detection techniques | 2018-05-22 | Paper |
| A relative decision entropy-based feature selection approach | 2017-11-20 | Paper |
| Completeness of Hoare Logic Relative to the Standard Model | 2017-04-04 | Paper |
| The B4-valued propositional Belnap-Dunn logic1 | 2017-01-04 | Paper |
| Sound and complete Gentzen deduction system for intermediate propositional logic | 2016-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993258 | 2016-08-10 | Paper |
| Completeness of Hoare logic with inputs over the standard model | 2015-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3193673 | 2015-10-28 | Paper |
| Formula-layered predicate modal logic | 2014-11-03 | Paper |
| Distance metrics and outlier detection in rough sets | 2013-11-19 | Paper |
| Relational Operations and Uncertainty Measure in Rough Relational Database | 2013-06-27 | Paper |
| The correspondence between the concepts in description logics for contexts and formal concept analysis | 2012-08-17 | Paper |
| Relational Contexts and Relational Concepts | 2010-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3406325 | 2010-02-12 | Paper |
| A rough set approach to outlier detection | 2009-09-29 | Paper |
| Normalized-scale Relations and Their Concept Lattices in Relational Databases | 2009-09-29 | Paper |
| An Ontology-Based First-Order Modal Logic | 2008-11-13 | Paper |
| Outlier Detection Based on Rough Membership Function | 2008-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431931 | 2008-01-02 | Paper |
| Rough Contexts and Rough-Valued Contexts | 2007-09-07 | Paper |
| The Rough Logic and Roughness of Logical Theories | 2007-09-07 | Paper |
| Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic | 2007-09-07 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| Local noncuppability in \(\mathbf R /\mathbf M\) | 2007-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3421352 | 2007-02-12 | Paper |
| A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic | 2007-01-22 | Paper |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | 2006-11-01 | Paper |
| Rough Sets and Current Trends in Computing | 2006-11-01 | Paper |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | 2006-11-01 | Paper |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | 2006-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365669 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700409 | 2005-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812982 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4456920 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426977 | 2003-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426974 | 2003-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2768563 | 2002-02-03 | Paper |
| The contiguity in R/M. | 2002-01-01 | Paper |
| Two online algorithms for the ambulance systems | 2001-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505730 | 2001-03-13 | Paper |
| The cupping theorem in R/M | 1999-12-19 | Paper |
| An extended Lachlan splitting theorem | 1996-07-23 | Paper |
| Classification of the index sets of low \([n]^ p\) and high \([n]^ p\) | 1995-09-19 | Paper |
| The extendibility of relatively capping degrees under the weak truth table reducibility | 1995-08-10 | Paper |
| The polynomially exponential time restrained analytical hierarchy | 1995-06-07 | Paper |
| Bounded recursively enumerable sets and degrees | 1994-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4272373 | 1994-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4290685 | 1994-09-26 | Paper |
| A New Reducibility between Turing‐ and wtt‐Reducibility | 1994-09-08 | Paper |
| On the problem of the critical bound | 1994-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025594 | 1993-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732459 | 1988-01-01 | Paper |
| Some results about the R.E. degrees | 1987-01-01 | Paper |
