Yang Xu

According to our database, Yang Xu authored at least 240 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu

Inf. Sci., January, 2024

A complementary ratio based clause selection method for contradiction separation dynamic deduction.

Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu

Knowl. Based Syst., 2024

2023

Reliability analysis of mobile agent control system with multiple alternative plans.

Xia Wang, Yang Xu, Jun Liu, Keming Wang

Soft Comput., December, 2023

A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking.

Xia Wang, Jun Liu, Samuel J. Moore, Chris D. Nugent, Yang Xu

Inf. Fusion, July, 2023

Fully reusing clause deduction algorithm based on standard contradiction separation rule.

Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu

Inf. Sci., April, 2023

Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking.

Xia Wang, Jun Liu, Chris D. Nugent, Ian Cleland, Yang Xu

Knowl. Based Syst., March, 2023

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.

Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu

Knowl. Based Syst., 2023

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.

Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen

Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

2022

Attention recurrent cross-graph neural network for selecting premises.

Qinghua Liu, Yang Xu, Xingxing He

Int. J. Mach. Learn. Cybern., 2022

Improving probability selection based weights for satisfiability problems.

Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe

Knowl. Based Syst., 2022

Axiom selection over large theory based on new first-order formula metrics.

Qinghua Liu, Yang Xu

Appl. Intell., 2022

Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking.

Xia Wang, Jun Liu, Chris D. Nugent, Samuel J. Moore, Yang Xu

Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, 2022

2021

α-Paramodulation method for a lattice-valued logic L_nF(X) with equality.

Xingxing He, Yang Xu, Jun Liu, Yingfang Li

Soft Comput., 2021

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.

Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He

Inf. Sci., 2021

A multi-clause dynamic deduction algorithm based on standard contradiction separation rule.

Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, JianBing Yi

Inf. Sci., 2021

Research on the Minimum Size of Received Signal Strength Difference Localization Network.

Fangli Ma, Yang Xu, Peng Xu

Int. J. Comput. Intell. Syst., 2021

A logical reasoning based decision making method for handling qualitative knowledge.

Shuwei Chen, Jun Liu, Yang Xu

Int. J. Approx. Reason., 2021

Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment.

Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu

Comput. Intell., 2021

More efficient stochastic local search for satisfiability.

Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu

Appl. Intell., 2021

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.

Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Formal Modeling and Verification of Multi-agent System Based on Timed Automata.

Xia Wang, Yang Xu, Peiyao Liu

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Formalization and Verification of Cyclic Group.

Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule.

Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Determination of 3-ary α-resolution in LP(X).

Hairui Jia, Yang Xu, Yi Liu

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

2020

Verify and measure the quality of rule based machine leaning.

Honglei Wei, Hairui Jia, Yingfang Li, Yang Xu

Knowl. Based Syst., 2020

Improving WalkSAT for Random 3-SAT Problems.

Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu

J. Univers. Comput. Sci., 2020

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance).

Feng Cao, Yang Xu, Jian Zhong, Xinran Ning

计算机科学, 2020

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic.

Jian Zhong, Yang Xu, Feng Cao

Int. J. Comput. Intell. Syst., 2020

Improving probability selecting based weights for Satisfiability Problem.

Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe

CoRR, 2020

Focused random walk with probability distribution for SAT with long clauses.

Huimin Fu, Jun Liu, Yang Xu

Appl. Intell., 2020

2019

An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers.

Wenjing Chang, Yang Xu, Shuwei Chen

Symmetry, 2019

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic.

Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning

Symmetry, 2019

Further Complete Solutions to Four Open Problems on Filter of Logical Algebras.

Wei Wang, Pengxi Yang, Yang Xu

Int. J. Comput. Intell. Syst., 2019

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search.

Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu

Int. J. Comput. Intell. Syst., 2019

A Novel Method Based on Extended Uncertain 2-tuple Linguistic Muirhead Mean Operators to MAGDM under Uncertain 2-Tuple Linguistic Environment.

Yi Liu, Jun Liu, Ya Qin, Yang Xu

Int. J. Comput. Intell. Syst., 2019

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.

Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.

Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu

Symmetry, 2018

Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization.

Xiaodong Pan, Yang Xu

Soft Comput., 2018

Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization.

Xiaodong Pan, Yang Xu

Soft Comput., 2018

On derivations of linguistic truth-valued lattice implication algebras.

Hua Zhu, Yi Liu, Yang Xu

Int. J. Mach. Learn. Cybern., 2018

基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value).

Zhongxue Hu, Yang Xu, Rong Hu

计算机科学, 2018

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).

Qingshan Chen, Yang Xu, Guanfeng Wu

计算机科学, 2018

On A-subsets in lattice implication algebras.

Xiqing Long, Yi Liu, Yang Xu

J. Intell. Fuzzy Syst., 2018

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system.

Hairui Jia, Yi Liu, Yang Xu

J. Intell. Fuzzy Syst., 2018

Contradiction separation based dynamic multi-clause synergized automated deduction.

Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He

Inf. Sci., 2018

A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem.

Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He

Int. J. Comput. Intell. Syst., 2018

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy.

Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu

Int. J. Comput. Intell. Syst., 2018

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers.

Wenjing Chang, Yang Xu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2018

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Int. J. Comput. Intell. Syst., 2018

2017

Ideals and fuzzy ideals on residuated lattices.

Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu

Int. J. Mach. Learn. Cybern., 2017

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

计算机科学, 2017

Study on the properties of A-subset.

Xiqing Long, Hua Zhu, Yang Xu

J. Intell. Fuzzy Syst., 2017

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems.

Qingshan Chen, Yang Xu, Jun Liu, Xingxing He

Int. J. Comput. Intell. Syst., 2017

Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS.

Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Parallel hybrid genetic algorithm for sat problems based on OpenMP.

Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

A nonlinear programming based universal optimization model of TDOA passive location.

Fangli Ma, Yang Xu, Peng Xu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

New terms metric based on substitutions.

Qinghua Liu, Yang Xu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.

Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Conflicting rate based branching heuristic for CDCL SAT solvers.

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Some synergized clause selection strategies for contradiction separation based automated deduction.

Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers.

Wenjing Chang, Guanfeng Wu, Yang Xu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic.

Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2016

2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making.

Hua Zhu, Jianbin Zhao, Yang Xu

Knowl. Based Syst., 2016

Interval-Valued Belief Rule Inference Methodology Based on Evidential Reasoning-IRIMER.

Hua Zhu, Jianbin Zhao, Yang Xu, Limin Du

Int. J. Inf. Technol. Decis. Mak., 2016

2015

A novel rule base representation and its inference method using the evidential reasoning approach.

Liuqian Jin, Jun Liu, Yang Xu, Xin Fang

Knowl. Based Syst., 2015

语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic).

Jiafeng Zhang, Yang Xu, Qin Chen

计算机科学, 2015

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)).

Yi Liu, Yang Xu, Hairui Jia

计算机科学, 2015

On lifting quasi-filters and strong lifting quasi-filters in MV-algebras.

Xiaodong Pan, Yang Xu

J. Intell. Fuzzy Syst., 2015

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X).

Yi Liu, Yang Xu, Xiaomei Zhong

J. Intell. Fuzzy Syst., 2015

-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems.

Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu, Xiaodong Pan

Int. J. Comput. Intell. Syst., 2015

The validity degree vectors of formulae in two-valued predicate logic.

Xiaoyan Qin, Yang Xu, Yi Liu

Int. J. Comput. Intell. Syst., 2015

Redefined soft relations and soft functions.

Keyun Qin, Qiong Liu, Yang Xu

Int. J. Comput. Intell. Syst., 2015

Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications.

Xiaodong Pan, Yang Xu

Int. J. Comput. Intell. Syst., 2015

A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect Theory.

Liuqian Jin, Xin Fang, Yang Xu

Int. J. Comput. Intell. Syst., 2015

α-Minimal Resolution Principle For A Lattice-Valued Logic.

