Lebesgue decomposition theorem for σ-finite signed fuzzy measures. - Qiang Zhang; Yang Xu 001; Wen Du (Fuzzy Sets Syst., 1999)

L-Valued Propositional Logic Lvpl. - Yang Xu 001; Keyun Qin; Jun Liu 001; Zhenming Song (Inf. Sci., 1999)

A study on fuzzy reasoning mechanism based on extension principle. - Yang Xu 001; Etienne E. Kerre; Da Ruan 001; Zhenming Song (FUZZ-IEEE, 2000)

alpha-Resolution principle based on lattice-valued propositional logic LP(X). - Yang Xu 001; Da Ruan 001; Etienne E. Kerre; Jun Liu 001 (Inf. Sci., 2000)

Analysis and Design of a Fuzzy System Based on Fuzzy Entropy of Fuzzy Partition. - Ming Qing; Tianmin Huang; Yang Xu 001 (FUZZ-IEEE, 2001)

A Method of Uncertainty Reasoning by Using Information. - Jun Ma 002; Jun Liu 001; Yang Xu 001 (ISMVL, 2001)

Local relations hold reasoning. - Wuming Pan; Yongchuan Tang; Yang Xu 001; Keyun Qin (SMC, 2001)

Local relation mapping theory of fuzzy reasoning. - Wuming Pan; Yongchuan Tang; Yang Xu 001; Keyun Qin (SMC, 2001)

Fuzzy reasoning based on the extension principle. - Yang Xu 001; Etienne E. Kerre; Da Ruan 001; Zhenming Song (Int. J. Intell. Syst., 2001)

alpha-Resolution principle based on first-order lattice-valued logic LF(X). - Yang Xu 001; Da Ruan 001; Etienne E. Kerre; Jun Liu 001 (Inf. Sci., 2001)

alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional Logic. - Dan Meng; Yang Xu 001 (JCIS, 2002)

A new fuzzy clustering method based on distance and density. - Xiaoping Qiu; Yunchuan Tang; Dan Meng; Yang Xu 001 (SMC (2), 2002)

Fuzzy reasoning based on generalized fuzzy If-Then rules. - Yang Xu 001; Jun Liu 001; Da Ruan 001; Wenjiang Li (Int. J. Intell. Syst., 2002)

Multiple attributes group decision making under fuzzy environment. - Ji-bin Lan; Yang Xu 001; Jia-Zhong Liu (SMC, 2003)

The consistency of rule-bases in lattice-valued first-order logic LF(X). - Tsu-Tian Lee; Yang Xu 001 (SMC, 2003)

A clustering application method based on mix type variables in social system appraisement. - Xiaohong Liu 010; Yang Xu 001; Keyun Qin; Zheng Pei 001 (SMC, 2003)

Uncertainty reasoning based on filter of lattice implication algebra. - Jun Ma 002; Yang Xu 001; Tianrui Li 001; W. J. Li (SMC, 2003)

Resolution based on six lattice-valued proposition logic LP6(X). - Dan Meng; Xuefang Wang 002; Yang Xu 001; Keyun Qin (SMC, 2003)

Dynamic adaptive fuzzy neural-network identification and its application. - Zheng Pei 001; Keyun Qin; Yang Xu 001 (SMC, 2003)

Multilayered fuzzy clustering method based on distance and density. - Xiaoping Qiu; Dan Meng; Yongchuan Tang; Yang Xu 001 (SMC, 2003)

Graded consequence relations of lattice-valued propositional logic LP(X). - Xuefang Wang 002; Dan Meng; Yang Xu 001; Keyun Qin (SMC, 2003)

ILI-ideals and prime LI-ideals in lattice implication algebras. - Yong Lin Liu; San Yang Liu; Yang Xu 001; Keyun Qin (Inf. Sci., 2003)

Rule acquisition and adjustment based on set-valued mapping. - Yang Xu 001; Jun Liu 001; Da Ruan 001 (Inf. Sci., 2003)

A resolution-like strategy based on a lattice-valued logic. - Jun Liu 001; Da Ruan 001; Yang Xu 001; Zhenming Song (IEEE Trans. Fuzzy Syst., 2003)

Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability - Yang Xu 001; Keyun Qin; Da Ruan 001; Jun Liu 001 (Springer, 2003)

An Algorithm for Mining Lower Closed Itemsets. - Tianrui Li 001; Ming Qing; Jun Ma 002; Yang Xu 001 (PDCAT, 2004)

Study on Reduct and Core Computation in Incompatible Information Systems. - Tianrui Li 001; Keyun Qing; Ning Yang; Yang Xu 001 (Rough Sets and Current Trends in Computing, 2004)

Uncertainty reasoning based on lattice-valued first-order logic Lvfl. - Shuwei Chen 001; Yang Xu 001 (SMC (3), 2004)

