Xingxing He

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 31

Top Topics

Propositional Logic

Boolean Satisfiability

Top Venues

Fuzzy Sets Syst.

Publications

Xingxing He, Yingfang Li, Bin Yang
A new educational grading system based on fuzzy techniques. Soft Comput. 28 (13-14) (2024)
Yingfang Li, Xingxing He, Keyun Qin, Dan Meng
-type fuzzy numbers. Fuzzy Sets Syst. 476 (2024)
Yingfang Li, Xingxing He, Luis Martínez, Jiafeng Zhang, Danchen Wang, Xueqin Amy Liu
Comparative analysis of three categories of multi-criteria decision-making methods. Expert Syst. Appl. 238 (Part B) (2024)
Yancong Zhou, Yumei Ma, Xiaochen Sun, Aihuan Peng, Bo Zhang, Xiaoying Gu, Yan Wang, Xingxing He, Zhen Guo
Quality prediction of kiwifruit based on transfer learning. J. Intell. Fuzzy Syst. 46 (3) (2024)
Shucong Tian, Meng Yang, Rongling Xiong, Xingxing He, Sutharshan Rajasegarar
A sequential multi-agent reinforcement learning framework for different action spaces. Expert Syst. Appl. 258 (2024)
Yingfang Li, Xingxing He, Xueqin Amy Liu
Fuzzy multiple linear least squares regression analysis. Fuzzy Sets Syst. 459 (2023)
Yu-Xuan Zhang, Zhengchun Zhou, Xingxing He, Avik Ranjan Adhikary, Bapi Dutta
Data-driven Knowledge Fusion for Deep Multi-instance Learning. CoRR (2023)
Xingxing He, Yingfang Li, Yanghe Feng
On structures of regular standard contradictions in propositional logic. Inf. Sci. 586 (2022)
Qinghua Liu, Yang Xu, Xingxing He
Attention recurrent cross-graph neural network for selecting premises. Int. J. Mach. Learn. Cybern. 13 (5) (2022)
Li Zou, Luis Martínez, Jun Liu, Xiaoping Qiu, Xingxing He
Editorial: New trends on machine learning applied to information processing under uncertainty. Int. J. Mach. Learn. Cybern. 13 (3) (2022)
Xingxing He, Yang Xu, Jun Liu, Yingfang Li
with equality. Soft Comput. 25 (1) (2021)
Xingxing He, Yingfang Li, Keyun Qin
On a new distance measure of three-parameter interval numbers and its application to pattern recognition. Soft Comput. 25 (13) (2021)
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 (2021)
Xingxing He, Yingfang Li, Keyun Qin, Dan Meng
Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions. Soft Comput. 24 (1) (2020)
Meng Wang, Xingxing He
一种基于加权决策变量决策层的分支策略 (Branching Strategy Based on Weighted Decision Variable Level). 计算机科学 46 (11A) (2019)
Yingfang Li, Xingxing He, Keyun Qin, Dan Meng
Some notes on optimal fuzzy reasoning methods. Inf. Sci. 503 (2019)
Meng Wang, Xingxing He, Jun Liu
A Learned Clause Deletion Strategy Based on Distance Ratio. ISKE (2019)
Xingxing He, Yingfang Li, Limin Du, Keyun Qin
Two computational formulae for similarity measures on intuitionistic fuzzy sets based on intuitionistic fuzzy equivalencies. J. Intell. Fuzzy Syst. 37 (5) (2019)
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) (2018)
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462 (2018)
Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12 (1) (2018)
Xingxing He, Yingfang Li, Keyun Qin, Dan Meng
-transitivity of fuzzy similarity measures. Fuzzy Sets Syst. 322 (2017)
Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He
Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE (2017)
Yingfang Li, Xingxing He, Keyun Qin, Dan Meng
Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets Syst. 322 (2017)
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44 (11) (2017)
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) (2017)
Qinghua Liu, Yang Xu, Xingxing He
New terms metric based on substitutions. ISKE (2017)
Xingxing He, Yingfang Li, Keyun Qin, Dan Meng
On the characterizations of fuzzy XNOR connectives. J. Intell. Fuzzy Syst. 32 (3) (2017)
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE (2017)
Yingfang Li, Keyun Qin, Xingxing He, Dan Meng
Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures. Fuzzy Sets Syst. 294 (2016)
Yingfang Li, Keyun Qin, Xingxing He, Dan Meng
Properties of Raha's similarity-based approximate reasoning method. Fuzzy Sets Syst. 294 (2016)
Xingxing He, Yang Xu, Jun Liu
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE (2015)
Yingfang Li, Keyun Qin, Xingxing He, Dan Meng
Similarity measures of interval-valued fuzzy sets. J. Intell. Fuzzy Syst. 28 (5) (2015)
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)
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) (2014)
Jiafeng Zhang, Yang Xu, Xingxing He
P(X). Int. J. Comput. Intell. Syst. 7 (1) (2014)
Yingfang Li, Keyun Qin, Xingxing He
Dissimilarity functions and divergence measures between fuzzy sets. Inf. Sci. 288 (2014)
Yingfang Li, Keyun Qin, Xingxing He
Some new approaches to constructing similarity measures. Fuzzy Sets Syst. 234 (2014)
Yingfang Li, Keyun Qin, Xingxing He
Relations among similarity measure, subsethood measure and fuzzy entropy. Int. J. Comput. Intell. Syst. 6 (3) (2013)
Xingxing He, Yingfang Li, Keyun Qin
On the associative property of fuzzy Xor connectives. J. Intell. Fuzzy Syst. 25 (1) (2013)
Yingfang Li, Keyun Qin, Xingxing He
Robustness of fuzzy connectives and fuzzy reasoning. Fuzzy Sets Syst. 225 (2013)
Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan
-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20 (3) (2012)
Yajun Yang, Ying Liao, Xingxing He
Phased Array Antenna Design Based on Kriging Meta-model. AsiaSim (3) (2012)
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) (2012)
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) (2012)
Yingfang Li, Keyun Qin, Xingxing He
Fuzzy XNOR connectives in fuzzy logic. Soft Comput. 15 (12) (2011)
Xingxing He, Yang Xu, Jun Liu, Da Ruan
alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24 (7) (2011)
Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan
-Lock Resolution for a Lattice-Valued Logic LP(X). HAIS (2) (2010)