Hairui Jia, Yang Xu, Yi Liu, Jun Liu

Int. J. Comput. Intell. Syst., 2015

GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition.

Limin Du, Yang Xu, Jun Liu, Fangli Ma

Int. J. Comput. Intell. Syst., 2015

2-Dimension Linguistic Lattice Implication Algebra.

Hua Zhu, Jianbin Zhao, Wenjing Chang, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory.

Long Zhang, Kaijun Xu, Heng Yin, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

The New Directed Hypergraph for CNF Formula of Propositional Logic.

Zhijia Zhang, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Research on Rural Family Property of Western China and Its Legal Protection.

Caijuan Zhang, Xiaohong Liu, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice.

Li Yang, Yuhui Wang, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System.

Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management.

Kaijun Xu, Heng Yin, Long Zhang, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Vague partition.

Xiaodong Pan, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Stakeholder Analysis of Ecological Environment Protection Projects.

Bin Luo, Xiaohong Liu, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Evaluation of Basic Public Services Quality for Optimizing Customer Satisfaction.

Xiaohong Liu, Xianyi Zeng, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Decision Making Approaches Based on Type 2 Fuzzy Soft Sets.

Yaya Liu, Keyun Qin, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic.

Baihua Li, Xiaonan Li, Chang Pan, Li Zou, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

A Method for Interval Multi-attribute Decision Making Based on Evidential Reasoning and Third-Generation Prospect Theory.

Liuqian Jin, Yang Xu, Xin Fang

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic.

Hairui Jia, Yi Liu, Yang Xu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic.

Xingxing He, Yang Xu, Jun Liu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

On fuzzy filters of CI-algebras.

Wei Wang, Kuan-kuan Zhao, Yang Xu

Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

2014

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2014

alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X).

Xiaomei Zhong, Yang Xu

J. Multiple Valued Log. Soft Comput., 2014

Interval-valued intuitionistic (<i>T</i>, <i>S</i>)-fuzzy filters theory on residuated lattices.

Yi Liu, Xiaoyan Qin, Yang Xu

Int. J. Mach. Learn. Cybern., 2014

Interval-valued <i>T</i>-fuzzy filters and interval-valued <i>T</i>-fuzzy congruences on residuated lattices.

Yi Liu, Yang Xu, Xiaoyan Qin

J. Intell. Fuzzy Syst., 2014

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words.

Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu

Inf. Sci., 2014

A linguistic multi-criteria decision making approach based on logical reasoning.

Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto

Inf. Sci., 2014

<i>α</i>-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic.

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2014

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic <i>L</i>_{<i>V</i>(<i>n×</i>2)}P(X).

Jiafeng Zhang, Yang Xu, Xingxing He

Int. J. Comput. Intell. Syst., 2014

On (<i>M</i>, <i>N</i>)-<i>S I</i> (implicative) filters in <i>R</i>₀-algebras.

Jianming Zhan, Yang Xu, Young Bae Jun

Int. J. Comput. Intell. Syst., 2014

The fuzzy mapping aggregation operator based on rimer and its application.

Xiaoping Qiu, Ming Jian, Jun Liu, Yi Wang, Yang Xu

Int. J. Comput. Intell. Syst., 2014

2013

Multiary α-Resolution Principle for a Lattice-Valued Logic.

Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen

IEEE Trans. Fuzzy Syst., 2013

On the algebraic structure of binary lattice-valued fuzzy relations.

Xiaodong Pan, Yang Xu

Soft Comput., 2013

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic.

Li Zou, Peng Shi, Zheng Pei, Yang Xu

J. Intell. Fuzzy Syst., 2013

Approximation operators on complete completely distributive lattices.

Keyun Qin, Zheng Pei, Jilin Yang, Yang Xu

Inf. Sci., 2013

<i>IFI</i>-ideals of lattice implication algebras.

Hua Zhu, Jianbin Zhao, Yang Xu

Int. J. Comput. Intell. Syst., 2013