Study on multi-intersected copy replication of DDBS. - Weihua Kou; Yang Xu 001 (SMC (5), 2004)

A model for handling linguistic terms in the framework of lattice-valued logic LF(X). - Jun Ma 002; W. J. Li; Yang Xu 001; Z. M. Song (SMC (2), 2004)

Workflow model of intelligent office information system. - Xiaoping Qiu; Yang Xu 001; Xiaohong Liu 010; Guofen Zhang (SMC (1), 2004)

A two-phase method of approximate string match. - Yi Wang; Yang Xu 001; ZhenMing Xu (SMC (4), 2004)

On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining. - Tianrui Li 001; Da Ruan 001; Tianmin Huang; Yang Xu 001 (Australian Conference on Artificial Intelligence, 2005)

A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. - Shuwei Chen 001; Yang Xu 001; Jun Ma 002 (FSKD (1), 2005)

A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning. - Dan Meng; Zaiqiang Zhang; Yang Xu 001 (FSKD (1), 2005)

Linguistic Model for the Controlled Object. - Zhinong Miao; Xiangyu Zhao; Yang Xu 001 (FSKD (1), 2005)

A kind of support vector fuzzy classifiers. - Shuwei Chen 001; Li Zou; Yan Gao; Yang Xu 001 (GrC, 2005)

A lattice-valued linguistic-based decision making method. - Jun Liu 001; Yang Xu 001; Da Ruan 001; Luis Martínez-López 001 (GrC, 2005)

Knowledge discovery for goods classification based on rough set. - Chuanhua Zeng; Yang Xu 001; Zheng Pei 001; Weicheng Xie 002 (GrC, 2005)

On the alterability of rule [data mining]. - Chuanhua Zeng; Yang Xu 001; Zheng Pei 001; Weicheng Xie 002 (GrC, 2005)

The Hierarchical Fuzzy Evaluation System and Its Application. - Xiaoping Qiu; Yang Xu 001; Ming Jian; Haiming Li (ICMLC, 2005)

Obtaining a Complex Linguistic Data Summaries from Database Based on a New Linguistic Aggregation Operator. - Zheng Pei 001; Yajun Du; Liangzhong Yi; Yang Xu 001 (IWANN, 2005)

Fuzzy filters of MTL-algebras. - Young Bae Jun; Yang Xu 001; Xiaohong Zhang 001 (Inf. Sci., 2005)

Application of fuzzy Naive Bayes and a real-valued genetic algorithm in identification of fuzzy model. - Yongchuan Tang; Yang Xu 001 (Inf. Sci., 2005)

A study of enterprise human resource competence appraisement. - Xiaohong Liu 010; Da Ruan 001; Yang Xu 001 (J. Enterp. Inf. Manag., 2005)

Sequential Pattern Mining. - Tianrui Li 001; Yang Xu 001; Da Ruan 001; Wuming Pan (Intelligent Data Mining, 2005)

A framework of linguistic truth-valued propositional logic based on lattice implication algebra. - Li Zou; Jun Ma 002; Yang Xu 001 (GrC, 2006)

A fuzzy logic system based on Schweizer-Sklar t-norm. - Xiaohong Zhang 001; Huacan He; Yang Xu 001 (Sci. China Ser. F Inf. Sci., 2006)

Fuzzy logic from the viewpoint of machine intelligence. - Jun Ma 002; S. Chen; Yang Xu 001 (Fuzzy Sets Syst., 2006)

On the consistency of rule bases based on lattice-valued first-order logic LF(X). - Yang Xu 001; Jun Liu 001; Da Ruan 001; Tsu-Tian Lee (Int. J. Intell. Syst., 2006)

Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference. - Zheng Pei 001; Germano Resconi; Ariën J. van der Wal; Keyun Qin; Yang Xu 001 (Inf. Sci., 2006)

The Layered Fuzzy Clustering Method Based on Distance and Density. - Xiaoping Qiu; Yang Xu 001; Xiaobing Li (FSKD (2), 2007)

Decision-Making Based on Case Similarity with Alterable Weights. - Chuanhua Zeng; Yang Xu 001; Weicheng Xie 002 (FSKD (1), 2007)

A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA. - Li Zou; Jinglong Li; Kaijun Xu; Yang Xu 001 (FSKD (1), 2007)

On Relationships of Filters in Lattice Implication Algebra. - Jiajun Lai; Shuwei Chen 001; Yang Xu 001; Keyun Qin; Li Chen (ICFIE, 2007)

Probabilistic Fuzzy Hypernear-Rings. - Xueling Ma; Jianming Zhan 001; Yang Xu 001 (ICFIE, 2007)

