Yang Xu

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 62

Top Venues

ISKE

Int. J. Comput. Intell. Syst.

Inf. Sci.

Knowl. Based Syst.

Publications

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci. 653 (2024)
Guoyan Zeng, Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu
A complementary ratio based clause selection method for contradiction separation dynamic deduction. Knowl. Based Syst. 284 (2024)
Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. 261 (2023)
Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu
Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. 622 (2023)
Xia Wang, Yang Xu, Jun Liu, Keming Wang
Reliability analysis of mobile agent control system with multiple alternative plans. Soft Comput. 27 (24) (2023)
Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen
Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE (2023)
Qinghua Liu, Yang Xu
Axiom selection over large theory based on new first-order formula metrics. Appl. Intell. 52 (2) (2022)
Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe
Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. 245 (2022)
Qinghua Liu, Yang Xu, Xingxing He
Attention recurrent cross-graph neural network for selecting premises. Int. J. Mach. Learn. Cybern. 13 (5) (2022)
Xia Wang, Yang Xu, Peiyao Liu
Formal Modeling and Verification of Multi-agent System Based on Timed Automata. ISKE (2021)
Xingxing He, Yang Xu, Jun Liu, Yingfang Li
with equality. Soft Comput. 25 (1) (2021)
Shuwei Chen, Jun Liu, Yang Xu
A logical reasoning based decision making method for handling qualitative knowledge. Int. J. Approx. Reason. 129 (2021)
Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu
Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. Comput. Intell. 37 (4) (2021)
Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao
Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE (2021)
Hairui Jia, Yang Xu, Yi Liu
Determination of 3-ary α-resolution in LP(X). ISKE (2021)
Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng
Formalization and Verification of Cyclic Group. ISKE (2021)
Fangli Ma, Yang Xu, Peng Xu
Research on the Minimum Size of Received Signal Strength Difference Localization Network. Int. J. Comput. Intell. Syst. 14 (1) (2021)
Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao
Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. ISKE (2021)
Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu
More efficient stochastic local search for satisfiability. Appl. Intell. 51 (6) (2021)
Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566 (2021)
Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, JianBing Yi
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. Inf. Sci. 566 (2021)
Huimin Fu, Jun Liu, Yang Xu
Focused random walk with probability distribution for SAT with long clauses. Appl. Intell. 50 (12) (2020)
Honglei Wei, Hairui Jia, Yingfang Li, Yang Xu
Verify and measure the quality of rule based machine leaning. Knowl. Based Syst. 205 (2020)
Feng Cao, Yang Xu, Jian Zhong, Xinran Ning
基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). 计算机科学 47 (3) (2020)
Jian Zhong, Yang Xu, Feng Cao
A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
Improving probability selecting based weights for Satisfiability Problem. CoRR (2020)
Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
Improving WalkSAT for Random 3-SAT Problems. J. Univers. Comput. Sci. 26 (2) (2020)
Wei Wang, Pengxi Yang, Yang Xu
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras. Int. J. Comput. Intell. Syst. 12 (1) (2019)
Yi Liu, Jun Liu, Ya Qin, Yang Xu
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. 12 (2) (2019)
Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Int. J. Comput. Intell. Syst. 12 (2) (2019)
Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. ISKE (2019)
Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning
CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. Symmetry 11 (9) (2019)
Wenjing Chang, Yang Xu, Shuwei Chen
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. Symmetry 11 (2) (2019)
Hua Zhu, Yi Liu, Yang Xu
On derivations of linguistic truth-valued lattice implication algebras. Int. J. Mach. Learn. Cybern. 9 (4) (2018)
Hairui Jia, Yi Liu, Yang Xu
Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system. J. Intell. Fuzzy Syst. 34 (3) (2018)
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 11 (1) (2018)
Wenjing Chang, Yang Xu, Shuwei Chen
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers. Int. J. Comput. Intell. Syst. 12 (1) (2018)
Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. Int. J. Comput. Intell. Syst. 11 (1) (2018)
Xiaodong Pan, Yang Xu
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. Soft Comput. 22 (6) (2018)
Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry 10 (11) (2018)
Xiaodong Pan, Yang Xu
Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. Soft Comput. 22 (6) (2018)
Zhongxue Hu, Yang Xu, Rong Hu
基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value). 计算机科学 45 (11A) (2018)
Xiqing Long, Yi Liu, Yang Xu
On A-subsets in lattice implication algebras. J. Intell. Fuzzy Syst. 35 (2) (2018)
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462 (2018)
Qingshan Chen, Yang Xu, Guanfeng Wu
基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 45 (12) (2018)
Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12 (1) (2018)
Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE (2017)
Xiqing Long, Hua Zhu, Yang Xu
Study on the properties of A-subset. J. Intell. Fuzzy Syst. 33 (6) (2017)
Fangli Ma, Yang Xu, Peng Xu
A nonlinear programming based universal optimization model of TDOA passive location. ISKE (2017)
Wenjing Chang, Guanfeng Wu, Yang Xu
Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE (2017)
Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He
Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE (2017)
Xiaodong Pan, Yang Xu
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. CoRR (2017)
Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. ISKE (2017)
Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning
An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. ISKE (2017)
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44 (11) (2017)
Qingshan Chen, Yang Xu, Jun Liu, Xingxing He
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems. Int. J. Comput. Intell. Syst. 10 (1) (2017)
Qinghua Liu, Yang Xu, Xingxing He
New terms metric based on substitutions. ISKE (2017)
Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu
Ideals and fuzzy ideals on residuated lattices. Int. J. Mach. Learn. Cybern. 8 (1) (2017)
Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu
Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. ISKE (2017)
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE (2017)
Hua Zhu, Jianbin Zhao, Yang Xu, Limin Du
Interval-Valued Belief Rule Inference Methodology Based on Evidential Reasoning-IRIMER. Int. J. Inf. Technol. Decis. Mak. 15 (6) (2016)
Hua Zhu, Jianbin Zhao, Yang Xu
2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making. Knowl. Based Syst. 103 (2016)
Hairui Jia, Yi Liu, Yang Xu
Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic. ISKE (2015)
Li Yang, Yuhui Wang, Yang Xu
Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice. ISKE (2015)
Yi Liu, Yang Xu, Xiaomei Zhong
Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X). J. Intell. Fuzzy Syst. 29 (4) (2015)
Yaya Liu, Keyun Qin, Yang Xu
Decision Making Approaches Based on Type 2 Fuzzy Soft Sets. ISKE (2015)
Wei Wang, Kuan-kuan Zhao, Yang Xu
On fuzzy filters of CI-algebras. FSKD (2015)
Xiaodong Pan, Yang Xu
Vague partition. ISKE (2015)
Xiaodong Pan, Yang Xu
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications. Int. J. Comput. Intell. Syst. 8 (sup1) (2015)
Long Zhang, Kaijun Xu, Heng Yin, Yang Xu
Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory. ISKE (2015)
Baihua Li, Xiaonan Li, Chang Pan, Li Zou, Yang Xu
(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic. ISKE (2015)
Keyun Qin, Qiong Liu, Yang Xu
Redefined soft relations and soft functions. Int. J. Comput. Intell. Syst. 8 (5) (2015)
Xingxing He, Yang Xu, Jun Liu
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE (2015)
Limin Du, Yang Xu, Jun Liu, Fangli Ma
GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition. Int. J. Comput. Intell. Syst. 8 (sup1) (2015)
Kaijun Xu, Heng Yin, Long Zhang, Yang Xu
Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management. ISKE (2015)
Zhijia Zhang, Yang Xu
The New Directed Hypergraph for CNF Formula of Propositional Logic. ISKE (2015)
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
α-Minimal Resolution Principle For A Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 8 (1) (2015)
Xiaoyan Qin, Yang Xu, Yi Liu
The validity degree vectors of formulae in two-valued predicate logic. Int. J. Comput. Intell. Syst. 8 (5) (2015)
Jiafeng Zhang, Yang Xu, Qin Chen
语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic). 计算机科学 42 (11) (2015)
Liuqian Jin, Xin Fang, Yang Xu
A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect Theory. Int. J. Comput. Intell. Syst. 8 (sup1) (2015)
Liuqian Jin, Jun Liu, Yang Xu, Xin Fang
A novel rule base representation and its inference method using the evidential reasoning approach. Knowl. Based Syst. 87 (2015)
Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu
alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System. ISKE (2015)
Yi Liu, Yang Xu, Hairui Jia
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)). 计算机科学 42 (4) (2015)
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. ISKE (2015)
Xiaodong Pan, Yang Xu
On lifting quasi-filters and strong lifting quasi-filters in MV-algebras. J. Intell. Fuzzy Syst. 28 (5) (2015)
Hua Zhu, Jianbin Zhao, Wenjing Chang, Yang Xu
2-Dimension Linguistic Lattice Implication Algebra. ISKE (2015)
Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu, Xiaodong Pan
-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems. Int. J. Comput. Intell. Syst. 8 (sup1) (2015)
Liuqian Jin, Yang Xu, Xin Fang
A Method for Interval Multi-attribute Decision Making Based on Evidential Reasoning and Third-Generation Prospect Theory. ISKE (2015)
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Comput. 18 (11) (2014)
Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 7 (3) (2014)
Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto
A linguistic multi-criteria decision making approach based on logical reasoning. Inf. Sci. 258 (2014)
Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. Inf. Sci. 263 (2014)
Jiafeng Zhang, Yang Xu, Xingxing He
P(X). Int. J. Comput. Intell. Syst. 7 (1) (2014)
Xiaomei Zhong, Yang Xu
alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). J. Multiple Valued Log. Soft Comput. 22 (4-6) (2014)
Xiaoping Qiu, Ming Jian, Jun Liu, Yi Wang, Yang Xu
The fuzzy mapping aggregation operator based on rimer and its application. Int. J. Comput. Intell. Syst. 7 (2) (2014)
Yi Liu, Xiaoyan Qin, Yang Xu
)-fuzzy filters theory on residuated lattices. Int. J. Mach. Learn. Cybern. 5 (5) (2014)
Jianming Zhan, Yang Xu, Young Bae Jun
-algebras. Int. J. Comput. Intell. Syst. 7 (6) (2014)
Yi Liu, Yang Xu, Xiaoyan Qin
-fuzzy congruences on residuated lattices. J. Intell. Fuzzy Syst. 26 (4) (2014)
Xiaodong Pan, Yang Xu
On the algebraic structure of binary lattice-valued fuzzy relations. Soft Comput. 17 (3) (2013)
Keyun Qin, Dan Meng, Zheng Pei, Yang Xu
Combination of interval set and soft set. Int. J. Comput. Intell. Syst. 6 (2) (2013)

Yang Xu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yang Xu