A Combination Algorithm of Multiple Lattice-Valued Concept Lattices.

Li Yang, Yuhui Wang, Yang Xu

Int. J. Comput. Intell. Syst., 2013

Combination of interval set and soft set.

Keyun Qin, Dan Meng, Zheng Pei, Yang Xu

Int. J. Comput. Intell. Syst., 2013

Determination of 3-Ary <i>α</i>-Resolution in Lattice-valued Propositional Logic LP(X).

Yi Liu, Hairui Jia, Yang Xu

Int. J. Comput. Intell. Syst., 2013

Syntax theory of finite lattice-valued propositional logic.

Xiaodong Pan, Dan Meng, Yang Xu

Sci. China Inf. Sci., 2013

Theorey of vector truth degrees of formulas in two-valued predicate logic.

Xiaoyan Qin, Yang Xu

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

1-minimal resolution principle based on lattice-valued propositional logic LP(X).

Hairui Jia, Yang Xu, Yi Liu, Huicong He

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

Chairing the ISKE Conference Series (2006-2011).

Yang Xu, Tianrui Li

Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000.

Yang Xu

Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

Chairing the FLINS Conference Series (1994-2012).

Etienne E. Kerre, Martine De Cock, Mike Nachtegael, Javier Montero, Yang Xu, Tianrui Li

Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

2012

General form of α-resolution principle for linguistic truth-valued lattice-valued logic.

Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2012

Modelling experts' attitudes in group decision making.

Ivan Palomares, Jun Liu, Yang Xu, Luis Martínez-López

Soft Comput., 2012

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2012

Linguistic Truth-Valued Intuitionistic Fuzzy Algebra.

Li Zou, Xin Liu, Da Ruan, Yang Xu

J. Multiple Valued Log. Soft Comput., 2012

ChineseWord Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules.

Xiaoping Qiu, Gangqiao Shi, Yi Wang, Yang Xu, Ping Zheng, Fengyao Zhou

J. Multiple Valued Log. Soft Comput., 2012

A special issue on new trends in Intelligent Decision Support Systems.

Guangquan Zhang, Yang Xu, Tianrui Li

Knowl. Based Syst., 2012

Lattice-valued matrix game with mixed strategies for intelligent decision support.

Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen

Knowl. Based Syst., 2012

A linguistic aggregation operator with three kinds of weights for nuclear safeguards evaluation.

Zheng Pei, Da Ruan, Jun Liu, Yang Xu

Knowl. Based Syst., 2012

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2012

On <i>α</i>-satisfiability and its <i>α</i>-lock resolution in a finite lattice-valued propositional logic.

Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan

Log. J. IGPL, 2012

Soft Rough Sets Based on Similarity Measures.

Keyun Qin, Zhenming Song, Yang Xu

Proceedings of the Rough Sets and Knowledge Technology - 7th International Conference, 2012

2011

A Linguistic-Valued Lattice Implication Algebra Approach for Risk Analysis.

Li Zou, Da Ruan, Zheng Pei, Yang Xu

J. Multiple Valued Log. Soft Comput., 2011

Research on the realization method of workflow engine in enterprise information management.

Xiaoping Qiu, Gangqiao Shi, Changlin Song, Yang Xu

J. Enterp. Inf. Manag., 2011

Determination of α-resolution in lattice-valued first-order logic LF(X).

Yang Xu, Jun Liu, Da Ruan, Xiaobing Li

Inf. Sci., 2011

alpha-resolution method for a lattice-valued first-order logic.

Xingxing He, Yang Xu, Jun Liu, Da Ruan

Eng. Appl. Artif. Intell., 2011

Theories and Approaches to Treat Incomparability.

Yang Xu, Jun Liu

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2011

Rough Approximations in General Approximation Spaces.

Keyun Qin, Zheng Pei, Yang Xu

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2011

Soft Lattice Implication Algebras.

Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu

Proceedings of the Applied Informatics and Communication - International Conference, 2011

α-group resolution method based on lattice-valued propositional logic LP(X).

