| Publication | Date of Publication | Type |
|---|
| The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic | 2019-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4640960 | 2018-05-25 | Paper |
| The B4-valued propositional Belnap-Dunn logic1 | 2017-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993258 | 2016-08-10 | Paper |
| Formula-layered predicate modal logic | 2014-11-03 | Paper |
| A survey of commonsense knowledge acquisition | 2014-10-07 | 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 |
| Progress in the development of intelligent animation production | 2009-11-11 | 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 |
| Formal concept analysis in relational database and rough relational database | 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 |
| 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 |
| Ontologies, frames and logical theories in NKI | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700409 | 2005-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4426977 | 2003-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412163 | 2003-07-14 | Paper |
| Extracting and sharing knowledge from medical texts | 2002-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4534736 | 2002-06-11 | Paper |
| Designing a top-level ontology of human beings: A multi-perspective approach. | 2002-01-01 | Paper |
| Liveness characterization for GFC systems. I | 1996-10-31 | Paper |
| Liveness characterization for GFC systems. II | 1996-10-31 | Paper |
| Expansion nets and expansion processes of elementary net systems | 1995-10-30 | Paper |
| A three-stage knowledge acquisition method | 1995-07-24 | Paper |
