| Publication | Date of Publication | Type |
|---|
| Fully reusing clause deduction algorithm based on standard contradiction separation rule | 2024-04-25 | Paper |
| A multi-clause dynamic deduction algorithm based on standard contradiction separation rule | 2023-11-09 | Paper |
| Banzhaf-Choquet-copula-based aggregation operators for managing q-rung orthopair fuzzy information | 2022-11-18 | Paper |
| Aggregation and definition of an algebraic framework for fuzzy time series: an application in the supply-demand domain | 2022-09-02 | Paper |
| \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality | 2022-07-21 | Paper |
| Non-dominated sorting genetic-based algorithm for exploiting a large-sized fuzzy outranking relation | 2021-06-07 | Paper |
| A logical reasoning based decision making method for handling qualitative knowledge | 2021-03-18 | Paper |
| Contradiction separation based dynamic multi-clause synergized automated deduction | 2020-09-09 | Paper |
| An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words | 2016-01-14 | Paper |
| A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic | 2015-11-30 | Paper |
| A linguistic multi-criteria decision making approach based on logical reasoning | 2015-09-25 | Paper |
| Lattice-valued modal propositional logic based on M-lattice implication algebras | 2014-03-27 | Paper |
| Fuzzy congruence relations on lattice implication algebras | 2013-09-04 | Paper |
| General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic | 2013-08-01 | Paper |
| On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic | 2013-01-25 | Paper |
| On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic | 2012-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389225 | 2012-04-26 | Paper |
| Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic | 2011-06-29 | Paper |
| Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) | 2011-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998257 | 2011-05-18 | Paper |
| Linguistic Assessment Approach for Hierarchical Safety Analysis and Synthesis | 2009-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3543594 | 2008-12-04 | Paper |
| Handling linguistic web information based on a multi-agent system | 2007-05-23 | Paper |
| On the consistency of rule bases based on lattice-valued first-order logic LF(X) | 2006-05-16 | Paper |
| Fuzzy Rule-Based Evidential Reasoning Approach for Safety Analysis | 2004-06-18 | Paper |
| Rule acquisition and adjustment based on set-valued mapping. | 2004-05-27 | Paper |
| Lattice-valued logic. An alternative approach to treat fuzziness and incomparability | 2003-09-15 | Paper |
| Fuzzy reasoning based on generalized fuzzy If-Then rules | 2003-05-08 | Paper |
| Lattice-valued linguistic expression and its application to the safety evaluation for the transmission lines | 2003-02-13 | Paper |
| \((\top,\bot,N)\) fuzzy logic | 2002-09-25 | Paper |
| \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) | 2002-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544362 | 2002-08-04 | Paper |
| \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) | 2002-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508033 | 2002-03-05 | Paper |
| ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft | 2000-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942561 | 2000-03-21 | Paper |
| \(L\)-valued propositional logic \(L_{\text{vpl}}\) | 2000-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231009 | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237708 | 1999-08-17 | Paper |
| Filters and structure of lattice implication algebra | 1998-04-01 | Paper |
| Denoising Diffusion Restoration Tackles Forward and Inverse Problems for the Laplace Operator | N/A | Paper |