Xiaomei Zhong, Yang Xu

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

α - Semantic resolution method in lattice-valued logic.

Jiafeng Zhang, Yang Xu

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Intelligent landing control system for civil aviation aircraft with dual fuzzy neural network.

Kaijun Xu, Guangming Zhang, Yang Xu

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

α-generalized linear resolution method based on lattice-valued propositional logic LP(X).

Weitao Xu, Yang Xu

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Dual Fuzzy Neural Network Control in Civil Aviation Intelligent Landing System.

Kaijun Xu, Guangming Zhang, Yang Xu

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010

Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice.

Li Yang, Yang Xu

J. Univers. Comput. Sci., 2010

Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty.

Yang Xu, Jun Liu, Luis Martínez-López, Da Ruan

J. Univers. Comput. Sci., 2010

Information Fusion and Logic-based Reasoning Approaches for Decision Making under Uncertainty.

Luis Martínez-López, Jun Liu, Yang Xu

J. Univers. Comput. Sci., 2010

On filter theory of residuated lattices.

Yiquan Zhu, Yang Xu

Inf. Sci., 2010

Linguistic truth-valued lattice-valued propositional logic system <i>l</i>P(X) based on linguistic truth-valued lattice implication algebra.

Jiajun Lai, Yang Xu

Inf. Sci., 2010

A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice.

Li Yang, Yang Xu

Int. J. Gen. Syst., 2010

Semantic theory of finite lattice-valued propositional logic.

Xiaodong Pan, Yang Xu

Sci. China Inf. Sci., 2010

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic.

Xiaodong Pan, Yang Xu, Luis Martínez-López, Da Ruan, Jun Liu

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

<i>alpha</i>-Satisfiability and <i>alpha</i>-Lock Resolution for a Lattice-Valued Logic LP(X).

Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

2009

Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations.

Zheng Pei, Yang Xu, Da Ruan, Keyun Qin

Inf. Sci., 2009

Generalized Fuzzy Filters of Lattice Implication Algebras.

Jianming Zhan, Yang Xu

Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

An Identifier-Based Control Method in Dynamic Tracking Neuro-Fuzzy Control System.

Kaijun Xu, Yang Li, Weitao Xu, Yang Xu

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008

Generalized Fuzzy Filters of MTL-algebras.

Xueling Ma, Jianming Zhan, Yang Xu

J. Multiple Valued Log. Soft Comput., 2008

A Linguistic Lattice-Valued Approach for Fuzzy Multi-Objective Decision Making.

Xiaobing Li, Da Ruan, Jun Liu, Yang Xu

J. Multiple Valued Log. Soft Comput., 2008

A fuzzy model of customer satisfaction index in e-commerce.

Xiaohong Liu, Xianyi Zeng, Yang Xu, Ludovic Koehl

Math. Comput. Simul., 2008

A linguistic truth-valued reasoning approach in decision making with incomparable information.

Zou Li, Da Ruan, Pei Zheng, Yang Xu

J. Intell. Fuzzy Syst., 2008

Lattice implication ordered semigroups.

Xiaodong Pan, Yang Xu

Inf. Sci., 2008

Computational Intelligence in Knowledge Engineering.

Tianrui Li, Yang Xu

Int. J. Comput. Intell. Syst., 2008

A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information.

Xiaobing Li, Da Ruan, Jun Liu, Yang Xu

Int. J. Comput. Intell. Syst., 2008

A uniform approach of linguistic truth values in sensor evaluation.

Li Zou, Xin Liu, Zhengjiang Wu, Yang Xu

Fuzzy Optim. Decis. Mak., 2008

Some types of generalized fuzzy filters of BL-algebras.

Jianming Zhan, Yang Xu

Comput. Math. Appl., 2008

Credit Rating Method with Heterogeneous Information.

Dan Meng, Yang Xu

Proceedings of the Rough Sets and Knowledge Technology, Third International Conference, 2008

Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making.

Li Zou, Wenjiang Li, Yang Xu