Transformation of Linguistic Truth Values During the Sensor Evaluation. - Zhengjiang Wu; Xin Liu 048; Li Zou; Yang Xu 001 (ICFIE, 2007)

The Mixed Hierarchical Fuzzy Evaluation System Based on Dynamic Neural Network. - Xiaoping Qiu; Yang Xu 001; Haiming Li (ICNC (1), 2007)

An Application of Dual-fuzzy Neural-networks to Design of Adaptive Fuzzy Controllers. - Kaijun Xu; Li Zou; Jiajun Lai; Yang Xu 001 (ICNC (1), 2007)

Congruence Relations Induced by Filters and LI-Ideals. - Zhiyan Chang; Yang Xu 001 (IFSA (2), 2007)

Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. - Jun Liu 001; Luis Martínez-López 001; Yang Xu 001; Zhirui Lu (IFSA (2), 2007)

Semantics Properties of Compound Evaluating Syntagms. - Zheng Pei 001; Baoqing Jiang; Liangzhong Yi; Yang Xu 001 (IFSA (2), 2007)

Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic. - Yang Xu 001; Shuwei Chen 001; Jun Liu 001; Da Ruan 001 (IFSA (2), 2007)

Sub-algebras of Finite Lattice Implication Algebra. - Yang Xu 001; Jun Ma 002; Jiajun Lai (IFSA (2), 2007)

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. - Jun Liu 001; Luis Martínez-López 001; Yang Xu 001; Zhirui Lu (ISMVL, 2007)

A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making. - Jun Ma 002; Da Ruan 001; Yang Xu 001; Guangquan Zhang 001 (Int. J. Approx. Reason., 2007)

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]. - Jun Ma 002; Da Ruan 001; Yang Xu 001; Guangquan Zhang 001 (Int. J. Approx. Reason., 2007)

Handling linguistic web information based on a multi-agent system. - Zheng Pei 001; Da Ruan 001; Yang Xu 001; Jun Liu 001 (Int. J. Intell. Syst., 2007)

An Intelligent Sensory Evaluation Method for Industrial Products Characterization. - Yang Xu 001; Xianyi Zeng; Ludovic Koehl (Int. J. Inf. Technol. Decis. Mak., 2007)

Redefined fuzzy implicative filters. - Young Bae Jun; Yang Xu 001; Jun Ma 002 (Inf. Sci., 2007)

BCI-implicative ideals of BCI-algebras. - Yong Lin Liu; Yang Xu 001; Jie Meng (Inf. Sci., 2007)

Filter-based resolution principle for lattice-valued propositional logic LP(X). - Jun Ma 002; Wenjiang Li; Da Ruan 001; Yang Xu 001 (Inf. Sci., 2007)

A rough sets based characteristic relation approach for dynamic attribute generalization in data mining. - Tianrui Li 001; Da Ruan 001; Geert Wets; Jing Song; Yang Xu 001 (Knowl. Based Syst., 2007)

Pseudo-BCK algebras and PD-posets. - Yong Lin Liu; San Yang Liu; Yang Xu 001 (Soft Comput., 2007)

Generalized fuzzy filters of R0-algebras. - Xueling Ma; Jianming Zhan 001; Yang Xu 001 (Soft Comput., 2007)

A Dynamic Neuro-Fuzzy Controller for Gas-Fired Water Heater. - Kaijun Xu; Xiaoping Qiu; Xiaobing Li; Yang Xu 001 (ICNC (7), 2008)

Resolution method of six-element linguistic truth-valued intuitionistic propositional logic. - Li Zou; Fang Sun; Yang Xu 001 (ISKE, 2008)

Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. - Li Zou; Wenjiang Li; Yang Xu 001 (ISNN (1), 2008)

Credit Rating Method with Heterogeneous Information. - Dan Meng; Yang Xu 001 (RSKT, 2008)

Some types of generalized fuzzy filters of BL-algebras. - Jianming Zhan 001; Yang Xu 001 (Comput. Math. Appl., 2008)

A uniform approach of linguistic truth values in sensor evaluation. - Li Zou; Xin Liu 048; Zhengjiang Wu; Yang Xu 001 (Fuzzy Optim. Decis. Mak., 2008)

A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information. - Xiaobing Li; Da Ruan 001; Jun Liu 001; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2008)

Computational Intelligence in Knowledge Engineering. - Tianrui Li 001; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2008)

Lattice implication ordered semigroups. - Xiaodong Pan; Yang Xu 001 (Inf. Sci., 2008)

A linguistic truth-valued reasoning approach in decision making with incomparable information. - Zou Li; Da Ruan 001; Pei Zheng; Yang Xu 001 (J. Intell. Fuzzy Syst., 2008)

A fuzzy model of customer satisfaction index in e-commerce. - Xiaohong Liu 010; Xianyi Zeng; Yang Xu 001; Ludovic Koehl (Math. Comput. Simul., 2008)

A Linguistic Lattice-Valued Approach for Fuzzy Multi-Objective Decision Making. - Xiaobing Li; Da Ruan 001; Jun Liu 001; Yang Xu 001 (J. Multiple Valued Log. Soft Comput., 2008)

Generalized Fuzzy Filters of MTL-algebras. - Xueling Ma; Jianming Zhan 001; Yang Xu 001 (J. Multiple Valued Log. Soft Comput., 2008)

An Identifier-Based Control Method in Dynamic Tracking Neuro-Fuzzy Control System. - Kaijun Xu; Yang Li; Weitao Xu; Yang Xu 001 (CSIE (5), 2009)

Generalized Fuzzy Filters of Lattice Implication Algebras. - Jianming Zhan 001; Yang Xu 001 (FSKD (6), 2009)

Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. - Zheng Pei 001; Yang Xu 001; Da Ruan 001; Keyun Qin (Inf. Sci., 2009)

alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X). - Xingxing He; Yang Xu 001; Yingfang Li; Jun Liu 001; Luis Martínez-López 001; Da Ruan 001 (HAIS (2), 2010)

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic. - Xiaodong Pan; Yang Xu 001; Luis Martínez-López 001; Da Ruan 001; Jun Liu 001 (HAIS (2), 2010)

Semantic theory of finite lattice-valued propositional logic. - Xiaodong Pan; Yang Xu 001 (Sci. China Inf. Sci., 2010)

A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice. - Li Yang; Yang Xu 001 (Int. J. Gen. Syst., 2010)

Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra. - Jiajun Lai; Yang Xu 001 (Inf. Sci., 2010)

On filter theory of residuated lattices. - Yiquan Zhu; Yang Xu 001 (Inf. Sci., 2010)

Information Fusion and Logic-based Reasoning Approaches for Decision Making under Uncertainty. - Luis Martínez-López 001; Jun Liu 001; Yang Xu 001 (J. Univers. Comput. Sci., 2010)

Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty. - Yang Xu 001; Jun Liu 001; Luis Martínez-López 001; Da Ruan 001 (J. Univers. Comput. Sci., 2010)

Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice. - Li Yang; Yang Xu 001 (J. Univers. Comput. Sci., 2010)

Dual Fuzzy Neural Network Control in Civil Aviation Intelligent Landing System. - Kaijun Xu; Guangming Zhang; Yang Xu 001 (AICI (2), 2011)

α-generalized linear resolution method based on lattice-valued propositional logic LP(X). - Weitao Xu; Yang Xu 001 (FSKD, 2011)

Intelligent landing control system for civil aviation aircraft with dual fuzzy neural network. - Kaijun Xu; Guangming Zhang; Yang Xu 001 (FSKD, 2011)

α - Semantic resolution method in lattice-valued logic. - Jiafeng Zhang; Yang Xu 001 (FSKD, 2011)

α-group resolution method based on lattice-valued propositional logic LP(X). - Xiaomei Zhong; Yang Xu 001 (FSKD, 2011)

Soft Lattice Implication Algebras. - Yi Liu 005; Ya Qin; Xiaoyan Qin; Yang Xu 001 (ICAIC (4), 2011)

Rough Approximations in General Approximation Spaces. - Keyun Qin; Zheng Pei 001; Yang Xu 001 (IUKM, 2011)

Theories and Approaches to Treat Incomparability. - Yang Xu 001; Jun Liu 001 (IUKM, 2011)

alpha-resolution method for a lattice-valued first-order logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Da Ruan 001 (Eng. Appl. Artif. Intell., 2011)

Determination of α-resolution in lattice-valued first-order logic LF(X). - Yang Xu 001; Jun Liu 001; Da Ruan 001; Xiaobing Li (Inf. Sci., 2011)

Research on the realization method of workflow engine in enterprise information management. - Xiaoping Qiu; Gangqiao Shi; Changlin Song; Yang Xu 001 (J. Enterp. Inf. Manag., 2011)

A Linguistic-Valued Lattice Implication Algebra Approach for Risk Analysis. - Li Zou; Da Ruan 001; Zheng Pei 001; Yang Xu 001 (J. Multiple Valued Log. Soft Comput., 2011)

Soft Rough Sets Based on Similarity Measures. - Keyun Qin; Zhenming Song; Yang Xu 001 (RSKT, 2012)

On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. - Xingxing He; Jun Liu 001; Yang Xu 001; Luis Martínez-López 001; Da Ruan 001 (Log. J. IGPL, 2012)

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2012)

A linguistic aggregation operator with three kinds of weights for nuclear safeguards evaluation. - Zheng Pei 001; Da Ruan 001; Jun Liu 001; Yang Xu 001 (Knowl. Based Syst., 2012)

