Yang Xu - RankMe

245 papers B 12C 1Misc 42Journal 140Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism. Eng. Appl. Artif. Intell. Guoyan Zeng, Guanfeng Wu, Shuwei Chen, Peiyao Liu, Jun Liu, Yang Xu, Jian Zhong
2026	J	`jnl`	Towards multi-clause automated deduction and theorem generation: Constructing and applying standard contradictions. Knowl. Based Syst. Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025	J	`jnl`	An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction. CoRR Yang Xu, Peiyao Liu, Shuwei Chen, Jun Liu
2025	J	`jnl`	Contradictions. CoRR Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025	J	`jnl`	Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm. CoRR Yang Xu, Xingxing He, Shuwei Chen, Jun Liu, Xiaomei Zhong
2025	J	`jnl`	Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction. CoRR Yang Xu, Shuwei Chen, Jun Liu, Feng Cao, Xingxing He
2024	J	`jnl`	A complementary ratio based clause selection method for contradiction separation dynamic deduction. Knowl. Based Syst. Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu
2024	J	`jnl`	Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci. Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu
2023	J	`jnl`	A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking. Inf. Fusion Xia Wang, Jun Liu, Samuel J. Moore, Chris D. Nugent, Yang Xu
2023	J	`jnl`	An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu
2023	Misc	`conf`	Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen
2023	J	`jnl`	Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu
2023	J	`jnl`	Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking. Knowl. Based Syst. Xia Wang, Jun Liu, Chris D. Nugent, Ian Cleland, Yang Xu
2023	J	`jnl`	Reliability analysis of mobile agent control system with multiple alternative plans. Soft Comput. Xia Wang, Yang Xu, Jun Liu, Keming Wang
2022	J	`jnl`	Attention recurrent cross-graph neural network for selecting premises. Int. J. Mach. Learn. Cybern. Qinghua Liu, Yang Xu, Xingxing He
2022	J	`jnl`	Axiom selection over large theory based on new first-order formula metrics. Appl. Intell. Qinghua Liu, Yang Xu
2022	J	`jnl`	Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe
2022	—	`conf`	Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking. UCAmI Xia Wang, Jun Liu, Chris D. Nugent, Samuel J. Moore, Yang Xu
2021	J	`jnl`	A logical reasoning based decision making method for handling qualitative knowledge. Int. J. Approx. Reason. Shuwei Chen, Jun Liu, Yang Xu
2021	J	`jnl`	A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. Inf. Sci. Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Jianbing Yi
2021	Misc	`conf`	Determination of 3-ary α-resolution in LP(X). ISKE Hairui Jia, Yang Xu, Yi Liu
2021	J	`jnl`	Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He
2021	Misc	`conf`	Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. ISKE Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao
2021	Misc	`conf`	Formal Modeling and Verification of Multi-agent System Based on Timed Automata. ISKE Xia Wang, Yang Xu, Peiyao Liu
2021	Misc	`conf`	Formalization and Verification of Cyclic Group. ISKE Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng
2021	Misc	`conf`	Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao
2021	J	`jnl`	Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. Comput. Intell. Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu
2021	J	`jnl`	More efficient stochastic local search for satisfiability. Appl. Intell. Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu
2021	J	`jnl`	Research on the Minimum Size of Received Signal Strength Difference Localization Network. Int. J. Comput. Intell. Syst. Fangli Ma, Yang Xu, Peng Xu
2021	J	`jnl`	α-Paramodulation method for a lattice-valued logic L Soft Comput. Xingxing He, Yang Xu, Jun Liu, Yingfang Li
2020	J	`jnl`	A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic. Int. J. Comput. Intell. Syst. Jian Zhong, Yang Xu, Feng Cao
2020	J	`jnl`	Focused random walk with probability distribution for SAT with long clauses. Appl. Intell. Huimin Fu, Jun Liu, Yang Xu
2020	J	`jnl`	Improving WalkSAT for Random 3-SAT Problems. J. Univers. Comput. Sci. Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
2020	J	`jnl`	Improving probability selecting based weights for Satisfiability Problem. CoRR Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
2020	J	`jnl`	Verify and measure the quality of rule based machine leaning. Knowl. Based Syst. Honglei Wei, Hairui Jia, Yingfang Li, Yang Xu
2020	J	`jnl`	基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). 计算机科学 Feng Cao, Yang Xu, Jian Zhong, Xinran Ning
2019	J	`jnl`	A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Int. J. Comput. Intell. Syst. Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu
2019	Misc	`conf`	A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. ISKE Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu
2019	J	`jnl`	A Novel Method Based on Extended Uncertain 2-tuple Linguistic Muirhead Mean Operators to MAGDM under Uncertain 2-Tuple Linguistic Environment. Int. J. Comput. Intell. Syst. Yi Liu, Jun Liu, Ya Qin, Yang Xu
2019	J	`jnl`	An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. Symmetry Wenjing Chang, Yang Xu, Shuwei Chen
2019	J	`jnl`	CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. Symmetry Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning
2019	J	`jnl`	Further Complete Solutions to Four Open Problems on Filter of Logical Algebras. Int. J. Comput. Intell. Syst. Wei Wang, Pengxi Yang, Yang Xu
2018	J	`jnl`	A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
2018	J	`jnl`	A New Rewarding Mechanism for Branching Heuristic in SAT Solvers. Int. J. Comput. Intell. Syst. Wenjing Chang, Yang Xu, Shuwei Chen
2018	J	`jnl`	An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. Int. J. Comput. Intell. Syst. Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu
2018	J	`jnl`	Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
2018	J	`jnl`	Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. Soft Comput. Xiaodong Pan, Yang Xu
2018	J	`jnl`	Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system. J. Intell. Fuzzy Syst. Hairui Jia, Yi Liu, Yang Xu
2018	J	`jnl`	Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2018	J	`jnl`	On A-subsets in lattice implication algebras. J. Intell. Fuzzy Syst. Xiqing Long, Yi Liu, Yang Xu
2018	J	`jnl`	On derivations of linguistic truth-valued lattice implication algebras. Int. J. Mach. Learn. Cybern. Hua Zhu, Yi Liu, Yang Xu
2018	J	`jnl`	Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. Soft Comput. Xiaodong Pan, Yang Xu
2018	J	`jnl`	Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu
2018	J	`jnl`	基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value). 计算机科学 Zhongxue Hu, Yang Xu, Rong Hu
2018	J	`jnl`	基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 Qingshan Chen, Yang Xu, Guanfeng Wu
2017	J	`jnl`	A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems. Int. J. Comput. Intell. Syst. Qingshan Chen, Yang Xu, Jun Liu, Xingxing He
2017	Misc	`conf`	A nonlinear programming based universal optimization model of TDOA passive location. ISKE Fangli Ma, Yang Xu, Peng Xu
2017	Misc	`conf`	Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE Wenjing Chang, Guanfeng Wu, Yang Xu
2017	Misc	`conf`	An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. ISKE Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning
2017	Misc	`conf`	Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
2017	Misc	`conf`	Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. ISKE Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu
2017	J	`jnl`	Ideals and fuzzy ideals on residuated lattices. Int. J. Mach. Learn. Cybern. Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu
2017	Misc	`conf`	Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. ISKE Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu
2017	Misc	`conf`	New terms metric based on substitutions. ISKE Qinghua Liu, Yang Xu, Xingxing He
2017	Misc	`conf`	Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
2017	J	`jnl`	Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. CoRR Xiaodong Pan, Yang Xu
2017	Misc	`conf`	Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He
2017	J	`jnl`	Study on the properties of A-subset. J. Intell. Fuzzy Syst. Xiqing Long, Hua Zhu, Yang Xu
2017	J	`jnl`	一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
2016	J	`jnl`	2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making. Knowl. Based Syst. Hua Zhu, Jianbin Zhao, Yang Xu
2016	J	`jnl`	Interval-Valued Belief Rule Inference Methodology Based on Evidential Reasoning-IRIMER. Int. J. Inf. Technol. Decis. Mak. Hua Zhu, Jianbin Zhao, Yang Xu, Limin Du
2015	Misc	`conf`	(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic. ISKE Baihua Li, Xiaonan Li, Chang Pan, Li Zou, Yang Xu
2015	J	`jnl`	-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems. Int. J. Comput. Intell. Syst. Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu, Xiaodong Pan
2015	Misc	`conf`	2-Dimension Linguistic Lattice Implication Algebra. ISKE Hua Zhu, Jianbin Zhao, Wenjing Chang, Yang Xu
2015	Misc	`conf`	A Method for Interval Multi-attribute Decision Making Based on Evidential Reasoning and Third-Generation Prospect Theory. ISKE Liuqian Jin, Yang Xu, Xin Fang
2015	J	`jnl`	A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect Theory. Int. J. Comput. Intell. Syst. Liuqian Jin, Xin Fang, Yang Xu
2015	J	`jnl`	A novel rule base representation and its inference method using the evidential reasoning approach. Knowl. Based Syst. Liuqian Jin, Jun Liu, Yang Xu, Xin Fang
2015	Misc	`conf`	Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE Xingxing He, Yang Xu, Jun Liu
2015	Misc	`conf`	Decision Making Approaches Based on Type 2 Fuzzy Soft Sets. ISKE Yaya Liu, Keyun Qin, Yang Xu
2015	Misc	`conf`	Evaluation of Basic Public Services Quality for Optimizing Customer Satisfaction. ISKE Xiaohong Liu, Xianyi Zeng, Yang Xu
2015	Misc	`conf`	Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory. ISKE Long Zhang, Kaijun Xu, Heng Yin, Yang Xu
2015	J	`jnl`	GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition. Int. J. Comput. Intell. Syst. Limin Du, Yang Xu, Jun Liu, Fangli Ma
2015	Misc	`conf`	Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management. ISKE Kaijun Xu, Heng Yin, Long Zhang, Yang Xu
2015	J	`jnl`	Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X). J. Intell. Fuzzy Syst. Yi Liu, Yang Xu, Xiaomei Zhong
2015	Misc	`conf`	Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. ISKE Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2015	Misc	`conf`	Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic. ISKE Hairui Jia, Yi Liu, Yang Xu
2015	—	`conf`	On fuzzy filters of CI-algebras. FSKD Wei Wang, Kuan-kuan Zhao, Yang Xu
2015	J	`jnl`	On lifting quasi-filters and strong lifting quasi-filters in MV-algebras. J. Intell. Fuzzy Syst. Xiaodong Pan, Yang Xu
2015	J	`jnl`	Redefined soft relations and soft functions. Int. J. Comput. Intell. Syst. Keyun Qin, Qiong Liu, Yang Xu
2015	Misc	`conf`	Research on Rural Family Property of Western China and Its Legal Protection. ISKE Caijuan Zhang, Xiaohong Liu, Yang Xu
2015	J	`jnl`	Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications. Int. J. Comput. Intell. Syst. Xiaodong Pan, Yang Xu
2015	Misc	`conf`	Stakeholder Analysis of Ecological Environment Protection Projects. ISKE Bin Luo, Xiaohong Liu, Yang Xu
2015	Misc	`conf`	Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice. ISKE Li Yang, Yuhui Wang, Yang Xu
2015	Misc	`conf`	The New Directed Hypergraph for CNF Formula of Propositional Logic. ISKE Zhijia Zhang, Yang Xu
2015	J	`jnl`	The validity degree vectors of formulae in two-valued predicate logic. Int. J. Comput. Intell. Syst. Xiaoyan Qin, Yang Xu, Yi Liu
2015	Misc	`conf`	Vague partition. ISKE Xiaodong Pan, Yang Xu
2015	Misc	`conf`	alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System. ISKE Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu
2015	J	`jnl`	α-Minimal Resolution Principle For A Lattice-Valued Logic. Int. J. Comput. Intell. Syst. Hairui Jia, Yang Xu, Yi Liu, Jun Liu
2015	J	`jnl`	基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)). 计算机科学 Yi Liu, Yang Xu, Hairui Jia
2015	J	`jnl`	语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic). 计算机科学 Jiafeng Zhang, Yang Xu, Qin Chen
2014	J	`jnl`	A linguistic multi-criteria decision making approach based on logical reasoning. Inf. Sci. Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto
2014	J	`jnl`	A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Comput. Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2014	J	`jnl`	An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. Inf. Sci. Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu
2014	J	`jnl`	Interval-valued J. Intell. Fuzzy Syst. Yi Liu, Yang Xu, Xiaoyan Qin
2014	J	`jnl`	Interval-valued intuitionistic ( Int. J. Mach. Learn. Cybern. Yi Liu, Xiaoyan Qin, Yang Xu
2014	J	`jnl`	On ( Int. J. Comput. Intell. Syst. Jianming Zhan, Yang Xu, Young Bae Jun
2014	J	`jnl`	The fuzzy mapping aggregation operator based on rimer and its application. Int. J. Comput. Intell. Syst. Xiaoping Qiu, Ming Jian, Jun Liu, Yi Wang, Yang Xu
2014	J	`jnl`	alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). J. Multiple Valued Log. Soft Comput. Xiaomei Zhong, Yang Xu
2014	J	`jnl`	α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic Int. J. Comput. Intell. Syst. Jiafeng Zhang, Yang Xu, Xingxing He
2013	Misc	`conf`	1-minimal resolution principle based on lattice-valued propositional logic LP(X). ICMLC Hairui Jia, Yang Xu, Yi Liu, Huicong He
2013	J	`jnl`	A Combination Algorithm of Multiple Lattice-Valued Concept Lattices. Int. J. Comput. Intell. Syst. Li Yang, Yuhui Wang, Yang Xu
2013	J	`jnl`	A Stackelberg game-based spectrum allocation scheme in macro/femtocell hierarchical networks. Comput. Commun. Peng Xu, Xuming Fang, Meirong Chen, Yang Xu
2013	J	`jnl`	Approximation operators on complete completely distributive lattices. Inf. Sci. Keyun Qin, Zheng Pei, Jilin Yang, Yang Xu
2013	—	`conf`	Chairing the FLINS Conference Series (1994-2012). A Tribute to Prof. Dr. Da Ruan Etienne E. Kerre, Martine De Cock, Mike Nachtegael, Javier Montero, Yang Xu, Tianrui Li
2013	—	`conf`	Chairing the ISKE Conference Series (2006-2011). A Tribute to Prof. Dr. Da Ruan Yang Xu, Tianrui Li
2013	J	`jnl`	Combination of interval set and soft set. Int. J. Comput. Intell. Syst. Keyun Qin, Dan Meng, Zheng Pei, Yang Xu
2013	J	`jnl`	Determination of 3-Ary Int. J. Comput. Intell. Syst. Yi Liu, Hairui Jia, Yang Xu
2013	—	`conf`	Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000. A Tribute to Prof. Dr. Da Ruan Yang Xu
2013	J	`jnl`	Multiary α-Resolution Principle for a Lattice-Valued Logic. IEEE Trans. Fuzzy Syst. Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
2013	J	`jnl`	On an algebra of linguistic truth-valued intuitionistic lattice-valued logic. J. Intell. Fuzzy Syst. Li Zou, Peng Shi, Zheng Pei, Yang Xu
2013	J	`jnl`	On the algebraic structure of binary lattice-valued fuzzy relations. Soft Comput. Xiaodong Pan, Yang Xu
2013	J	`jnl`	Syntax theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. Xiaodong Pan, Dan Meng, Yang Xu
2013	Misc	`conf`	Theorey of vector truth degrees of formulas in two-valued predicate logic. ICMLC Xiaoyan Qin, Yang Xu
2012	J	`jnl`	A linguistic aggregation operator with three kinds of weights for nuclear safeguards evaluation. Knowl. Based Syst. Zheng Pei, Da Ruan, Jun Liu, Yang Xu
2012	J	`jnl`	A special issue on new trends in Intelligent Decision Support Systems. Knowl. Based Syst. Guangquan Zhang, Yang Xu, Tianrui Li
2012	J	`jnl`	ChineseWord Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules. J. Multiple Valued Log. Soft Comput. Xiaoping Qiu, Gangqiao Shi, Yi Wang, Yang Xu, Ping Zheng, Fengyao Zhou
2012	J	`jnl`	General form of α-resolution principle for linguistic truth-valued lattice-valued logic. Soft Comput. Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
2012	J	`jnl`	Lattice-valued matrix game with mixed strategies for intelligent decision support. Knowl. Based Syst. Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen
2012	J	`jnl`	Linguistic Truth-Valued Intuitionistic Fuzzy Algebra. J. Multiple Valued Log. Soft Comput. Li Zou, Xin Liu, Da Ruan, Yang Xu
2012	J	`jnl`	Modelling experts' attitudes in group decision making. Soft Comput. Ivan Palomares, Jun Liu, Yang Xu, Luis Martínez-López
2012	J	`jnl`	On Log. J. IGPL Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan
2012	J	`jnl`	On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2012	—	`conf`	Soft Rough Sets Based on Similarity Measures. RSKT Keyun Qin, Zhenming Song, Yang Xu
2012	J	`jnl`	α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int. J. Comput. Intell. Syst. Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2011	J	`jnl`	A Linguistic-Valued Lattice Implication Algebra Approach for Risk Analysis. J. Multiple Valued Log. Soft Comput. Li Zou, Da Ruan, Zheng Pei, Yang Xu
2011	J	`jnl`	Determination of α-resolution in lattice-valued first-order logic LF(X). Inf. Sci. Yang Xu, Jun Liu, Da Ruan, Xiaobing Li
2011	—	`conf`	Dual Fuzzy Neural Network Control in Civil Aviation Intelligent Landing System. AICI (2) Kaijun Xu, Guangming Zhang, Yang Xu
2011	—	`conf`	Intelligent landing control system for civil aviation aircraft with dual fuzzy neural network. FSKD Kaijun Xu, Guangming Zhang, Yang Xu
2011	J	`jnl`	Research on the realization method of workflow engine in enterprise information management. J. Enterp. Inf. Manag. Xiaoping Qiu, Gangqiao Shi, Changlin Song, Yang Xu
2011	—	`conf`	Rough Approximations in General Approximation Spaces. IUKM Keyun Qin, Zheng Pei, Yang Xu
2011	—	`conf`	Soft Lattice Implication Algebras. ICAIC (4) Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu
2011	—	`conf`	Theories and Approaches to Treat Incomparability. IUKM Yang Xu, Jun Liu
2011	J	`jnl`	alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. Xingxing He, Yang Xu, Jun Liu, Da Ruan
2011	—	`conf`	α - Semantic resolution method in lattice-valued logic. FSKD Jiafeng Zhang, Yang Xu
2011	—	`conf`	α-generalized linear resolution method based on lattice-valued propositional logic LP(X). FSKD Weitao Xu, Yang Xu
2011	—	`conf`	α-group resolution method based on lattice-valued propositional logic LP(X). FSKD Xiaomei Zhong, Yang Xu
2010	J	`jnl`	A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice. Int. J. Gen. Syst. Li Yang, Yang Xu
2010	J	`jnl`	Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice. J. Univers. Comput. Sci. Li Yang, Yang Xu
2010	J	`jnl`	Information Fusion and Logic-based Reasoning Approaches for Decision Making under Uncertainty. J. Univers. Comput. Sci. Luis Martínez-López, Jun Liu, Yang Xu
2010	J	`jnl`	Linguistic truth-valued lattice-valued propositional logic system Inf. Sci. Jiajun Lai, Yang Xu
2010	—	`conf`	On Compactness and Consistency in Finite Lattice-Valued Propositional Logic. HAIS (2) Xiaodong Pan, Yang Xu, Luis Martínez-López, Da Ruan, Jun Liu
2010	J	`jnl`	On filter theory of residuated lattices. Inf. Sci. Yiquan Zhu, Yang Xu
2010	J	`jnl`	Semantic theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. Xiaodong Pan, Yang Xu
2010	J	`jnl`	Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty. J. Univers. Comput. Sci. Yang Xu, Jun Liu, Luis Martínez-López, Da Ruan
2009	—	`conf`	An Identifier-Based Control Method in Dynamic Tracking Neuro-Fuzzy Control System. CSIE (5) Kaijun Xu, Yang Li, Weitao Xu, Yang Xu
2009	J	`jnl`	Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. Inf. Sci. Zheng Pei, Yang Xu, Da Ruan, Keyun Qin
2009	—	`conf`	Generalized Fuzzy Filters of Lattice Implication Algebras. FSKD (6) Jianming Zhan, Yang Xu
2008	—	`conf`	A Dynamic Neuro-Fuzzy Controller for Gas-Fired Water Heater. ICNC (7) Kaijun Xu, Xiaoping Qiu, Xiaobing Li, Yang Xu
2008	J	`jnl`	A Linguistic Lattice-Valued Approach for Fuzzy Multi-Objective Decision Making. J. Multiple Valued Log. Soft Comput. Xiaobing Li, Da Ruan, Jun Liu, Yang Xu
2008	J	`jnl`	A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information. Int. J. Comput. Intell. Syst. Xiaobing Li, Da Ruan, Jun Liu, Yang Xu
2008	J	`jnl`	A fuzzy model of customer satisfaction index in e-commerce. Math. Comput. Simul. Xiaohong Liu, Xianyi Zeng, Yang Xu, Ludovic Koehl
2008	J	`jnl`	A linguistic truth-valued reasoning approach in decision making with incomparable information. J. Intell. Fuzzy Syst. Zou Li, Da Ruan, Pei Zheng, Yang Xu
2008	J	`jnl`	A uniform approach of linguistic truth values in sensor evaluation. Fuzzy Optim. Decis. Mak. Li Zou, Xin Liu, Zhengjiang Wu, Yang Xu
2008	J	`jnl`	Computational Intelligence in Knowledge Engineering. Int. J. Comput. Intell. Syst. Tianrui Li, Yang Xu
2008	—	`conf`	Credit Rating Method with Heterogeneous Information. RSKT Dan Meng, Yang Xu
2008	J	`jnl`	Generalized Fuzzy Filters of MTL-algebras. J. Multiple Valued Log. Soft Comput. Xueling Ma, Jianming Zhan, Yang Xu
2008	J	`jnl`	Lattice implication ordered semigroups. Inf. Sci. Xiaodong Pan, Yang Xu
2008	—	`conf`	On Generalized Fuzzy Filters of MTL-Algebras. FSKD (1) Xueling Ma, Jianming Zhan, Yang Xu
2008	Misc	`conf`	Resolution method of six-element linguistic truth-valued intuitionistic propositional logic. ISKE Li Zou, Fang Sun, Yang Xu
2008	—	`conf`	Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. ISNN (1) Li Zou, Wenjiang Li, Yang Xu
2008	J	`jnl`	Some types of generalized fuzzy filters of BL-algebras. Comput. Math. Appl. Jianming Zhan, Yang Xu
2007	—	`conf`	A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA. FSKD (1) Li Zou, Jinglong Li, Kaijun Xu, Yang Xu
2007	J	`jnl`	A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making. Int. J. Approx. Reason. Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang
2007	J	`jnl`	A rough sets based characteristic relation approach for dynamic attribute generalization in data mining. Knowl. Based Syst. Tianrui Li, Da Ruan, Geert Wets, Jing Song, Yang Xu
2007	—	`conf`	An Application of Dual-fuzzy Neural-networks to Design of Adaptive Fuzzy Controllers. ICNC (1) Kaijun Xu, Li Zou, Jiajun Lai, Yang Xu
2007	J	`jnl`	An Intelligent Sensory Evaluation Method for Industrial Products Characterization. Int. J. Inf. Technol. Decis. Mak. Yang Xu, Xianyi Zeng, Ludovic Koehl
2007	—	`conf`	Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. ISMVL Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu
2007	J	`jnl`	BCI-implicative ideals of BCI-algebras. Inf. Sci. Yong Lin Liu, Yang Xu, Jie Meng
2007	—	`conf`	Congruence Relations Induced by Filters and LI-Ideals. IFSA (2) Zhiyan Chang, Yang Xu
2007	—	`conf`	Decision-Making Based on Case Similarity with Alterable Weights. FSKD (1) Chuanhua Zeng, Yang Xu, Weicheng Xie
2007	J	`jnl`	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]. Int. J. Approx. Reason. Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang
2007	J	`jnl`	Filter-based resolution principle for lattice-valued propositional logic LP( Inf. Sci. Jun Ma, Wenjiang Li, Da Ruan, Yang Xu
2007	J	`jnl`	Generalized fuzzy filters of Soft Comput. Xueling Ma, Jianming Zhan, Yang Xu
2007	J	`jnl`	Handling linguistic web information based on a multi-agent system. Int. J. Intell. Syst. Zheng Pei, Da Ruan, Yang Xu, Jun Liu
2007	—	`conf`	On Relationships of Filters in Lattice Implication Algebra. ICFIE Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen
2007	—	`conf`	Probabilistic Fuzzy Hypernear-Rings. ICFIE Xueling Ma, Jianming Zhan, Yang Xu
2007	J	`jnl`	Pseudo-BCK algebras and PD-posets. Soft Comput. Yong Lin Liu, San Yang Liu, Yang Xu
2007	J	`jnl`	Redefined fuzzy implicative filters. Inf. Sci. Young Bae Jun, Yang Xu, Jun Ma
2007	—	`conf`	Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. IFSA (2) Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu
2007	—	`conf`	Semantics Properties of Compound Evaluating Syntagms. IFSA (2) Zheng Pei, Baoqing Jiang, Liangzhong Yi, Yang Xu
2007	—	`conf`	Sub-algebras of Finite Lattice Implication Algebra. IFSA (2) Yang Xu, Jun Ma, Jiajun Lai
2007	—	`conf`	The Layered Fuzzy Clustering Method Based on Distance and Density. FSKD (2) Xiaoping Qiu, Yang Xu, Xiaobing Li
2007	—	`conf`	The Mixed Hierarchical Fuzzy Evaluation System Based on Dynamic Neural Network. ICNC (1) Xiaoping Qiu, Yang Xu, Haiming Li
2007	—	`conf`	Transformation of Linguistic Truth Values During the Sensor Evaluation. ICFIE Zhengjiang Wu, Xin Liu, Li Zou, Yang Xu
2007	—	`conf`	Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic. IFSA (2) Yang Xu, Shuwei Chen, Jun Liu, Da Ruan
2006	Misc	`conf`	A framework of linguistic truth-valued propositional logic based on lattice implication algebra. GrC Li Zou, Jun Ma, Yang Xu
2006	J	`jnl`	A fuzzy logic system based on Schweizer-Sklar t-norm. Sci. China Ser. F Inf. Sci. Xiaohong Zhang, Huacan He, Yang Xu
2006	J	`jnl`	Fuzzy logic from the viewpoint of machine intelligence. Fuzzy Sets Syst. Jun Ma, S. Chen, Yang Xu
2006	J	`jnl`	Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference. Inf. Sci. Zheng Pei, Germano Resconi, Ariën J. van der Wal, Keyun Qin, Yang Xu
2006	J	`jnl`	On the consistency of rule bases based on lattice-valued first-order logic LF(X). Int. J. Intell. Syst. Yang Xu, Jun Liu, Da Ruan, Tsu-Tian Lee
2005	—	`conf`	A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning. FSKD (1) Dan Meng, Zaiqiang Zhang, Yang Xu
2005	—	`conf`	A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. FSKD (1) Shuwei Chen, Yang Xu, Jun Ma
2005	Misc	`conf`	A kind of support vector fuzzy classifiers. GrC Shuwei Chen, Li Zou, Yan Gao, Yang Xu
2005	Misc	`conf`	A lattice-valued linguistic-based decision making method. GrC Jun Liu, Yang Xu, Da Ruan, Luis Martínez-López
2005	J	`jnl`	A study of enterprise human resource competence appraisement. J. Enterp. Inf. Manag. Xiaohong Liu, Da Ruan, Yang Xu
2005	J	`jnl`	Application of fuzzy Naive Bayes and a real-valued genetic algorithm in identification of fuzzy model. Inf. Sci. Yongchuan Tang, Yang Xu
2005	J	`jnl`	Fuzzy filters of MTL-algebras. Inf. Sci. Young Bae Jun, Yang Xu, Xiaohong Zhang
2005	Misc	`conf`	Knowledge discovery for goods classification based on rough set. GrC Chuanhua Zeng, Yang Xu, Zheng Pei, Weicheng Xie
2005	—	`conf`	Linguistic Model for the Controlled Object. FSKD (1) Zhinong Miao, Xiangyu Zhao, Yang Xu
2005	Misc	`conf`	Obtaining a Complex Linguistic Data Summaries from Database Based on a New Linguistic Aggregation Operator. IWANN Zheng Pei, Yajun Du, Liangzhong Yi, Yang Xu
2005	—	`conf`	On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining. Australian Conference on Artificial Intelligence Tianrui Li, Da Ruan, Tianmin Huang, Yang Xu
2005	Misc	`conf`	On the alterability of rule [data mining]. GrC Chuanhua Zeng, Yang Xu, Zheng Pei, Weicheng Xie
2005	—	`ch.`	Sequential Pattern Mining. Intelligent Data Mining Tianrui Li, Yang Xu, Da Ruan, Wuming Pan
2005	Misc	`conf`	The Hierarchical Fuzzy Evaluation System and Its Application. ICMLC Xiaoping Qiu, Yang Xu, Ming Jian, Haiming Li
2004	—	`conf`	A model for handling linguistic terms in the framework of lattice-valued logic LF(X). SMC (2) Jun Ma, W. J. Li, Yang Xu, Z. M. Song
2004	—	`conf`	A two-phase method of approximate string match. SMC (4) Yi Wang, Yang Xu, Zhenming Xu
2004	C	`conf`	An Algorithm for Mining Lower Closed Itemsets. PDCAT Tianrui Li, Ming Qing, Jun Ma, Yang Xu
2004	—	`conf`	Study on Reduct and Core Computation in Incompatible Information Systems. Rough Sets and Current Trends in Computing Tianrui Li, Keyun Qing, Ning Yang, Yang Xu
2004	—	`conf`	Study on multi-intersected copy replication of DDBS. SMC (5) Weihua Kou, Yang Xu
2004	—	`conf`	Uncertainty reasoning based on lattice-valued first-order logic L SMC (3) Shuwei Chen, Yang Xu
2004	—	`conf`	Workflow model of intelligent office information system. SMC (1) Xiaoping Qiu, Yang Xu, Xiaohong Liu, Guofen Zhang
2003	B	`conf`	A clustering application method based on mix type variables in social system appraisement. SMC Xiaohong Liu, Yang Xu, Keyun Qin, Zheng Pei
2003	J	`jnl`	A resolution-like strategy based on a lattice-valued logic. IEEE Trans. Fuzzy Syst. Jun Liu, Da Ruan, Yang Xu, Zhenming Song
2003	B	`conf`	Dynamic adaptive fuzzy neural-network identification and its application. SMC Zheng Pei, Keyun Qin, Yang Xu
2003	B	`conf`	Graded consequence relations of lattice-valued propositional logic LP(X). SMC Xuefang Wang, Dan Meng, Yang Xu, Keyun Qin
2003	J	`jnl`	ILI-ideals and prime LI-ideals in lattice implication algebras. Inf. Sci. Yong Lin Liu, San Yang Liu, Yang Xu, Keyun Qin
2003	—	`book`	Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability Yang Xu, Keyun Qin, Da Ruan, Jun Liu
2003	B	`conf`	Multilayered fuzzy clustering method based on distance and density. SMC Xiaoping Qiu, Dan Meng, Yongchuan Tang, Yang Xu
2003	B	`conf`	Multiple attributes group decision making under fuzzy environment. SMC Ji-bin Lan, Yang Xu, Jia-Zhong Liu
2003	B	`conf`	Resolution based on six lattice-valued proposition logic LP SMC Dan Meng, Xuefang Wang, Yang Xu, Keyun Qin
2003	J	`jnl`	Rule acquisition and adjustment based on set-valued mapping. Inf. Sci. Yang Xu, Jun Liu, Da Ruan
2003	B	`conf`	The consistency of rule-bases in lattice-valued first-order logic LF(X). SMC Tsu-Tian Lee, Yang Xu
2003	B	`conf`	Uncertainty reasoning based on filter of lattice implication algebra. SMC Jun Ma, Yang Xu, Tianrui Li, W. J. Li
2002	—	`conf`	A new fuzzy clustering method based on distance and density. SMC (2) Xiaoping Qiu, Yunchuan Tang, Dan Meng, Yang Xu
2002	J	`jnl`	Fuzzy reasoning based on generalized fuzzy If-Then rules. Int. J. Intell. Syst. Yang Xu, Jun Liu, Da Ruan, Wenjiang Li
2002	—	`conf`	alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional Logic. JCIS Dan Meng, Yang Xu
2001	—	`conf`	A Method of Uncertainty Reasoning by Using Information. ISMVL Jun Ma, Jun Liu, Yang Xu
2001	B	`conf`	Analysis and Design of a Fuzzy System Based on Fuzzy Entropy of Fuzzy Partition. FUZZ-IEEE Ming Qing, Tianmin Huang, Yang Xu
2001	J	`jnl`	Fuzzy reasoning based on the extension principle. Int. J. Intell. Syst. Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song
2001	B	`conf`	Local relation mapping theory of fuzzy reasoning. SMC Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin
2001	B	`conf`	Local relations hold reasoning. SMC Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin
2001	J	`jnl`	alpha-Resolution principle based on first-order lattice-valued logic LF(X). Inf. Sci. Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu
2000	B	`conf`	A study on fuzzy reasoning mechanism based on extension principle. FUZZ-IEEE Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song
2000	J	`jnl`	alpha-Resolution principle based on lattice-valued propositional logic LP(X). Inf. Sci. Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu
1999	J	`jnl`	Lebesgue decomposition theorem for σ-finite signed fuzzy measures. Fuzzy Sets Syst. Qiang Zhang, Yang Xu, Wen Du