Proceedings of the Advances in Neural Networks, 2008

Resolution method of six-element linguistic truth-valued intuitionistic propositional logic.

Li Zou, Fang Sun, Yang Xu

Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008

A Dynamic Neuro-Fuzzy Controller for Gas-Fired Water Heater.

Kaijun Xu, Xiaoping Qiu, Xiaobing Li, Yang Xu

Proceedings of the Fourth International Conference on Natural Computation, 2008

2007

Generalized fuzzy filters of <i>R</i>₀-algebras.

Xueling Ma, Jianming Zhan, Yang Xu

Soft Comput., 2007

Pseudo-BCK algebras and PD-posets.

Yong Lin Liu, San Yang Liu, Yang Xu

Soft Comput., 2007

A rough sets based characteristic relation approach for dynamic attribute generalization in data mining.

Tianrui Li, Da Ruan, Geert Wets, Jing Song, Yang Xu

Knowl. Based Syst., 2007

Filter-based resolution principle for lattice-valued propositional logic LP(<i>X</i>).

Jun Ma, Wenjiang Li, Da Ruan, Yang Xu

Inf. Sci., 2007

BCI-implicative ideals of BCI-algebras.

Yong Lin Liu, Yang Xu, Jie Meng

Inf. Sci., 2007

Redefined fuzzy implicative filters.

Young Bae Jun, Yang Xu, Jun Ma

Inf. Sci., 2007

An Intelligent Sensory Evaluation Method for Industrial Products Characterization.

Yang Xu, Xianyi Zeng, Ludovic Koehl

Int. J. Inf. Technol. Decis. Mak., 2007

Handling linguistic web information based on a multi-agent system.

Zheng Pei, Da Ruan, Yang Xu, Jun Liu

Int. J. Intell. Syst., 2007

Erratum to "A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making" [Int. J. Approx. Reasoning 44 (2007) 165-181].

Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang

Int. J. Approx. Reason., 2007

A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making.

Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang

Int. J. Approx. Reason., 2007

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.

Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Sub-algebras of Finite Lattice Implication Algebra.

Yang Xu, Jun Ma, Jiajun Lai

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.

Yang Xu, Shuwei Chen, Jun Liu, Da Ruan

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Semantics Properties of Compound Evaluating Syntagms.

Zheng Pei, Baoqing Jiang, Liangzhong Yi, Yang Xu

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework.

Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Congruence Relations Induced by Filters and LI-Ideals.

Zhiyan Chang, Yang Xu

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

An Application of Dual-fuzzy Neural-networks to Design of Adaptive Fuzzy Controllers.

Kaijun Xu, Li Zou, Jiajun Lai, Yang Xu

Proceedings of the Third International Conference on Natural Computation, 2007

The Mixed Hierarchical Fuzzy Evaluation System Based on Dynamic Neural Network.

Xiaoping Qiu, Yang Xu, Haiming Li

Proceedings of the Third International Conference on Natural Computation, 2007

Transformation of Linguistic Truth Values During the Sensor Evaluation.

Zhengjiang Wu, Xin Liu, Li Zou, Yang Xu

Proceedings of the Fuzzy Information and Engineering, 2007

Probabilistic Fuzzy Hypernear-Rings.

Xueling Ma, Jianming Zhan, Yang Xu

Proceedings of the Fuzzy Information and Engineering, 2007

On Relationships of Filters in Lattice Implication Algebra.

Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen

Proceedings of the Fuzzy Information and Engineering, 2007

A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA.

Li Zou, Jinglong Li, Kaijun Xu, Yang Xu

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

Decision-Making Based on Case Similarity with Alterable Weights.

Chuanhua Zeng, Yang Xu, Weicheng Xie

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

The Layered Fuzzy Clustering Method Based on Distance and Density.

Xiaoping Qiu, Yang Xu, Xiaobing Li

Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

2006

Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference.

Zheng Pei, Germano Resconi, Ariën J. van der Wal, Keyun Qin, Yang Xu

Inf. Sci., 2006