Lattice-valued matrix game with mixed strategies for intelligent decision support. - Yang Xu 001; Jun Liu 001; Xiaomei Zhong; Shuwei Chen 001 (Knowl. Based Syst., 2012)

A special issue on new trends in Intelligent Decision Support Systems. - Guangquan Zhang 001; Yang Xu 001; Tianrui Li 001 (Knowl. Based Syst., 2012)

ChineseWord Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules. - Xiaoping Qiu; Gangqiao Shi; Yi Wang; Yang Xu 001; Ping Zheng; Fengyao Zhou (J. Multiple Valued Log. Soft Comput., 2012)

Linguistic Truth-Valued Intuitionistic Fuzzy Algebra. - Li Zou; Xin Liu 048; Da Ruan 001; Yang Xu 001 (J. Multiple Valued Log. Soft Comput., 2012)

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2012)

Modelling experts' attitudes in group decision making. - Ivan Palomares; Jun Liu 001; Yang Xu 001; Luis Martínez-López 001 (Soft Comput., 2012)

General form of α-resolution principle for linguistic truth-valued lattice-valued logic. - Xiaomei Zhong; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2012)

Chairing the FLINS Conference Series (1994-2012). - Etienne E. Kerre; Martine De Cock; Mike Nachtegael; Javier Montero; Yang Xu 001; Tianrui Li 001 (A Tribute to Prof. Dr. Da Ruan, 2013)

Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000. - Yang Xu 001 (A Tribute to Prof. Dr. Da Ruan, 2013)

Chairing the ISKE Conference Series (2006-2011). - Yang Xu 001; Tianrui Li 001 (A Tribute to Prof. Dr. Da Ruan, 2013)

1-minimal resolution principle based on lattice-valued propositional logic LP(X). - Hairui Jia; Yang Xu 001; Yi Liu 005; Huicong He (ICMLC, 2013)

Theorey of vector truth degrees of formulas in two-valued predicate logic. - Xiaoyan Qin; Yang Xu 001 (ICMLC, 2013)

Syntax theory of finite lattice-valued propositional logic. - Xiaodong Pan; Dan Meng; Yang Xu 001 (Sci. China Inf. Sci., 2013)

Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X). - Yi Liu 005; Hairui Jia; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2013)

Combination of interval set and soft set. - Keyun Qin; Dan Meng; Zheng Pei 001; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2013)

A Combination Algorithm of Multiple Lattice-Valued Concept Lattices. - Li Yang; Yuhui Wang; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2013)

IFI-ideals of lattice implication algebras. - Hua Zhu 001; Jianbin Zhao; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2013)

Approximation operators on complete completely distributive lattices. - Keyun Qin; Zheng Pei 001; Jilin Yang; Yang Xu 001 (Inf. Sci., 2013)

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic. - Li Zou; Peng Shi 001; Zheng Pei 001; Yang Xu 001 (J. Intell. Fuzzy Syst., 2013)

On the algebraic structure of binary lattice-valued fuzzy relations. - Xiaodong Pan; Yang Xu 001 (Soft Comput., 2013)

Multiary α-Resolution Principle for a Lattice-Valued Logic. - Yang Xu 001; Jun Liu 001; Xiaomei Zhong; Shuwei Chen 001 (IEEE Trans. Fuzzy Syst., 2013)

The fuzzy mapping aggregation operator based on rimer and its application. - Xiaoping Qiu; Ming Jian; Jun Liu 001; Yi Wang; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2014)

On (M, N)-S I (implicative) filters in R0-algebras. - Jianming Zhan 001; Yang Xu 001; Young Bae Jun (Int. J. Comput. Intell. Syst., 2014)

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X). - Jiafeng Zhang; Yang Xu 001; Xingxing He (Int. J. Comput. Intell. Syst., 2014)

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic. - Xiaomei Zhong; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2014)

A linguistic multi-criteria decision making approach based on logical reasoning. - Shuwei Chen 001; Jun Liu 001; Hui Wang 001; Yang Xu 001; Juan Carlos Augusto (Inf. Sci., 2014)

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. - Jun Liu 001; Wenjiang Li; Shuwei Chen 001; Yang Xu 001 (Inf. Sci., 2014)

Interval-valued T-fuzzy filters and interval-valued T-fuzzy congruences on residuated lattices. - Yi Liu 005; Yang Xu 001; Xiaoyan Qin (J. Intell. Fuzzy Syst., 2014)

Interval-valued intuitionistic (T, S)-fuzzy filters theory on residuated lattices. - Yi Liu 005; Xiaoyan Qin; Yang Xu 001 (Int. J. Mach. Learn. Cybern., 2014)

alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X). - Xiaomei Zhong; Yang Xu 001 (J. Multiple Valued Log. Soft Comput., 2014)

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic. - Xingxing He; Yang Xu 001; Jun Liu 001; Shuwei Chen 001 (Soft Comput., 2014)

On fuzzy filters of CI-algebras. - Wei Wang; Kuan-kuan Zhao; Yang Xu 001 (FSKD, 2015)

Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. - Xingxing He; Yang Xu 001; Jun Liu 001 (ISKE, 2015)

Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic. - Hairui Jia; Yi Liu 005; Yang Xu 001 (ISKE, 2015)

A Method for Interval Multi-attribute Decision Making Based on Evidential Reasoning and Third-Generation Prospect Theory. - Liuqian Jin; Yang Xu 001; Xin Fang (ISKE, 2015)

(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic. - Baihua Li; Xiaonan Li; Chang Pan; Li Zou; Yang Xu 001 (ISKE, 2015)

Decision Making Approaches Based on Type 2 Fuzzy Soft Sets. - Yaya Liu; Keyun Qin; Yang Xu 001 (ISKE, 2015)

Evaluation of Basic Public Services Quality for Optimizing Customer Satisfaction. - Xiaohong Liu 010; Xianyi Zeng; Yang Xu 001 (ISKE, 2015)

Stakeholder Analysis of Ecological Environment Protection Projects. - Bin Luo; Xiaohong Liu 010; Yang Xu 001 (ISKE, 2015)

Vague partition. - Xiaodong Pan; Yang Xu 001 (ISKE, 2015)

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. - Yang Xu 001; Jun Liu 001; Xingxing He; Xiaomei Zhong; Shuwei Chen 001 (ISKE, 2015)

Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management. - Kaijun Xu; Heng Yin; Long Zhang; Yang Xu 001 (ISKE, 2015)

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System. - Weitao Xu; Wenqiang Zhang; Dexian Zhang; Yang Xu 001 (ISKE, 2015)

Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice. - Li Yang; Yuhui Wang; Yang Xu 001 (ISKE, 2015)

Research on Rural Family Property of Western China and Its Legal Protection. - Caijuan Zhang; Xiaohong Liu 010; Yang Xu 001 (ISKE, 2015)

The New Directed Hypergraph for CNF Formula of Propositional Logic. - Zhijia Zhang; Yang Xu 001 (ISKE, 2015)

Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory. - Long Zhang; Kaijun Xu; Heng Yin; Yang Xu 001 (ISKE, 2015)

2-Dimension Linguistic Lattice Implication Algebra. - Hua Zhu 001; Jianbin Zhao; Wenjing Chang; Yang Xu 001 (ISKE, 2015)

GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition. - Limin Du; Yang Xu 001; Jun Liu 001; Fangli Ma (Int. J. Comput. Intell. Syst., 2015)

α-Minimal Resolution Principle For A Lattice-Valued Logic. - Hairui Jia; Yang Xu 001; Yi Liu 005; Jun Liu 001 (Int. J. Comput. Intell. Syst., 2015)

A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect Theory. - Liuqian Jin; Xin Fang; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2015)

Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications. - Xiaodong Pan; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2015)

Redefined soft relations and soft functions. - Keyun Qin; Qiong Liu; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2015)

The validity degree vectors of formulae in two-valued predicate logic. - Xiaoyan Qin; Yang Xu 001; Yi Liu 005 (Int. J. Comput. Intell. Syst., 2015)

-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems. - Weitao Xu; Wenqiang Zhang; Dexian Zhang; Yang Xu 001; Xiaodong Pan (Int. J. Comput. Intell. Syst., 2015)

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X). - Yi Liu 005; Yang Xu 001; Xiaomei Zhong (J. Intell. Fuzzy Syst., 2015)

On lifting quasi-filters and strong lifting quasi-filters in MV-algebras. - Xiaodong Pan; Yang Xu 001 (J. Intell. Fuzzy Syst., 2015)

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)). - Yi Liu 005; Yang Xu 001; Hairui Jia (计算机科学, 2015)

语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic). - Jiafeng Zhang; Yang Xu 001; Qin Chen (计算机科学, 2015)

A novel rule base representation and its inference method using the evidential reasoning approach. - Liuqian Jin; Jun Liu 001; Yang Xu 001; Xin Fang (Knowl. Based Syst., 2015)

Interval-Valued Belief Rule Inference Methodology Based on Evidential Reasoning-IRIMER. - Hua Zhu 001; Jianbin Zhao; Yang Xu 001; Limin Du (Int. J. Inf. Technol. Decis. Mak., 2016)

2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making. - Hua Zhu 001; Jianbin Zhao; Yang Xu 001 (Knowl. Based Syst., 2016)

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. - Feng Cao; Yang Xu 001; Jian Zhong; Guanfeng Wu (ISKE, 2017)

Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. - Wenjing Chang; Guanfeng Wu; Yang Xu 001 (ISKE, 2017)

Some synergized clause selection strategies for contradiction separation based automated deduction. - Shuwei Chen 001; Yang Xu 001; Yan Jiang; Jun Liu 001; Xingxing He (ISKE, 2017)

Conflicting rate based branching heuristic for CDCL SAT solvers. - Qingshan Chen; Yang Xu 001; Guanfeng Wu; Xingxing He (ISKE, 2017)

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. - Huimin Fu 002; Yang Xu 001; Guanfeng Wu; Xinran Ning (ISKE, 2017)

New terms metric based on substitutions. - Qinghua Liu; Yang Xu 001; Xingxing He (ISKE, 2017)

A nonlinear programming based universal optimization model of TDOA passive location. - Fangli Ma; Yang Xu 001; Peng Xu (ISKE, 2017)

Parallel hybrid genetic algorithm for sat problems based on OpenMP. - Guanfeng Wu; Qingshan Chen; Feng Cao; Yang Xu 001; Xiaomei Zhong (ISKE, 2017)

Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. - Jian Zhong; Feng Cao; Guanfeng Wu; Yang Xu 001; Jun Liu 001 (ISKE, 2017)

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems. - Qingshan Chen; Yang Xu 001; Jun Liu 001; Xingxing He (Int. J. Comput. Intell. Syst., 2017)

Study on the properties of A-subset. - Xiqing Long; Hua Zhu 001; Yang Xu 001 (J. Intell. Fuzzy Syst., 2017)

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). - Qingshan Chen; Yang Xu 001; Guanfeng Wu; Xingxing He (计算机科学, 2017)

Ideals and fuzzy ideals on residuated lattices. - Yi Liu 005; Ya Qin; Xiaoyan Qin; Yang Xu 001 (Int. J. Mach. Learn. Cybern., 2017)

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. - Yang Xu 001; Jun Liu 001; Xingxing He; Xiaomei Zhong; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2018)

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers. - Wenjing Chang; Yang Xu 001; Shuwei Chen 001 (Int. J. Comput. Intell. Syst., 2018)

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. - Huimin Fu 002; Yang Xu 001; Guanfeng Wu; Hairui Jia; Wuyang Zhang; Rong Hu (Int. J. Comput. Intell. Syst., 2018)

A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. - Guanfeng Wu; Qingshan Chen; Yang Xu 001; Xingxing He (Int. J. Comput. Intell. Syst., 2018)

Contradiction separation based dynamic multi-clause synergized automated deduction. - Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Xiaomei Zhong; Xingxing He (Inf. Sci., 2018)

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system. - Hairui Jia; Yi Liu 005; Yang Xu 001 (J. Intell. Fuzzy Syst., 2018)

On A-subsets in lattice implication algebras. - Xiqing Long; Yi Liu 005; Yang Xu 001 (J. Intell. Fuzzy Syst., 2018)

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). - Qingshan Chen; Yang Xu 001; Guanfeng Wu (计算机科学, 2018)

基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value). - Zhongxue Hu; Yang Xu 001; Rong Hu (计算机科学, 2018)

On derivations of linguistic truth-valued lattice implication algebras. - Hua Zhu 001; Yi Liu 005; Yang Xu 001 (Int. J. Mach. Learn. Cybern., 2018)

Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. - Xiaodong Pan; Yang Xu 001 (Soft Comput., 2018)

Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. - Xiaodong Pan; Yang Xu 001 (Soft Comput., 2018)

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. - Xinran Ning; Yang Xu 001; Guanfeng Wu; Huimin Fu 002 (Symmetry, 2018)

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. - Feng Cao; Yang Xu 001; Shuwei Chen 001; Xinran Ning; Guanfeng Wu (ISKE, 2019)

A Novel Method Based on Extended Uncertain 2-tuple Linguistic Muirhead Mean Operators to MAGDM under Uncertain 2-Tuple Linguistic Environment. - Yi Liu 005; Jun Liu 001; Ya Qin; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2019)

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. - Feng Cao; Yang Xu 001; Shuwei Chen 001; Jian Zhong; Guanfeng Wu (Int. J. Comput. Intell. Syst., 2019)

Further Complete Solutions to Four Open Problems on Filter of Logical Algebras. - Wei Wang; Pengxi Yang; Yang Xu 001 (Int. J. Comput. Intell. Syst., 2019)

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. - Feng Cao; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Xinran Ning (Symmetry, 2019)

An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers. - Wenjing Chang; Yang Xu 001; Shuwei Chen 001 (Symmetry, 2019)

Focused random walk with probability distribution for SAT with long clauses. - Huimin Fu 002; Jun Liu 001; Yang Xu 001 (Appl. Intell., 2020)

