Xingxing He

54 papers Misc 6Journal 47Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards multi-clause automated deduction and theorem generation: Constructing and applying standard contradictions.
Knowl. Based Syst.
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025 J jnl
Contradictions.
CoRR
Yang Xu, Shuwei Chen, Xiaomei Zhong, Jun Liu, Xingxing He
2025 J jnl
Data-Driven Knowledge Fusion for Deep Multi-Instance Learning.
IEEE Trans. Neural Networks Learn. Syst.
Yu-Xuan Zhang, Zhengchun Zhou, Xingxing He, Avik Ranjan Adhikary, Bapi Dutta
2025 J jnl
Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm.
CoRR
Yang Xu, Xingxing He, Shuwei Chen, Jun Liu, Xiaomei Zhong
2025 J jnl
Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction.
CoRR
Yang Xu, Shuwei Chen, Jun Liu, Feng Cao, Xingxing He
2025 J jnl
Integrating a simplified formula graph representation into a graph neural network model for premise selection.
Appl. Soft Comput.
Xingxing He, Zhongxu Zhao, Yongqi Lan, Yingfang Li, Li Zou, Jun Liu, Luis Martínez, Tianrui Li
2024 J jnl
A new educational grading system based on fuzzy techniques.
Soft Comput.
Xingxing He, Yingfang Li, Bin Yang
2024 J jnl
A sequential multi-agent reinforcement learning framework for different action spaces.
Expert Syst. Appl.
Shucong Tian, Meng Yang, Rongling Xiong, Xingxing He, Sutharshan Rajasegarar
2024 J jnl
An improved method to estimate the similarity between
Fuzzy Sets Syst.
Yingfang Li, Xingxing He, Keyun Qin, Dan Meng
2024 J jnl
Comparative analysis of three categories of multi-criteria decision-making methods.
Expert Syst. Appl.
Yingfang Li, Xingxing He, Luis Martínez, Jiafeng Zhang, Danchen Wang, Xueqin Amy Liu
2024 J jnl
Quality prediction of kiwifruit based on transfer learning.
J. Intell. Fuzzy Syst.
Yancong Zhou, Yumei Ma, Xiaochen Sun, Aihuan Peng, Bo Zhang, Xiaoying Gu, Yan Wang, Xingxing He, Zhen Guo
2024 J jnl
Teaching optimization of virtual reality and augmented reality technology in vocational education.
J. Comput. Methods Sci. Eng.
Xingxing He, Lei Li
2023 J jnl
Data-driven Knowledge Fusion for Deep Multi-instance Learning.
CoRR
Yu-Xuan Zhang, Zhengchun Zhou, Xingxing He, Avik Ranjan Adhikary, Bapi Dutta
2023 J jnl
Fuzzy multiple linear least squares regression analysis.
Fuzzy Sets Syst.
Yingfang Li, Xingxing He, Xueqin Amy Liu
2022 J jnl
Attention recurrent cross-graph neural network for selecting premises.
Int. J. Mach. Learn. Cybern.
Qinghua Liu, Yang Xu, Xingxing He
2022 J jnl
Editorial: New trends on machine learning applied to information processing under uncertainty.
Int. J. Mach. Learn. Cybern.
Li Zou, Luis Martínez, Jun Liu, Xiaoping Qiu, Xingxing He
2022 J jnl
On structures of regular standard contradictions in propositional logic.
Inf. Sci.
Xingxing He, Yingfang Li, Yanghe Feng
2021 J jnl
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.
Inf. Sci.
Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He
2021 J jnl
On a new distance measure of three-parameter interval numbers and its application to pattern recognition.
Soft Comput.
Xingxing He, Yingfang Li, Keyun Qin
2021 J jnl
α-Paramodulation method for a lattice-valued logic L
Soft Comput.
Xingxing He, Yang Xu, Jun Liu, Yingfang Li
2020 J jnl
Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions.
Soft Comput.
Xingxing He, Yingfang Li, Keyun Qin, Dan Meng
2019 Misc conf
A Learned Clause Deletion Strategy Based on Distance Ratio.
ISKE
Meng Wang, Xingxing He, Jun Liu
2019 J jnl
Some notes on optimal fuzzy reasoning methods.
Inf. Sci.
Yingfang Li, Xingxing He, Keyun Qin, Dan Meng
2019 J jnl
Two computational formulae for similarity measures on intuitionistic fuzzy sets based on intuitionistic fuzzy equivalencies.
J. Intell. Fuzzy Syst.
Xingxing He, Yingfang Li, Limin Du, Keyun Qin
2019 J jnl
一种基于加权决策变量决策层的分支策略 (Branching Strategy Based on Weighted Decision Variable Level).
计算机科学
Meng Wang, Xingxing He
2018 J jnl
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem.
Int. J. Comput. Intell. Syst.
Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
2018 J jnl
Contradiction separation based dynamic multi-clause synergized automated deduction.
Inf. Sci.
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He
2018 J jnl
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.
Int. J. Comput. Intell. Syst.
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2017 J jnl
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems.
Int. J. Comput. Intell. Syst.
Qingshan Chen, Yang Xu, Jun Liu, Xingxing He
2017 Misc conf
Conflicting rate based branching heuristic for CDCL SAT solvers.
ISKE
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
2017 Misc conf
New terms metric based on substitutions.
ISKE
Qinghua Liu, Yang Xu, Xingxing He
2017 J jnl
On the T
Fuzzy Sets Syst.
Xingxing He, Yingfang Li, Keyun Qin, Dan Meng
2017 J jnl
On the characterizations of fuzzy XNOR connectives.
J. Intell. Fuzzy Syst.
Xingxing He, Yingfang Li, Keyun Qin, Dan Meng
2017 Misc conf
Some synergized clause selection strategies for contradiction separation based automated deduction.
ISKE
Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He
2017 J jnl
Three constructive methods for the definition of interval-valued fuzzy equivalencies.
Fuzzy Sets Syst.
Yingfang Li, Xingxing He, Keyun Qin, Dan Meng
2017 J jnl
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).
计算机科学
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
2016 J jnl
Properties of Raha's similarity-based approximate reasoning method.
Fuzzy Sets Syst.
Yingfang Li, Keyun Qin, Xingxing He, Dan Meng
2016 J jnl
Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures.
Fuzzy Sets Syst.
Yingfang Li, Keyun Qin, Xingxing He, Dan Meng
2015 Misc conf
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic.
ISKE
Xingxing He, Yang Xu, Jun Liu
2015 Misc conf
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.
ISKE
Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
2015 J jnl
Similarity measures of interval-valued fuzzy sets.
J. Intell. Fuzzy Syst.
Yingfang Li, Keyun Qin, Xingxing He, Dan Meng
2014 J jnl
A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.
Soft Comput.
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2014 J jnl
Dissimilarity functions and divergence measures between fuzzy sets.
Inf. Sci.
Yingfang Li, Keyun Qin, Xingxing He
2014 J jnl
Some new approaches to constructing similarity measures.
Fuzzy Sets Syst.
Yingfang Li, Keyun Qin, Xingxing He
2014 J jnl
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic
Int. J. Comput. Intell. Syst.
Jiafeng Zhang, Yang Xu, Xingxing He
2013 J jnl
On the associative property of fuzzy Xor connectives.
J. Intell. Fuzzy Syst.
Xingxing He, Yingfang Li, Keyun Qin
2013 J jnl
Relations among similarity measure, subsethood measure and fuzzy entropy.
Int. J. Comput. Intell. Syst.
Yingfang Li, Keyun Qin, Xingxing He
2013 J jnl
Robustness of fuzzy connectives and fuzzy reasoning.
Fuzzy Sets Syst.
Yingfang Li, Keyun Qin, Xingxing He
2012 J jnl
On
Log. J. IGPL
Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan
2012 J jnl
On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.
Soft Comput.
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2012 — conf
Phased Array Antenna Design Based on Kriging Meta-model.
AsiaSim (3)
Yajun Yang, Ying Liao, Xingxing He
2012 J jnl
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic.
Int. J. Comput. Intell. Syst.
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen
2011 J jnl
Fuzzy XNOR connectives in fuzzy logic.
Soft Comput.
Yingfang Li, Keyun Qin, Xingxing He
2011 J jnl
alpha-resolution method for a lattice-valued first-order logic.
Eng. Appl. Artif. Intell.
Xingxing He, Yang Xu, Jun Liu, Da Ruan