Jun Liu

zbMath Openliu.jun.2WikidataQ95949165 ScholiaQ95949165MaRDI QIDQ209287

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
A linguistic lattice-valued approach for fuzzy multi-objective decision making	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
A many-valued temporal logic and reasoning framework for decision making	2011-05-18	Paper
Linguistic Assessment Approach for Hierarchical Safety Analysis and Synthesis	2009-01-28	Paper
Linguistic values-based intelligent information processing: Theory, methods and applications.	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
scientific article; zbMATH DE number 1775532 (Why is no real title available?)	2002-08-04	Paper
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)	2002-06-19	Paper
scientific article; zbMATH DE number 1515614 (Why is no real title available?)	2002-03-05	Paper
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft	2000-04-09	Paper
scientific article; zbMATH DE number 1419676 (Why is no real title available?)	2000-03-21	Paper
\(L\)-valued propositional logic \(L_{\text{vpl}}\)	2000-01-05	Paper
scientific article; zbMATH DE number 1251539 (Why is no real title available?)	1999-09-09	Paper
scientific article; zbMATH DE number 1275131 (Why is no real title available?)	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

Research outcomes over time

This page was built for person: Jun Liu