Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYang 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
![[0000-0003-3898-022X]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-3898-022X")
— 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 — 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)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j133]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)- 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]Keyun Qin, Zheng Pei, Jilin Yang, Yang Xu:
Approximation operators on complete completely distributive lattices. Inf. Sci. 247: 123-130 (2013) - [j60]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) - [j59]Xiaodong Pan, Yang Xu:
On the algebraic structure of binary lattice-valued fuzzy relations. Soft Comput. 17(3): 411-420 (2013) - [j58]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) - [c70]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 - [c69]Yang Xu, Tianrui Li:
Chairing the ISKE Conference Series (2006-2011). A Tribute to Prof. Dr. Da Ruan 2013: 83-86 - [c68]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 - [c67]Xiaoyan Qin, Yang Xu:
Theorey of vector truth degrees of formulas in two-valued predicate logic. ICMLC 2013: 1724-1728 - [c66]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
- [j57]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) - [j56]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) - [j55]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) - [j54]Guangquan Zhang, Yang Xu, Tianrui Li:
A special issue on new trends in Intelligent Decision Support Systems. Knowl. Based Syst. 32: 1-2 (2012) - [j53]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) - [j52]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) - [j51]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) - [j50]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) - [j49]Ivan Palomares, Jun Liu, Yang Xu, Luis Martínez-López:
Modelling experts' attitudes in group decision making. Soft Comput. 16(10): 1755-1766 (2012) - [j48]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) - [c65]Keyun Qin, Zhenming Song, Yang Xu:
Soft Rough Sets Based on Similarity Measures. RSKT 2012: 40-48 - 2011
- [j47]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) - [j46]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) - [j45]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) - [j44]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) - [c64]Kaijun Xu, Guangming Zhang, Yang Xu:
Dual Fuzzy Neural Network Control in Civil Aviation Intelligent Landing System. AICI (2) 2011: 166-174 - [c63]Kaijun Xu, Guangming Zhang, Yang Xu:
Intelligent landing control system for civil aviation aircraft with dual fuzzy neural network. FSKD 2011: 171-175 - [c62]Jiafeng Zhang, Yang Xu:
α - Semantic resolution method in lattice-valued logic. FSKD 2011: 396-400 - [c61]Weitao Xu, Yang Xu:
α-generalized linear resolution method based on lattice-valued propositional logic LP(X). FSKD 2011: 1413-1417 - [c60]Xiaomei Zhong, Yang Xu:
α-group resolution method based on lattice-valued propositional logic LP(X). FSKD 2011: 1418-1422 - [c59]Yi Liu, Ya Qin, Xiaoyan Qin, Yang Xu:
Soft Lattice Implication Algebras. ICAIC (4) 2011: 128-134 - [c58]Yang Xu, Jun Liu:
Theories and Approaches to Treat Incomparability. IUKM 2011: 16-17 - [c57]Keyun Qin, Zheng Pei, Yang Xu:
Rough Approximations in General Approximation Spaces. IUKM 2011: 81-89 - 2010
- [j43]Xiaodong Pan, Yang Xu:
Semantic theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. 53(10): 2022-2031 (2010) - [j42]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) - [j41]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) - [j40]Yiquan Zhu, Yang Xu:
On filter theory of residuated lattices. Inf. Sci. 180(19): 3614-3632 (2010) - [j39]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) - [j38]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) - [j37]Li Yang, Yang Xu:
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice. J. Univers. Comput. Sci. 16(1): 159-177 (2010) - [c56]Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan:
alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X). HAIS (2) 2010: 320-327 - [c55]Xiaodong Pan, Yang Xu, Luis Martínez-López, Da Ruan, Jun Liu:
On Compactness and Consistency in Finite Lattice-Valued Propositional Logic. HAIS (2) 2010: 328-334
2000 – 2009
- 2009
- [j36]Zheng Pei, Yang Xu, Da Ruan, Keyun Qin:
Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. Inf. Sci. 179(14): 2325-2332 (2009) - [c54]Kaijun Xu, Yang Li, Weitao Xu, Yang Xu:
An Identifier-Based Control Method in Dynamic Tracking Neuro-Fuzzy Control System. CSIE (5) 2009: 71-75 - [c53]Jianming Zhan, Yang Xu:
Generalized Fuzzy Filters of Lattice Implication Algebras. FSKD (6) 2009: 281-283 - 2008
- [j35]Jianming Zhan, Yang Xu:
Some types of generalized fuzzy filters of BL-algebras. Comput. Math. Appl. 56(6): 1604-1616 (2008) - [j34]Li Zou, Xin Liu, Zhengjiang Wu, Yang Xu:
A uniform approach of linguistic truth values in sensor evaluation. Fuzzy Optim. Decis. Mak. 7(4): 387-397 (2008) - [j33]Tianrui Li, Yang Xu:
Computational Intelligence in Knowledge Engineering. Int. J. Comput. Intell. Syst. 1(3): 202-204 (2008) - [j32]Xiaobing Li, Da Ruan, Jun Liu, Yang Xu:
A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information. Int. J. Comput. Intell. Syst. 1(3): 274-284 (2008) - [j31]Xiaodong Pan, Yang Xu:
Lattice implication ordered semigroups. Inf. Sci. 178(2): 403-413 (2008) - [j30]Zou Li, Da Ruan, Pei Zheng, Yang Xu:
A linguistic truth-valued reasoning approach in decision making with incomparable information. J. Intell. Fuzzy Syst. 19(4-5): 335-343 (2008) - [j29]Xiaohong Liu, Xianyi Zeng, Yang Xu, Ludovic Koehl:
A fuzzy model of customer satisfaction index in e-commerce. Math. Comput. Simul. 77(5-6): 512-521 (2008) - [j28]Xueling Ma, Jianming Zhan, Yang Xu:
Generalized Fuzzy Filters of MTL-algebras. J. Multiple Valued Log. Soft Comput. 14(1-2): 119-128 (2008) - [j27]Xiaobing Li, Da Ruan, Jun Liu, Yang Xu:
A Linguistic Lattice-Valued Approach for Fuzzy Multi-Objective Decision Making. J. Multiple Valued Log. Soft Comput. 14(3-5): 233-250 (2008) - [c52]Xueling Ma, Jianming Zhan, Yang Xu:
On Generalized Fuzzy Filters of MTL-Algebras. FSKD (1) 2008: 357-361 - [c51]Kaijun Xu, Xiaoping Qiu, Xiaobing Li, Yang Xu:
A Dynamic Neuro-Fuzzy Controller for Gas-Fired Water Heater. ICNC (7) 2008: 240-244 - [c50]Li Zou, Fang Sun, Yang Xu:
Resolution method of six-element linguistic truth-valued intuitionistic propositional logic. ISKE 2008: 141-145 - [c49]Li Zou, Wenjiang Li, Yang Xu:
Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. ISNN (1) 2008: 266-274 - [c48]Dan Meng, Yang Xu:
Credit Rating Method with Heterogeneous Information. RSKT 2008: 739-746 - 2007
- [j26]Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang:
A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making. Int. J. Approx. Reason. 44(2): 165-181 (2007) - [j25]Jun Ma, Da Ruan, Yang Xu, Guangquan Zhang:
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. 46(1): 254 (2007) - [j24]Zheng Pei, Da Ruan, Yang Xu, Jun Liu:
Handling linguistic web information based on a multi-agent system. Int. J. Intell. Syst. 22(5): 435-453 (2007) - [j23]Yang Xu, Xianyi Zeng, Ludovic Koehl:
An Intelligent Sensory Evaluation Method for Industrial Products Characterization. Int. J. Inf. Technol. Decis. Mak. 6(2): 349-370 (2007) - [j22]Jun Ma, Wenjiang Li, Da Ruan, Yang Xu:
Filter-based resolution principle for lattice-valued propositional logic LP(X). Inf. Sci. 177(4): 1046-1062 (2007) - [j21]Young Bae Jun, Yang Xu, Jun Ma:
Redefined fuzzy implicative filters. Inf. Sci. 177(6): 1422-1429 (2007) - [j20]Yong Lin Liu, Yang Xu, Jie Meng:
BCI-implicative ideals of BCI-algebras. Inf. Sci. 177(22): 4987-4996 (2007) - [j19]Tianrui Li, Da Ruan, Geert Wets, Jing Song, Yang Xu:
A rough sets based characteristic relation approach for dynamic attribute generalization in data mining. Knowl. Based Syst. 20(5): 485-494 (2007) - [j18]Yong Lin Liu, San Yang Liu, Yang Xu:
Pseudo-BCK algebras and PD-posets. Soft Comput. 11(1): 91-101 (2007) - [j17]Xueling Ma, Jianming Zhan, Yang Xu:
Generalized fuzzy filters of R0-algebras. Soft Comput. 11(11): 1079-1087 (2007) - [c47]Li Zou, Jinglong Li, Kaijun Xu, Yang Xu:
A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA. FSKD (1) 2007: 32-36 - [c46]Xiaoping Qiu, Yang Xu, Xiaobing Li:
The Layered Fuzzy Clustering Method Based on Distance and Density. FSKD (2) 2007: 282-286 - [c45]Chuanhua Zeng, Yang Xu, Weicheng Xie:
Decision-Making Based on Case Similarity with Alterable Weights. FSKD (1) 2007: 752 - [c44]Xueling Ma, Jianming Zhan, Yang Xu:
Probabilistic Fuzzy Hypernear-Rings. ICFIE 2007: 290-295 - [c43]Zhengjiang Wu, Xin Liu, Li Zou, Yang Xu:
Transformation of Linguistic Truth Values During the Sensor Evaluation. ICFIE 2007: 744-750 - [c42]Jiajun Lai, Shuwei Chen, Yang Xu, Keyun Qin, Li Chen:
On Relationships of Filters in Lattice Implication Algebra. ICFIE 2007: 1000-1008 - [c41]Kaijun Xu, Li Zou, Jiajun Lai, Yang Xu:
An Application of Dual-fuzzy Neural-networks to Design of Adaptive Fuzzy Controllers. ICNC (1) 2007: 371-375 - [c40]Xiaoping Qiu, Yang Xu, Haiming Li:
The Mixed Hierarchical Fuzzy Evaluation System Based on Dynamic Neural Network. ICNC (1) 2007: 431-435 - [c39]Zhiyan Chang, Yang Xu:
Congruence Relations Induced by Filters and LI-Ideals. IFSA (2) 2007: 349-357 - [c38]Yang Xu, Shuwei Chen, Jun Liu, Da Ruan:
Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic. IFSA (2) 2007: 358-366 - [c37]Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu:
Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. IFSA (2) 2007: 629-639 - [c36]Yang Xu, Jun Ma, Jiajun Lai:
Sub-algebras of Finite Lattice Implication Algebra. IFSA (2) 2007: 813-821 - [c35]Zheng Pei, Baoqing Jiang, Liangzhong Yi, Yang Xu:
Semantics Properties of Compound Evaluating Syntagms. IFSA (2) 2007: 822-831 - [c34]Jun Liu, Luis Martínez-López, Yang Xu, Zhirui Lu:
Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. ISMVL 2007: 29 - 2006
- [j16]Xiaohong Zhang, Huacan He, Yang Xu:
A fuzzy logic system based on Schweizer-Sklar t-norm. Sci. China Ser. F Inf. Sci. 49(2): 175-188 (2006) - [j15]Jun Ma, S. Chen, Yang Xu:
Fuzzy logic from the viewpoint of machine intelligence. Fuzzy Sets Syst. 157(5): 628-634 (2006) - [j14]Yang Xu, Jun Liu, Da Ruan, Tsu-Tian Lee:
On the consistency of rule bases based on lattice-valued first-order logic LF(X). Int. J. Intell. Syst. 21(4): 399-424 (2006) - [j13]Zheng Pei, Germano Resconi, Ariën J. van der Wal, Keyun Qin, Yang Xu:
Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference. Inf. Sci. 176(13): 1869-1897 (2006) - [c33]Li Zou, Jun Ma, Yang Xu:
A framework of linguistic truth-valued propositional logic based on lattice implication algebra. GrC 2006: 574-577 - 2005
- [j12]Yongchuan Tang, Yang Xu:
Application of fuzzy Naive Bayes and a real-valued genetic algorithm in identification of fuzzy model. Inf. Sci. 169(3-4): 205-226 (2005) - [j11]Young Bae Jun, Yang Xu, Xiaohong Zhang:
Fuzzy filters of MTL-algebras. Inf. Sci. 175(1-2): 120-138 (2005) - [j10]Xiaohong Liu, Da Ruan, Yang Xu:
A study of enterprise human resource competence appraisement. J. Enterp. Inf. Manag. 18(3): 289-315 (2005) - [c32]Tianrui Li, Da Ruan, Tianmin Huang, Yang Xu:
On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining. Australian Conference on Artificial Intelligence 2005: 989-992 - [c31]Dan Meng, Zaiqiang Zhang, Yang Xu:
A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning. FSKD (1) 2005: 175-178 - [c30]Shuwei Chen, Yang Xu, Jun Ma:
A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. FSKD (1) 2005: 276-284 - [c29]Zhinong Miao, Xiangyu Zhao, Yang Xu:
Linguistic Model for the Controlled Object. FSKD (1) 2005: 950-959 - [c28]Jun Liu, Yang Xu, Da Ruan, Luis Martínez-López:
A lattice-valued linguistic-based decision making method. GrC 2005: 199-202 - [c27]Chuanhua Zeng, Yang Xu, Zheng Pei, Weicheng Xie:
Knowledge discovery for goods classification based on rough set. GrC 2005: 334-337 - [c26]Chuanhua Zeng, Yang Xu, Zheng Pei, Weicheng Xie:
On the alterability of rule [data mining]. GrC 2005: 338-341 - [c25]Shuwei Chen, Li Zou, Yan Gao, Yang Xu:
A kind of support vector fuzzy classifiers. GrC 2005: 405-408 - [c24]Xiaoping Qiu, Yang Xu, Ming Jian, Haiming Li:
The Hierarchical Fuzzy Evaluation System and Its Application. ICMLC 2005: 407-416 - [c23]Zheng Pei, Yajun Du, Liangzhong Yi, Yang Xu:
Obtaining a Complex Linguistic Data Summaries from Database Based on a New Linguistic Aggregation Operator. IWANN 2005: 771-778 - [p1]Tianrui Li, Yang Xu, Da Ruan, Wuming Pan:
Sequential Pattern Mining. Intelligent Data Mining 2005: 103-122 - 2004
- [c22]Tianrui Li, Ming Qing, Jun Ma, Yang Xu:
An Algorithm for Mining Lower Closed Itemsets. PDCAT 2004: 21-24 - [c21]Tianrui Li, Keyun Qing, Ning Yang, Yang Xu:
Study on Reduct and Core Computation in Incompatible Information Systems. Rough Sets and Current Trends in Computing 2004: 471-476 - [c20]Xiaoping Qiu, Yang Xu, Xiaohong Liu, Guofen Zhang:
Workflow model of intelligent office information system. SMC (1) 2004: 485-489 - [c19]Jun Ma, W. J. Li, Yang Xu, Z. M. Song:
A model for handling linguistic terms in the framework of lattice-valued logic LF(X). SMC (2) 2004: 1504-1509 - [c18]Shuwei Chen, Yang Xu:
Uncertainty reasoning based on lattice-valued first-order logic Lvfl. SMC (3) 2004: 2237-2242 - [c17]Yi Wang, Yang Xu, ZhenMing Xu:
A two-phase method of approximate string match. SMC (4) 2004: 3371-3376 - [c16]Weihua Kou, Yang Xu:
Study on multi-intersected copy replication of DDBS. SMC (5) 2004: 4100-4105 - 2003
- [b1]Yang Xu, Keyun Qin, Da Ruan, Jun Liu:
Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability. Studies in Fuzziness and Soft Computing 132, Springer 2003, ISBN 978-3-642-07279-6, pp. 3-359 - [j9]Yong Lin Liu, San Yang Liu, Yang Xu, Keyun Qin:
ILI-ideals and prime LI-ideals in lattice implication algebras. Inf. Sci. 155(1-2): 157-175 (2003) - [j8]Yang Xu, Jun Liu, Da Ruan:
Rule acquisition and adjustment based on set-valued mapping. Inf. Sci. 157: 167-198 (2003) - [j7]Jun Liu, Da Ruan, Yang Xu, Zhenming Song:
A resolution-like strategy based on a lattice-valued logic. IEEE Trans. Fuzzy Syst. 11(4): 560-567 (2003) - [c15]Xiaoping Qiu, Dan Meng, Yongchuan Tang, Yang Xu:
Multilayered fuzzy clustering method based on distance and density. SMC 2003: 1417-1422 - [c14]Dan Meng, Xuefang Wang, Yang Xu, Keyun Qin:
Resolution based on six lattice-valued proposition logic LP6(X). SMC 2003: 2489-2494 - [c13]Xiaohong Liu, Yang Xu, Keyun Qin, Zheng Pei:
A clustering application method based on mix type variables in social system appraisement. SMC 2003: 2857-2862 - [c12]Tsu-Tian Lee, Yang Xu:
The consistency of rule-bases in lattice-valued first-order logic LF(X). SMC 2003: 4968-4973 - [c11]Zheng Pei, Keyun Qin, Yang Xu:
Dynamic adaptive fuzzy neural-network identification and its application. SMC 2003: 4974-4979 - [c10]Jun Ma, Yang Xu, Tianrui Li, W. J. Li:
Uncertainty reasoning based on filter of lattice implication algebra. SMC 2003: 4980-4985 - [c9]Ji-bin Lan, Yang Xu, Jia-Zhong Liu:
Multiple attributes group decision making under fuzzy environment. SMC 2003: 4986-4991 - [c8]Xuefang Wang, Dan Meng, Yang Xu, Keyun Qin:
Graded consequence relations of lattice-valued propositional logic LP(X). SMC 2003: 5004-5009 - 2002
- [j6]Yang Xu, Jun Liu, Da Ruan, Wenjiang Li:
Fuzzy reasoning based on generalized fuzzy If-Then rules. Int. J. Intell. Syst. 17(10): 977-1006 (2002) - [c7]Dan Meng, Yang Xu:
alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional Logic. JCIS 2002: 89-91 - [c6]Xiaoping Qiu, Yunchuan Tang, Dan Meng, Yang Xu:
A new fuzzy clustering method based on distance and density. SMC (2) 2002: 5 - 2001
- [j5]Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song:
Fuzzy reasoning based on the extension principle. Int. J. Intell. Syst. 16(4): 469-495 (2001) - [j4]Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu:
alpha-Resolution principle based on first-order lattice-valued logic LF(X). Inf. Sci. 132(1-4): 221-239 (2001) - [c5]Ming Qing, Tianmin Huang, Yang Xu:
Analysis and Design of a Fuzzy System Based on Fuzzy Entropy of Fuzzy Partition. FUZZ-IEEE 2001: 1503-1506 - [c4]Jun Ma, Jun Liu, Yang Xu:
A Method of Uncertainty Reasoning by Using Information. ISMVL 2001: 373-378 - [c3]Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin:
Local relation mapping theory of fuzzy reasoning. SMC 2001: 2145-2150 - [c2]Wuming Pan, Yongchuan Tang, Yang Xu, Keyun Qin:
Local relations hold reasoning. SMC 2001: 2151-2156 - 2000
- [j3]Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu:
alpha-Resolution principle based on lattice-valued propositional logic LP(X). Inf. Sci. 130(1-4): 195-223 (2000) - [c1]Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song:
A study on fuzzy reasoning mechanism based on extension principle. FUZZ-IEEE 2000: 185-190
1990 – 1999
- 1999
- [j2]Qiang Zhang, Yang Xu, Wen Du:
Lebesgue decomposition theorem for σ-finite signed fuzzy measures. Fuzzy Sets Syst. 101(3): 445-451 (1999) - [j1]Yang Xu, Keyun Qin, Jun Liu, Zhenming Song:
L-Valued Propositional Logic Lvpl. Inf. Sci. 114(1-4): 205-235 (1999)
Coauthor Index
[j132] [j131] [j130] [j129] [j126] [c103] [j123] [j122] [j120] [j119] [j118] [j117] [j114] [i2] [j111] [j108] [j107] [j103] [j94] [c94] [c88] [j88] [j85] [j77] [c86] [c85] [j75] [j74] [j72] [j71] [j67] [j58] [j57] [j56] [j55] [j53] [j50] [j49] [j48] [j47] [j46] [c58] [j39] [j38] [c56] [c55] [j32] [j27] [j24] [c38] [c37] [c34] [j14] [c28] [b1] [j8] [j7] [j6] [j4] [c4] [j3] [j1]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