On the consistency of rule bases based on lattice-valued first-order logic LF(X).

Yang Xu, Jun Liu, Da Ruan, Tsu-Tian Lee

Int. J. Intell. Syst., 2006

Fuzzy logic from the viewpoint of machine intelligence.

Jun Ma, S. Chen, Yang Xu

Fuzzy Sets Syst., 2006

A fuzzy logic system based on Schweizer-Sklar t-norm.

Xiaohong Zhang, Huacan He, Yang Xu

Sci. China Ser. F Inf. Sci., 2006

A framework of linguistic truth-valued propositional logic based on lattice implication algebra.

Li Zou, Jun Ma, Yang Xu

Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

2005

Sequential Pattern Mining.

Tianrui Li, Yang Xu, Da Ruan, Wuming Pan

Proceedings of the Intelligent Data Mining: Techniques and Applications, 2005

A study of enterprise human resource competence appraisement.

Xiaohong Liu, Da Ruan, Yang Xu

J. Enterp. Inf. Manag., 2005

Application of fuzzy Naive Bayes and a real-valued genetic algorithm in identification of fuzzy model.

Yongchuan Tang, Yang Xu

Inf. Sci., 2005

Fuzzy filters of MTL-algebras.

Young Bae Jun, Yang Xu, Xiaohong Zhang

Inf. Sci., 2005

Obtaining a Complex Linguistic Data Summaries from Database Based on a New Linguistic Aggregation Operator.

Zheng Pei, Yajun Du, Liangzhong Yi, Yang Xu

Proceedings of the Computational Intelligence and Bioinspired Systems, 2005

The Hierarchical Fuzzy Evaluation System and Its Application.

Xiaoping Qiu, Yang Xu, Ming Jian, Haiming Li

Proceedings of the Advances in Machine Learning and Cybernetics, 2005

On the alterability of rule [data mining].

Chuanhua Zeng, Yang Xu, Zheng Pei, Weicheng Xie

Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

Knowledge discovery for goods classification based on rough set.

Chuanhua Zeng, Yang Xu, Zheng Pei, Weicheng Xie

Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

A lattice-valued linguistic-based decision making method.

Jun Liu, Yang Xu, Da Ruan, Luis Martínez-López

Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

A kind of support vector fuzzy classifiers.

Shuwei Chen, Li Zou, Yan Gao, Yang Xu

Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

Linguistic Model for the Controlled Object.

Zhinong Miao, Xiangyu Zhao, Yang Xu

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning.

Dan Meng, Zaiqiang Zhang, Yang Xu

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic.

Shuwei Chen, Yang Xu, Jun Ma

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining.

Tianrui Li, Da Ruan, Tianmin Huang, Yang Xu

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

A two-phase method of approximate string match.

Yi Wang, Yang Xu, ZhenMing Xu

Proceedings of the IEEE International Conference on Systems, 2004

Workflow model of intelligent office information system.

Xiaoping Qiu, Yang Xu, Xiaohong Liu, Guofen Zhang

Proceedings of the IEEE International Conference on Systems, 2004

A model for handling linguistic terms in the framework of lattice-valued logic LF(X).

Jun Ma, W. J. Li, Yang Xu, Z. M. Song

Proceedings of the IEEE International Conference on Systems, 2004

Study on multi-intersected copy replication of DDBS.

Weihua Kou, Yang Xu

Proceedings of the IEEE International Conference on Systems, 2004

Uncertainty reasoning based on lattice-valued first-order logic L_vfl.

Shuwei Chen, Yang Xu

Proceedings of the IEEE International Conference on Systems, 2004

Study on Reduct and Core Computation in Incompatible Information Systems.

Tianrui Li, Keyun Qing, Ning Yang, Yang Xu

Proceedings of the Rough Sets and Current Trends in Computing, 2004

An Algorithm for Mining Lower Closed Itemsets.

Tianrui Li, Ming Qing, Jun Ma, Yang Xu

Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004

2003

Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability

Yang Xu, Keyun Qin, Da Ruan, Jun Liu