Improving probability selecting based weights for Satisfiability Problem. - Huimin Fu 002; Yang Xu 001; Jun Liu 001; Guanfeng Wu; Geoff Sutcliffe (CoRR, 2020)

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic. - Jian Zhong; Yang Xu 001; Feng Cao (Int. J. Comput. Intell. Syst., 2020)

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). - Feng Cao; Yang Xu 001; Jian Zhong; Xinran Ning (计算机科学, 2020)

Improving WalkSAT for Random 3-SAT Problems. - Huimin Fu 002; Yang Xu 001; Shuwei Chen 001; Jun Liu 001 (J. Univers. Comput. Sci., 2020)

Verify and measure the quality of rule based machine leaning. - Honglei Wei; Hairui Jia; Yingfang Li; Yang Xu 001 (Knowl. Based Syst., 2020)

Determination of 3-ary α-resolution in LP(X). - Hairui Jia; Yang Xu 001; Yi Liu 005 (ISKE, 2021)

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. - Peiyao Liu; Guanfeng Wu; Yang Xu 001; Feng Cao (ISKE, 2021)

Formalization and Verification of Cyclic Group. - Yue Tang; Yang Xu 001; Peiyao Liu; Guoyan Zeng (ISKE, 2021)

Formal Modeling and Verification of Multi-agent System Based on Timed Automata. - Xia Wang; Yang Xu 001; Peiyao Liu (ISKE, 2021)

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. - Guoyan Zeng; Yang Xu 001; Guanfeng Wu; Feng Cao (ISKE, 2021)

More efficient stochastic local search for satisfiability. - Huimin Fu 002; Guanfeng Wu; Jun Liu 001; Yang Xu 001 (Appl. Intell., 2021)

Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. - Huimin Fu 002; Wuyang Zhang; Guanfeng Wu; Yang Xu 001; Jun Liu 001 (Comput. Intell., 2021)

A logical reasoning based decision making method for handling qualitative knowledge. - Shuwei Chen 001; Jun Liu 001; Yang Xu 001 (Int. J. Approx. Reason., 2021)

Research on the Minimum Size of Received Signal Strength Difference Localization Network. - Fangli Ma; Yang Xu 001; Peng Xu (Int. J. Comput. Intell. Syst., 2021)

A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. - Feng Cao; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; JianBing Yi (Inf. Sci., 2021)

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. - Huimin Fu 002; Yang Xu 001; Guanfeng Wu; Jun Liu 001; Shuwei Chen 001; Xingxing He (Inf. Sci., 2021)

α-Paramodulation method for a lattice-valued logic LnF(X) with equality. - Xingxing He; Yang Xu 001; Jun Liu 001; Yingfang Li (Soft Comput., 2021)

Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking. - Xia Wang; Jun Liu 001; Chris D. Nugent; Samuel J. Moore; Yang Xu 001 (UCAmI, 2022)

Axiom selection over large theory based on new first-order formula metrics. - Qinghua Liu; Yang Xu 001 (Appl. Intell., 2022)

Improving probability selection based weights for satisfiability problems. - Huimin Fu 002; Jun Liu 001; Guanfeng Wu; Yang Xu 001; Geoff Sutcliffe (Knowl. Based Syst., 2022)

Attention recurrent cross-graph neural network for selecting premises. - Qinghua Liu; Yang Xu 001; Xingxing He (Int. J. Mach. Learn. Cybern., 2022)

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. - Xia Wang; Yang Xu 001; Jun Liu 001; Guanfeng Wu; Shuwei Chen 001 (ISKE, 2023)

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. - Peiyao Liu; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Feng Cao; Guanfeng Wu (Knowl. Based Syst., 2023)

Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking. - Xia Wang; Jun Liu 001; Chris D. Nugent; Ian Cleland; Yang Xu 001 (Knowl. Based Syst., 2023)

Fully reusing clause deduction algorithm based on standard contradiction separation rule. - Peiyao Liu; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Feng Cao; Guanfeng Wu (Inf. Sci., 2023)

A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking. - Xia Wang; Jun Liu 001; Samuel J. Moore; Chris D. Nugent; Yang Xu 001 (Inf. Fusion, 2023)

Reliability analysis of mobile agent control system with multiple alternative plans. - Xia Wang; Yang Xu 001; Jun Liu 001; Keming Wang (Soft Comput., 2023)

A complementary ratio based clause selection method for contradiction separation dynamic deduction. - Guoyan Zeng; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Peiyao Liu (Knowl. Based Syst., 2024)

Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. - Huimin Fu 002; Shaowei Cai 001; Guanfeng Wu; Jun Liu 001; Xin Yang; Yang Xu 001 (Inf. Sci., 2024)