Publication | Date of Publication | Type |
---|
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 |
https://portal.mardi4nfdi.de/entity/Q2824401 | 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 |
https://portal.mardi4nfdi.de/entity/Q2924426 | 2014-11-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q2859965 | 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 |
Outlier Detection Based on Rough Membership Function | 2008-11-13 | Paper |
An Ontology-Based First-Order Modal Logic | 2008-11-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5431931 | 2008-01-02 | Paper |
Rough Contexts and Rough-Valued Contexts | 2007-09-07 | Paper |
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic | 2007-09-07 | Paper |
The Rough Logic and Roughness of Logical Theories | 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, 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-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/Q4426974 | 2003-09-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4426977 | 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 |