Studies in Fuzziness and Soft Computing 132, Springer, ISBN: 978-3-642-07279-6, 2003

A resolution-like strategy based on a lattice-valued logic.

Jun Liu, Da Ruan, Yang Xu, Zhenming Song

IEEE Trans. Fuzzy Syst., 2003

Rule acquisition and adjustment based on set-valued mapping.

Yang Xu, Jun Liu, Da Ruan

Inf. Sci., 2003

ILI-ideals and prime LI-ideals in lattice implication algebras.

Yong Lin Liu, San Yang Liu, Yang Xu, Keyun Qin

Inf. Sci., 2003

Graded consequence relations of lattice-valued propositional logic LP(X).

Xuefang Wang, Dan Meng, Yang Xu, Keyun Qin

Proceedings of the IEEE International Conference on Systems, 2003

Multilayered fuzzy clustering method based on distance and density.

Xiaoping Qiu, Dan Meng, Yongchuan Tang, Yang Xu

Proceedings of the IEEE International Conference on Systems, 2003

Dynamic adaptive fuzzy neural-network identification and its application.

Zheng Pei, Keyun Qin, Yang Xu

Proceedings of the IEEE International Conference on Systems, 2003

Resolution based on six lattice-valued proposition logic LP₆(X).

Dan Meng, Xuefang Wang, Yang Xu, Keyun Qin

Proceedings of the IEEE International Conference on Systems, 2003

Uncertainty reasoning based on filter of lattice implication algebra.

Jun Ma, Yang Xu, Tianrui Li, W. J. Li

Proceedings of the IEEE International Conference on Systems, 2003

A clustering application method based on mix type variables in social system appraisement.

Xiaohong Liu, Yang Xu, Keyun Qin, Zheng Pei

Proceedings of the IEEE International Conference on Systems, 2003

The consistency of rule-bases in lattice-valued first-order logic LF(X).

Tsu-Tian Lee, Yang Xu

Proceedings of the IEEE International Conference on Systems, 2003

Multiple attributes group decision making under fuzzy environment.

Ji-bin Lan, Yang Xu, Jia-Zhong Liu

Proceedings of the IEEE International Conference on Systems, 2003

2002

Fuzzy reasoning based on generalized fuzzy If-Then rules.

Yang Xu, Jun Liu, Da Ruan, Wenjiang Li

Int. J. Intell. Syst., 2002

A new fuzzy clustering method based on distance and density.

Xiaoping Qiu, Yunchuan Tang, Dan Meng, Yang Xu

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional Logic.

Dan Meng, Yang Xu

Proceedings of the 6th Joint Conference on Information Science, 2002

2001

alpha-Resolution principle based on first-order lattice-valued logic LF(X).

Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu

Inf. Sci., 2001

Fuzzy reasoning based on the extension principle.

Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song

Int. J. Intell. Syst., 2001

Local relation mapping theory of fuzzy reasoning.

Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin

Proceedings of the IEEE International Conference on Systems, 2001

Local relations hold reasoning.

Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin

Proceedings of the IEEE International Conference on Systems, 2001

A Method of Uncertainty Reasoning by Using Information.

Jun Ma, Jun Liu, Yang Xu

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Analysis and Design of a Fuzzy System Based on Fuzzy Entropy of Fuzzy Partition.

Ming Qing, Tianmin Huang, Yang Xu

Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

2000

alpha-Resolution principle based on lattice-valued propositional logic LP(X).

Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu

Inf. Sci., 2000

A study on fuzzy reasoning mechanism based on extension principle.

Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song

Proceedings of the Ninth IEEE International Conference on Fuzzy Systems, 2000

1999

<i>L</i>-Valued Propositional Logic <i>L</i>_vpl.

Yang Xu, Keyun Qin, Jun Liu, Zhenming Song

Inf. Sci., 1999

Lebesgue decomposition theorem for σ-finite signed fuzzy measures.

Qiang Zhang, Yang Xu, Wen Du

Fuzzy Sets Syst., 1999