
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
— SMART Centre, Senseable City Laboratory, Singapore (and 1 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
— Central South University, School of Information Science and Engineering, Changsha, China
- 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 — Peking University, Department of Information Management, Beijing, China (and 1 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
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j115]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) - 2020
- [j114]Huimin Fu, Jun Liu, Yang Xu:
Focused random walk with probability distribution for SAT with long clauses. Appl. Intell. 50(12): 4732-4753 (2020) - [j113]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) - [j112]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) - [j111]Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu:
Improving WalkSAT for Random 3-SAT Problems. J. Univers. Comput. Sci. 26(2): 220-243 (2020) - [j110]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
- [j109]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) - [j108]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) - [j107]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) - [j106]Wenjing Chang, Yang Xu, Shuwei Chen:
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. Symmetry 11(2): 197 (2019) - [j105]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) - [c91]Zhengqi Pei, Zhewei Sun, Yang Xu:
Slang Detection and Identification. CoNLL 2019: 881-889 - [c90]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
- [j104]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) - [j103]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) - [j102]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) - [j101]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) - [j100]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) - [j99]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) - [j98]Xiqing Long, Yi Liu, Yang Xu:
On A-subsets in lattice implication algebras. J. Intell. Fuzzy Syst. 35(2): 2189-2198 (2018) - [j97]Zhongxue Hu, Yang Xu, Rong Hu:
基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value). 计算机科学 45(11A): 117-120 (2018) - [j96]Qingshan Chen, Yang Xu, Guanfeng Wu:
基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 45(12): 137-141 (2018) - [j95]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) - [j94]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) - [j93]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) - [j92]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
- [j91]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) - [j90]Xiqing Long, Hua Zhu
, Yang Xu:
Study on the properties of A-subset. J. Intell. Fuzzy Syst. 33(6): 3939-3947 (2017) - [j89]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44(11): 279-283 (2017) - [j88]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) - [c89]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 - [c88]Wenjing Chang, Guanfeng Wu, Yang Xu:
Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE 2017: 1-6 - [c87]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 - [c86]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5 - [c85]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 - [c84]Qinghua Liu, Yang Xu, Xingxing He:
New terms metric based on substitutions. ISKE 2017: 1-6 - [c83]Fangli Ma, Yang Xu, Peng Xu:
A nonlinear programming based universal optimization model of TDOA passive location. ISKE 2017: 1-3 - [c82]Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong:
Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE 2017: 1-5 - [c81]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
- [j87]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) - [j86]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
- [j85]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) - [j84]Keyun Qin, Qiong Liu, Yang Xu:
Redefined soft relations and soft functions. Int. J. Comput. Intell. Syst. 8(5): 819-828 (2015) - [j83]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) - [j82]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) - [j81]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) - [j80]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) - [j79]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) - [j78]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) - [j77]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) - [j76]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) - [j75]Jiafeng Zhang, Yang Xu, Qin Chen:
语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic). 计算机科学 42(11): 123-129 (2015) - [j74]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) - [c80]Wei Wang, Kuan-kuan Zhao, Yang Xu:
On fuzzy filters of CI-algebras. FSKD 2015: 113-117 - [c79]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 - [c78]Xingxing He, Yang Xu, Jun Liu
:
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20 - [c77]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 - [c76]Yaya Liu, Keyun Qin, Yang Xu:
Decision Making Approaches Based on Type 2 Fuzzy Soft Sets. ISKE 2015: 77-82 - [c75]Xiaodong Pan, Yang Xu:
Vague partition. ISKE 2015: 83-88 - [c74]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 - [c73]Kaijun Xu, Heng Yin, Long Zhang, Yang Xu:
Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management. ISKE 2015: 94-98 - [c72]Long Zhang, Kaijun Xu, Heng Yin, Yang Xu:
Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory. ISKE 2015: 99-103 - [c71]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 - [c70]Li Yang, Yuhui Wang, Yang Xu:
Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice. ISKE 2015: 121-127 - [c69]Hua Zhu, Jianbin Zhao, Wenjing Chang, Yang Xu:
2-Dimension Linguistic Lattice Implication Algebra. ISKE 2015: 128-132 - [c68]Zhijia Zhang, Yang Xu:
The New Directed Hypergraph for CNF Formula of Propositional Logic. ISKE 2015: 133-137 - [c67]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
- [j73]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) - [j72]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) - [j71]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) - [j70]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) - [j69]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) - [j68]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) - [j67]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) - [j66]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) - [j65]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) - [j64]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
- [j63]Xiaodong Pan, Dan Meng, Yang Xu:
Syntax theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. 56(8): 1-12 (2013) - [j62]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) - [j61]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) - [j60]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) - [j59]Hua Zhu
, Jianbin Zhao, Yang Xu:
IFI-ideals of lattice implication algebras. Int. J. Comput. Intell. Syst. 6(6): 1002-1011 (2013) - [j58]Keyun Qin, Zheng Pei, Jilin Yang, Yang Xu:
Approximation operators on complete completely distributive lattices. Inf. Sci. 247: 123-130 (2013) - [j57]Li Zou, Peng Shi, Zheng Pei, Yang Xu:
On an algebra of linguistic truth-valued intuitionistic lattice-valued logic. J. Intell. Fuzzy Syst. 24(3): 447-456 (2013) - [j56]Xiaodong Pan, Yang Xu:
On the algebraic structure of binary lattice-valued fuzzy relations. Soft Comput. 17(3): 411-420 (2013) - [j55]Yang Xu, Jun Liu
, Xiaomei Zhong, Shuwei Chen:
Multiary α-Resolution Principle for a Lattice-Valued Logic. IEEE Trans. Fuzzy Syst. 21(5): 898-912 (2013) - [c66]Etienne E. Kerre, Martine De Cock, Mike Nachtegael, Javier Montero, Yang Xu, Tianrui Li:
Chairing the FLINS Conference Series (1994-2012). A Tribute to Prof. Dr. Da Ruan 2013: 73-82 - [c65]Yang Xu, Tianrui Li:
Chairing the ISKE Conference Series (2006-2011). A Tribute to Prof. Dr. Da Ruan 2013: 83-86 - [c64]Yang Xu:
Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000. A Tribute to Prof. Dr. Da Ruan 2013: 137-138 - [c63]Hairui Jia, Yang Xu, Yi Liu, Huicong He:
1-minimal resolution principle based on lattice-valued propositional logic LP(X). ICMLC 2013: 1729-1734 - 2012
- [j54]Xingxing He, Jun Liu
, Yang Xu, Luis Martínez-López
, Da Ruan:
On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20(3): 579-588 (2012) - [j53]Xingxing He, Yang Xu, Jun Liu
, Shuwei Chen:
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int. J. Comput. Intell. Syst. 5(6): 1120-1134 (2012) - [j52]Zheng Pei, Da Ruan, Jun Liu
, Yang Xu:
A linguistic aggregation operator with three kinds of weights for nuclear safeguards evaluation. Knowl. Based Syst. 28: 19-26 (2012) - [j51]Guangquan Zhang
, Yang Xu, Tian-rui Li:
A special issue on new trends in Intelligent Decision Support Systems. Knowl. Based Syst. 32: 1-2 (2012) - [j50]Yang Xu, Jun Liu
, Xiaomei Zhong, Shuwei Chen:
Lattice-valued matrix game with mixed strategies for intelligent decision support. Knowl. Based Syst. 32: 56-64 (2012) - [j49]Li Zou, Xin Liu, Da Ruan, Yang Xu:
Linguistic Truth-Valued Intuitionistic Fuzzy Algebra. J. Multiple Valued Log. Soft Comput. 18(5-6): 445-456 (2012) - [j48]Xiaoping Qiu, Gangqiao Shi, Yi Wang, Yang Xu, Ping Zheng, Fengyao Zhou:
ChineseWord Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules. J. Multiple Valued Log. Soft Comput. 18(5-6): 513-524 (2012) - [j47]Xingxing He, Yang Xu, Jun Liu
, Shuwei Chen:
On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012) - [j46]Xiaomei Zhong, Yang Xu, Jun Liu
, Shuwei Chen:
General form of α-resolution principle for linguistic truth-valued lattice-valued logic. Soft Comput. 16(10): 1767-1781 (2012) - [c62]Keyun Qin, Zhenming Song, Yang Xu:
Soft Rough Sets Based on Similarity Measures. RSKT 2012: 40-48 - 2011
- [j45]Xingxing He, Yang Xu, Jun Liu
, Da Ruan:
alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011) - [j44]Yang Xu, Jun Liu
, Da Ruan, Xiaobing Li:
Determination of α-resolution in lattice-valued first-order logic LF(X). Inf. Sci. 181(10): 1836-1862 (2011) - [j43]Xiaoping Qiu, Gangqiao Shi, Changlin Song, Yang Xu:
Research on the realization method of workflow engine in enterprise information management. J. Enterp. Inf. Manag. 24(4): 380-400 (2011) - [j42]Li Zou, Da Ruan, Zheng Pei, Yang Xu:
A Linguistic-Valued Lattice Implication Algebra Approach for Risk Analysis. J. Multiple Valued Log. Soft Comput. 17(4): 293-303 (2011) - [c61]Kaijun Xu, Guangming Zhang, Yang Xu:
Dual Fuzzy Neural Network Control in Civil Aviation Intelligent Landing System. AICI (2) 2011: 166-174 - [c60]Kaijun Xu, Guangming Zhang, Yang Xu:
Intelligent landing control system for civil aviation aircraft with dual fuzzy neural network. FSKD 2011: 171-175 - [c59]Jiafeng Zhang
, Yang Xu:
α - Semantic resolution method in lattice-valued logic. FSKD 2011: 396-400 - [c58]Weitao Xu, Yang Xu:
α-generalized linear resolution method based on lattice-valued propositional logic LP(X). FSKD 2011: 1413-1417 - [c57]Xiaomei Zhong, Yang Xu:
α-group resolution method based on lattice-valued propositional logic LP(X). FSKD 2011: 1418-1422 - [c56]Yi Liu
, Ya Qin, Xiaoyan Qin, Yang Xu:
Soft Lattice Implication Algebras. ICAIC (4) 2011: 128-134 - [c55]Yang Xu, Jun Liu:
Theories and Approaches to Treat Incomparability. IUKM 2011: 16-17 - [c54]Keyun Qin, Zheng Pei, Yang Xu:
Rough Approximations in General Approximation Spaces. IUKM 2011: 81-89 - 2010
- [j41]Xiaodong Pan, Yang Xu:
Semantic theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. 53(10): 2022-2031 (2010) - [j40]Li Yang, Yang Xu:
A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice. Int. J. Gen. Syst. 39(3): 235-253 (2010) - [j39]Jiajun Lai, Yang Xu:
Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra. Inf. Sci. 180(10): 1990-2002 (2010) - [j38]Yiquan Zhu, Yang Xu:
On filter theory of residuated lattices. Inf. Sci. 180(19): 3614-3632 (2010) - [j37]Luis Martínez-López, Jun Liu, Yang Xu:
Information Fusion and Logic-based Reasoning Approaches for Decision Making under Uncertainty. J. Univers. Comput. Sci. 16(1): 1-2 (2010) - [j36]Yang Xu, Jun Liu, Luis Martínez-López, Da Ruan:
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty. J. Univers. Comput. Sci. 16(1): 3-19 (2010) - [j35]