


default search action
Yang Xu 0001
Person information
- affiliation: Southwest Jiaotong University, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China
- affiliation: Southwest Jiaotong University, Department of Applied Mathematics, Chengdu, China
- affiliation: Southwest Jiaotong Universitay, Intelligent Control Development Center, Chengdu, China
Other persons with the same name
- Yang Xu — disambiguation page
- Yang Xu 0002
— Hong Kong Polytechnic University, Department of Land Surveying and Geo-Informatics, China (and 2 more)
- Yang Xu 0003
— University of Electronic Science and Technology of China, Chengdu, China (and 1 more)
- Yang Xu 0004
— Central South University, School of Information Science and Engineering, Changsha, China (and 1 more)
- Yang Xu 0005
— Texas Instruments, Dallas, TX, USA (and 2 more)
- Yang Xu 0006
— Nanjing University of Science and Technology, School of Computer Science and Engineering, China
- Yang Xu 0007
— Ministry of Land and Resources, Key Laboratory of Geological Information Technology, Beijing, China (and 2 more)
- Yang Xu 0008
— Yangtze University, Electronics & Information School, Jingzhou, China
- Yang Xu 0009
— Columbia University, Electrical Engineering Department, New York, NY, USA
- Yang Xu 0010
— Fudan University, School of Computer Science, Shanghai, China (and 3 more)
- Yang Xu 0011 — New York University, Department of Electrical and Computer Engineering, Tandon School of Engineering, Brooklyn, NY, USA (and 1 more)
- Yang Xu 0012
— Xidian University, School of Economics and Management, Xi'an, China
- Yang Xu 0013
— Hunan University, College of Computer Science and Electronic Engineering, Changsha, China (and 1 more)
- Yang Xu 0014
— Harbin Institute of Technology, Department of Mathematics, Harbin, China
- Yang Xu 0015 — University of Edinburgh, UK
- Yang Xu 0016 — Wuhan University, State Key Lab of Software Engineering, Wuhan, China
- Yang Xu 0017 — Illinois Institute of Technology, Department of Electrical and Computer Engineering, Chicago, IL, USA (and 2 more)
- Yang Xu 0018
— Westlake University, School of Engineering, Hangzhou, China (and 3 more)
- Yang Xu 0019 — Intel Mobile Communicationsi, Munich, Germany (and 1 more)
- Yang Xu 0020
— University of Science and Technology of China, School of Computer Science and Technology, Hefei, China
- Yang Xu 0021
— Guizhou Normal University, Key Laboratory of Information and Computing Science of Guizhou Province, Guiyang, China (and 1 more)
- Yang Xu 0022 — Beijing Technology and Business University, Beijing Key Laboratory of Big Data Technology for Food Safety, Beijing, China (and 2 more)
- Yang Xu 0023 — University of Toronto, Department of Computer Science, Toronto, Canada (and 2 more)
- Yang Xu 0024 — San Diego State University, Department of Computer Science, San Diego, CA, USA (and 1 more)
- Yang Xu 0025
— Shandong Normal University, Jinan, China (and 1 more)
- Yang Xu 0026 — McGill University, Department of Electrical and Computer Engineering, Montreal, Canada
- Yang Xu 0027 — Soochow University, School of Computer Science and Technology, Natural Language Processing Lab, Suzhou, China
- Yang Xu 0028 — Lund University, Department of Automatic Control, Lund, Sweden
- Yang Xu 0029
— Air Force Engineering University, Department of Aeronautics and Astronautics Engineering, Xi'an, China
- Yang Xu 0030
— Nanjing Institute of Agriculture Mechanization, Ministry of Agriculture and Rural Affairs, Nanjing, China
- Yang Xu 0031
— Shanghai Jiao Tong University, Department of Computer Science and Engineering, Shanghai, China
- Yang Xu 0032
— Southeast University, School of Instrument Science and Engineering, Nanjing, China
- Yang Xu 0033
— Chinese Academy of Sciences, Institute of Chemistry, Beijing National Laboratory for Molecular Sciences, Beijing, China
- Yang Xu 0034
— North China Electric Power University, School of Electrical and Electronic Engineering, Beijing, China
- Yang Xu 0035
— Zhejiang University, Department of Information Science and Electronic Engineering, Hangzhou, China
- Yang Xu 0036 — University of Utah, Electrical and Computer Engineering Department, Salt Lake City, UT, USA
- Yang Xu 0037 — City University of Hong Kong, Department of Electronic Engineering, Hong Kong
- Yang Xu 0038 — Qingdao Agricultural University, Department of Mathematics, Qingdao, China
- Yang Xu 0039 — Tsinghua University, Institute of Microelectronics, Beijing, China
- Yang Xu 0040
— University of Hong Kong, Faculty of Science, Hong Kong (and 1 more)
- Yang Xu 0041 — Chinese Academy of Sciences, Institute of Intelligent Machines, AnHui Province Key Laboratory of Medical Physics and Technology, Hefei, China
- Yang Xu 0042
— Zhejiang University, State Key Laboratory of Industrial Control Technology, College of Electrical Engineering, Hangzhou, China
- Yang Xu 0043
— Southeast University, School of Electrical Engineering, Nanjing, China
- Yang Xu 0044
— Guizhou University, College of Big Data and Information Engineering, Guiyang, China (and 2 more)
- Yang Xu 0045
— Anhui University of Finance and Economics, School of Finance, Bengbu, China (and 1 more)
- Yang Xu 0046 — Northwestern Polytechnical University, School of Electronics and Information, Xi'an, China
- Yang Xu 0047
— Broad Institute, School of Machine learning, Cambridge, MA, USA (and 2 more)
- Yang Xu 0048 — Shanghai Jiaotong University, SJTU, Department of Electronic Engineering, China
- Yang Xu 0049 — Harbin Institute of Technology, Research Center for Social Computing and Information Retrieval, China
- Yang Xu 0050
— Tiangong University, School of Aeronautics and Astronautics, Tianjin, China (and 2 more)
- Yang Xu 0051 — University of Illinois Urbana-Champaign, IL, USA
- Yang Xu 0052 — Carnegie Mellon University, USA
- Yang Xu 0053
— Harbin Institute of Technology, School of Civil Engineering, Key Lab of Structures Dynamic Behaviour and Control of the Ministry of Education, China
- Yang Xu 0054
— Chinese Academy of Sciences, State Key Laboratory of Resources and Environmental Information System, Beijing, China
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j134]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: 119751 (2024) - [j133]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: 111238 (2024) - 2023
- [j132]Xia Wang, Jun Liu
, Samuel J. Moore, Chris D. Nugent
, Yang Xu:
A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking. Inf. Fusion 95: 275-292 (2023) - [j131]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: 337-356 (2023) - [j130]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: 110217 (2023) - [j129]Xia Wang, Jun Liu
, Chris D. Nugent
, Ian Cleland
, Yang Xu:
Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking. Knowl. Based Syst. 264: 110355 (2023) - [j128]Xia Wang, Yang Xu
, Jun Liu, Keming Wang:
Reliability analysis of mobile agent control system with multiple alternative plans. Soft Comput. 27(24): 18681-18695 (2023) - [c104]Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen:
Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE 2023: 450-457 - 2022
- [j127]Qinghua Liu
, Yang Xu:
Axiom selection over large theory based on new first-order formula metrics. Appl. Intell. 52(2): 1793-1807 (2022) - [j126]Huimin Fu
, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe:
Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. 245: 108572 (2022) - [j125]Qinghua Liu
, Yang Xu, Xingxing He
:
Attention recurrent cross-graph neural network for selecting premises. Int. J. Mach. Learn. Cybern. 13(5): 1301-1315 (2022) - [c103]Xia Wang
, Jun Liu
, Chris D. Nugent, Samuel J. Moore
, Yang Xu:
Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking. UCAmI 2022: 796-808 - 2021
- [j124]Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu:
More efficient stochastic local search for satisfiability. Appl. Intell. 51(6): 3996-4015 (2021) - [j123]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): 1706-1744 (2021) - [j122]Shuwei Chen, Jun Liu, Yang Xu:
A logical reasoning based decision making method for handling qualitative knowledge. Int. J. Approx. Reason. 129: 49-63 (2021) - [j121]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): 159 (2021) - [j120]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: 118-139 (2021) - [j119]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: 281-299 (2021) - [j118]Xingxing He
, Yang Xu, Jun Liu, Yingfang Li:
α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021) - [c102]Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng:
Formalization and Verification of Cyclic Group. ISKE 2021: 1-6 - [c101]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: 11-14 - [c100]Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao:
Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE 2021: 47-51 - [c99]Hairui Jia, Yang Xu, Yi Liu:
Determination of 3-ary α-resolution in LP(X). ISKE 2021: 138-146 - [c98]Xia Wang, Yang Xu, Peiyao Liu:
Formal Modeling and Verification of Multi-agent System Based on Timed Automata. ISKE 2021: 231-235 - 2020
- [j117]Huimin Fu, Jun Liu, Yang Xu:
Focused random walk with probability distribution for SAT with long clauses. Appl. Intell. 50(12): 4732-4753 (2020) - [j116]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): 672-680 (2020) - [j115]Feng Cao, Yang Xu, Jian Zhong, Xinran Ning:
基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). 计算机科学 47(3): 217-221 (2020) - [j114]Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu:
Improving WalkSAT for Random 3-SAT Problems. J. Univers. Comput. Sci. 26(2): 220-243 (2020) - [j113]Honglei Wei, Hairui Jia, Yingfang Li, Yang Xu:
Verify and measure the quality of rule based machine leaning. Knowl. Based Syst. 205: 106300 (2020) - [i2]Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe:
Improving probability selecting based weights for Satisfiability Problem. CoRR abs/2007.15185 (2020)
2010 – 2019
- 2019
- [j112]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): 359-366 (2019) - [j111]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): 498-512 (2019) - [j110]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): 1245-1254 (2019) - [j109]Wenjing Chang, Yang Xu, Shuwei Chen:
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. Symmetry 11(2): 197 (2019) - [j108]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): 1142 (2019) - [c97]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: 69-73 - 2018
- [j107]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): 384-401 (2018) - [j106]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): 402-413 (2018) - [j105]Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
:
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12(1): 250-258 (2018) - [j104]Wenjing Chang, Yang Xu, Shuwei Chen:
A New Rewarding Mechanism for Branching Heuristic in SAT Solvers. Int. J. Comput. Intell. Syst. 12(1): 334-341 (2018) - [j103]Yang Xu, Jun Liu
, Shuwei Chen, Xiaomei Zhong, Xingxing He
:
Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462: 93-113 (2018) - [j102]Hairui Jia, Yi Liu, Yang Xu:
Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system. J. Intell. Fuzzy Syst. 34(3): 1777-1789 (2018) - [j101]Xiqing Long, Yi Liu, Yang Xu:
On A-subsets in lattice implication algebras. J. Intell. Fuzzy Syst. 35(2): 2189-2198 (2018) - [j100]Zhongxue Hu, Yang Xu, Rong Hu:
基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value). 计算机科学 45(11A): 117-120 (2018) - [j99]Qingshan Chen, Yang Xu, Guanfeng Wu:
基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 45(12): 137-141 (2018) - [j98]Hua Zhu
, Yi Liu, Yang Xu:
On derivations of linguistic truth-valued lattice implication algebras. Int. J. Mach. Learn. Cybern. 9(4): 611-620 (2018) - [j97]Xiaodong Pan, Yang Xu:
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. Soft Comput. 22(6): 1777-1789 (2018) - [j96]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): 2079 (2018) - [j95]Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu:
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry 10(11): 553 (2018) - 2017
- [j94]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): 824-834 (2017) - [j93]Xiqing Long, Hua Zhu
, Yang Xu:
Study on the properties of A-subset. J. Intell. Fuzzy Syst. 33(6): 3939-3947 (2017) - [j92]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44(11): 279-283 (2017) - [j91]Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu:
Ideals and fuzzy ideals on residuated lattices. Int. J. Mach. Learn. Cybern. 8(1): 239-253 (2017) - [c96]Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu:
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. ISKE 2017: 1-5 - [c95]Wenjing Chang, Guanfeng Wu, Yang Xu:
Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE 2017: 1-6 - [c94]Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He
:
Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6 - [c93]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
:
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5 - [c92]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: 1-6 - [c91]Qinghua Liu, Yang Xu, Xingxing He
:
New terms metric based on substitutions. ISKE 2017: 1-6 - [c90]Fangli Ma, Yang Xu, Peng Xu:
A nonlinear programming based universal optimization model of TDOA passive location. ISKE 2017: 1-3 - [c89]Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong:
Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE 2017: 1-5 - [c88]Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu:
Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. ISKE 2017: 1-6 - [i1]Xiaodong Pan, Yang Xu:
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. CoRR abs/1701.08665 (2017) - 2016
- [j90]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): 1345-1366 (2016) - [j89]Hua Zhu
, Jianbin Zhao, Yang Xu:
2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making. Knowl. Based Syst. 103: 132-142 (2016) - 2015
- [j88]Hairui Jia, Yang Xu, Yi Liu, Jun Liu
:
α-Minimal Resolution Principle For A Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 8(1): 34-43 (2015) - [j87]Keyun Qin, Qiong Liu, Yang Xu:
Redefined soft relations and soft functions. Int. J. Comput. Intell. Syst. 8(5): 819-828 (2015) - [j86]Xiaoyan Qin, Yang Xu, Yi Liu:
The validity degree vectors of formulae in two-valued predicate logic. Int. J. Comput. Intell. Syst. 8(5): 829-840 (2015) - [j85]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): 39-47 (2015) - [j84]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): 48-62 (2015) - [j83]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): 75-84 (2015) - [j82]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): 85-93 (2015) - [j81]Xiaodong Pan, Yang Xu:
On lifting quasi-filters and strong lifting quasi-filters in MV-algebras. J. Intell. Fuzzy Syst. 28(5): 2245-2255 (2015) - [j80]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): 1581-1593 (2015) - [j79]Yi Liu, Yang Xu, Hairui Jia:
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)). 计算机科学 42(4): 249-252 (2015) - [j78]Jiafeng Zhang, Yang Xu, Qin Chen:
语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic). 计算机科学 42(11): 123-129 (2015) - [j77]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: 80-91 (2015) - [c87]Wei Wang, Kuan-kuan Zhao, Yang Xu:
On fuzzy filters of CI-algebras. FSKD 2015: 113-117 - [c86]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: 1-7 - [c85]Xingxing He
, Yang Xu, Jun Liu
:
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20 - [c84]Hairui Jia, Yi Liu, Yang Xu:
Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic. ISKE 2015: 21-25 - [c83]Yaya Liu, Keyun Qin, Yang Xu:
Decision Making Approaches Based on Type 2 Fuzzy Soft Sets. ISKE 2015: 77-82 - [c82]Xiaodong Pan, Yang Xu:
Vague partition. ISKE 2015: 83-88 - [c81]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: 89-93 - [c80]Kaijun Xu, Heng Yin, Long Zhang, Yang Xu:
Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management. ISKE 2015: 94-98 - [c79]Long Zhang, Kaijun Xu, Heng Yin, Yang Xu:
Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory. ISKE 2015: 99-103 - [c78]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: 104-111 - [c77]Li Yang, Yuhui Wang, Yang Xu:
Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice. ISKE 2015: 121-127 - [c76]Hua Zhu, Jianbin Zhao, Wenjing Chang, Yang Xu:
2-Dimension Linguistic Lattice Implication Algebra. ISKE 2015: 128-132 - [c75]Zhijia Zhang, Yang Xu:
The New Directed Hypergraph for CNF Formula of Propositional Logic. ISKE 2015: 133-137 - [c74]Xiaohong Liu, Xianyi Zeng
, Yang Xu:
Evaluation of Basic Public Services Quality for Optimizing Customer Satisfaction. ISKE 2015: 155-159 - [c73]Caijuan Zhang, Xiaohong Liu, Yang Xu:
Research on Rural Family Property of Western China and Its Legal Protection. ISKE 2015: 160-164 - [c72]Bin Luo, Xiaohong Liu, Yang Xu:
Stakeholder Analysis of Ecological Environment Protection Projects. ISKE 2015: 165-169 - [c71]Baihua Li, Xiaonan Li, Chang Pan, Li Zou, Yang Xu:
(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic. ISKE 2015: 341-344 - 2014
- [j76]Jiafeng Zhang
, Yang Xu, Xingxing He
:
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X). Int. J. Comput. Intell. Syst. 7(1): 160-171 (2014) - [j75]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): 264-271 (2014) - [j74]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): 418-431 (2014) - [j73]Jianming Zhan
, Yang Xu, Young Bae Jun:
On (M, N)-S I (implicative) filters in R0-algebras. Int. J. Comput. Intell. Syst. 7(6): 1064-1073 (2014) - [j72]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: 266-276 (2014) - [j71]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: 110-125 (2014) - [j70]Yi Liu, Yang Xu, Xiaoyan Qin:
Interval-valued T-fuzzy filters and interval-valued T-fuzzy congruences on residuated lattices. J. Intell. Fuzzy Syst. 26(4): 2021-2033 (2014) - [j69]Yi Liu, Xiaoyan Qin, Yang Xu:
Interval-valued intuitionistic (T, S)-fuzzy filters theory on residuated lattices. Int. J. Mach. Learn. Cybern. 5(5): 683-696 (2014) - [j68]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): 581-598 (2014) - [j67]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): 2135-2147 (2014) - 2013
- [j66]Xiaodong Pan, Dan Meng, Yang Xu:
Syntax theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. 56(8): 1-12 (2013) - [j65]Keyun Qin, Dan Meng, Zheng Pei, Yang Xu:
Combination of interval set and soft set. Int. J. Comput. Intell. Syst. 6(2): 370-380 (2013) - [j64]Li Yang, Yuhui Wang, Yang Xu:
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices. Int. J. Comput. Intell. Syst. 6(5): 881-892 (2013) - [j63]Yi Liu
, Hairui Jia, Yang Xu:
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X). Int. J. Comput. Intell. Syst. 6(5): 943-953 (2013) - [j62]Hua Zhu
, Jianbin Zhao, Yang Xu:
IFI-ideals of lattice implication algebras. Int. J. Comput. Intell. Syst. 6(6): 1002-1011 (2013) - [j61]