Xingxing He

According to our database, Xingxing He authored at least 46 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quality prediction of kiwifruit based on transfer learning.

Yancong Zhou, Yumei Ma, Xiaochen Sun, Aihuan Peng, Bo Zhang, Xiaoying Gu, Yan Wang, Xingxing He, Zhen Guo

J. Intell. Fuzzy Syst., March, 2024

Comparative analysis of three categories of multi-criteria decision-making methods.

Yingfang Li, Xingxing He, Luis Martínez, Jiafeng Zhang, Danchen Wang, Xueqin Amy Liu

Expert Syst. Appl., March, 2024

An improved method to estimate the similarity between <i>LR</i>-type fuzzy numbers.

Yingfang Li, Xingxing He, Keyun Qin, Dan Meng

Fuzzy Sets Syst., January, 2024

2023

Fuzzy multiple linear least squares regression analysis.

Yingfang Li, Xingxing He, Xueqin Amy Liu

Fuzzy Sets Syst., May, 2023

Data-driven Knowledge Fusion for Deep Multi-instance Learning.

Yu-Xuan Zhang, Zhengchun Zhou, Xingxing He, Avik Ranjan Adhikary, Bapi Dutta

CoRR, 2023

2022

Editorial: New trends on machine learning applied to information processing under uncertainty.

Li Zou, Luis Martínez, Jun Liu, Xiaoping Qiu, Xingxing He

Int. J. Mach. Learn. Cybern., 2022

Attention recurrent cross-graph neural network for selecting premises.

Qinghua Liu, Yang Xu, Xingxing He

Int. J. Mach. Learn. Cybern., 2022

On structures of regular standard contradictions in propositional logic.

Xingxing He, Yingfang Li, Yanghe Feng

Inf. Sci., 2022

2021

α-Paramodulation method for a lattice-valued logic L_nF(X) with equality.

Xingxing He, Yang Xu, Jun Liu, Yingfang Li

Soft Comput., 2021

On a new distance measure of three-parameter interval numbers and its application to pattern recognition.

Xingxing He, Yingfang Li, Keyun Qin

Soft Comput., 2021

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.

Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He

Inf. Sci., 2021

2020

Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions.

Xingxing He, Yingfang Li, Keyun Qin, Dan Meng

Soft Comput., 2020

2019

一种基于加权决策变量决策层的分支策略 (Branching Strategy Based on Weighted Decision Variable Level).

Meng Wang, Xingxing He

计算机科学, 2019

Two computational formulae for similarity measures on intuitionistic fuzzy sets based on intuitionistic fuzzy equivalencies.

Xingxing He, Yingfang Li, Limin Du, Keyun Qin

J. Intell. Fuzzy Syst., 2019

Some notes on optimal fuzzy reasoning methods.

Yingfang Li, Xingxing He, Keyun Qin, Dan Meng

Inf. Sci., 2019

A Learned Clause Deletion Strategy Based on Distance Ratio.

Meng Wang, Xingxing He, Jun Liu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Contradiction separation based dynamic multi-clause synergized automated deduction.

Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He

Inf. Sci., 2018

A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem.

Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He

Int. J. Comput. Intell. Syst., 2018

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Int. J. Comput. Intell. Syst., 2018

2017

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

计算机科学, 2017

On the characterizations of fuzzy XNOR connectives.

Xingxing He, Yingfang Li, Keyun Qin, Dan Meng

J. Intell. Fuzzy Syst., 2017

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems.

Qingshan Chen, Yang Xu, Jun Liu, Xingxing He

Int. J. Comput. Intell. Syst., 2017

Three constructive methods for the definition of interval-valued fuzzy equivalencies.

Yingfang Li, Xingxing He, Keyun Qin, Dan Meng

Fuzzy Sets Syst., 2017

On the T_L-transitivity of fuzzy similarity measures.

Xingxing He, Yingfang Li, Keyun Qin, Dan Meng

Fuzzy Sets Syst., 2017

New terms metric based on substitutions.

Qinghua Liu, Yang Xu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Conflicting rate based branching heuristic for CDCL SAT solvers.

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Some synergized clause selection strategies for contradiction separation based automated deduction.

Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2016

Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures.

Yingfang Li, Keyun Qin, Xingxing He, Dan Meng

Fuzzy Sets Syst., 2016

Properties of Raha's similarity-based approximate reasoning method.

Yingfang Li, Keyun Qin, Xingxing He, Dan Meng

Fuzzy Sets Syst., 2016

2015

Similarity measures of interval-valued fuzzy sets.

Yingfang Li, Keyun Qin, Xingxing He, Dan Meng

J. Intell. Fuzzy Syst., 2015

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic.

Xingxing He, Yang Xu, Jun Liu

Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

2014

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2014

Dissimilarity functions and divergence measures between fuzzy sets.

Yingfang Li, Keyun Qin, Xingxing He

Inf. Sci., 2014

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic <i>L</i>_{<i>V</i>(<i>n×</i>2)}P(X).

Jiafeng Zhang, Yang Xu, Xingxing He

Int. J. Comput. Intell. Syst., 2014

Some new approaches to constructing similarity measures.

Yingfang Li, Keyun Qin, Xingxing He

Fuzzy Sets Syst., 2014

2013

On the associative property of fuzzy Xor connectives.

Xingxing He, Yingfang Li, Keyun Qin

J. Intell. Fuzzy Syst., 2013

Relations among similarity measure, subsethood measure and fuzzy entropy.

Yingfang Li, Keyun Qin, Xingxing He

Int. J. Comput. Intell. Syst., 2013

Robustness of fuzzy connectives and fuzzy reasoning.

Yingfang Li, Keyun Qin, Xingxing He

Fuzzy Sets Syst., 2013

2012

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Soft Comput., 2012

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing He, Yang Xu, Jun Liu, Shuwei Chen

Int. J. Comput. Intell. Syst., 2012

On <i>α</i>-satisfiability and its <i>α</i>-lock resolution in a finite lattice-valued propositional logic.

Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan

Log. J. IGPL, 2012

Phased Array Antenna Design Based on Kriging Meta-model.

Yajun Yang, Ying Liao, Xingxing He

Proceedings of the AsiaSim 2012, 2012

2011

Fuzzy XNOR connectives in fuzzy logic.

Yingfang Li, Keyun Qin, Xingxing He

Soft Comput., 2011

alpha-resolution method for a lattice-valued first-order logic.

Xingxing He, Yang Xu, Jun Liu, Da Ruan

Eng. Appl. Artif. Intell., 2011

2010

<i>alpha</i>-Satisfiability and <i>alpha</i>-Lock Resolution for a Lattice-Valued Logic LP(X).

Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010