![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Xingxing He
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j37]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): 121824 (2024) - [j36]Yingfang Li, Xingxing He, Keyun Qin, Dan Meng:
An improved method to estimate the similarity between LR-type fuzzy numbers. Fuzzy Sets Syst. 476: 108770 (2024) - [j35]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): 7389-7400 (2024) - 2023
- [j34]Yingfang Li, Xingxing He, Xueqin Amy Liu
:
Fuzzy multiple linear least squares regression analysis. Fuzzy Sets Syst. 459: 118-143 (2023) - [i1]Yu-Xuan Zhang, Zhengchun Zhou, Xingxing He, Avik Ranjan Adhikary, Bapi Dutta:
Data-driven Knowledge Fusion for Deep Multi-instance Learning. CoRR abs/2304.11905 (2023) - 2022
- [j33]Xingxing He, Yingfang Li, Yanghe Feng:
On structures of regular standard contradictions in propositional logic. Inf. Sci. 586: 261-278 (2022) - [j32]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): 567-568 (2022) - [j31]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) - 2021
- [j30]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) - [j29]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) - [j28]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): 8595-8607 (2021) - 2020
- [j27]Xingxing He, Yingfang Li, Keyun Qin, Dan Meng:
Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions. Soft Comput. 24(1): 523-541 (2020)
2010 – 2019
- 2019
- [j26]Yingfang Li, Xingxing He
, Keyun Qin, Dan Meng:
Some notes on optimal fuzzy reasoning methods. Inf. Sci. 503: 652-669 (2019) - [j25]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): 7073-7086 (2019) - [j24]Meng Wang, Xingxing He:
一种基于加权决策变量决策层的分支策略 (Branching Strategy Based on Weighted Decision Variable Level). 计算机科学 46(11A): 19-22 (2019) - [c8]Meng Wang, Xingxing He, Jun Liu:
A Learned Clause Deletion Strategy Based on Distance Ratio. ISKE 2019: 248-252 - 2018
- [j23]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) - [j22]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) - [j21]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) - 2017
- [j20]Xingxing He
, Yingfang Li, Keyun Qin, Dan Meng:
On the TL-transitivity of fuzzy similarity measures. Fuzzy Sets Syst. 322: 54-69 (2017) - [j19]Yingfang Li, Xingxing He
, Keyun Qin, Dan Meng:
Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets Syst. 322: 70-85 (2017) - [j18]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) - [j17]Xingxing He, Yingfang Li, Keyun Qin, Dan Meng:
On the characterizations of fuzzy XNOR connectives. J. Intell. Fuzzy Syst. 32(3): 2733-2745 (2017) - [j16]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44(11): 279-283 (2017) - [c7]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 - [c6]Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He:
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5 - [c5]Qinghua Liu, Yang Xu, Xingxing He:
New terms metric based on substitutions. ISKE 2017: 1-6 - 2016
- [j15]Yingfang Li, Keyun Qin, Xingxing He
, Dan Meng:
Properties of Raha's similarity-based approximate reasoning method. Fuzzy Sets Syst. 294: 48-62 (2016) - [j14]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: 63-78 (2016) - 2015
- [j13]Yingfang Li, Keyun Qin, Xingxing He, Dan Meng:
Similarity measures of interval-valued fuzzy sets. J. Intell. Fuzzy Syst. 28(5): 2113-2125 (2015) - [c4]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 - [c3]Xingxing He, Yang Xu, Jun Liu
:
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20 - 2014
- [j12]Yingfang Li, Keyun Qin, Xingxing He:
Some new approaches to constructing similarity measures. Fuzzy Sets Syst. 234: 46-60 (2014) - [j11]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) - [j10]Yingfang Li, Keyun Qin, Xingxing He:
Dissimilarity functions and divergence measures between fuzzy sets. Inf. Sci. 288: 15-26 (2014) - [j9]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
- [j8]Yingfang Li, Keyun Qin, Xingxing He:
Robustness of fuzzy connectives and fuzzy reasoning. Fuzzy Sets Syst. 225: 93-105 (2013) - [j7]Yingfang Li, Keyun Qin, Xingxing He:
Relations among similarity measure, subsethood measure and fuzzy entropy. Int. J. Comput. Intell. Syst. 6(3): 411-422 (2013) - [j6]Xingxing He, Yingfang Li, Keyun Qin:
On the associative property of fuzzy Xor connectives. J. Intell. Fuzzy Syst. 25(1): 1-7 (2013) - 2012
- [j5]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) - [j4]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) - [j3]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) - [c2]Yajun Yang, Ying Liao, Xingxing He:
Phased Array Antenna Design Based on Kriging Meta-model. AsiaSim (3) 2012: 312-322 - 2011
- [j2]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) - [j1]Yingfang Li, Keyun Qin, Xingxing He:
Fuzzy XNOR connectives in fuzzy logic. Soft Comput. 15(12): 2457-2465 (2011) - 2010
- [c1]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
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-24 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint