https://ieeexplore.ieee.org/document/7383070/
你这个不也是IEEE检索了么，不过不知道EI咋样。

我帮你看了，你这篇文章已经被EI收了。。。时隔两年。。。终于2015的在2017收录了。。。。


Accession number:       
20162002387717
        Title:        (α, β)-ordered linear resolution of intuitionistic fuzzy propositional logic
        Authors:        Li, Baihua1 Email author libh@dl.cn; Li, Xiaonan1 Email author lixiaonanxx.com@163.com; Pan, Chang1 Email author panchang_2014@163.com; Zou, Li1 Email author zoulicn@163.com; Xu, Yang2 Email author xuyang@home.swjtu.edu.cn
        Author affiliation:        1 School of Computer and Information Technology, Liaoning Normal University, Dalian, China
                2 Department of Mathematics, Southwest Jiaotong University, Hengdu, Sichuan; 610031, China
        Corresponding author:        Li, Baihua (libh@dl.cn)
        Source title:        Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
        Abbreviated source title:        Proc. - The Int. Conf. Intell. Syst. Knowl. Eng., ISKE
        Monograph title:        Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
        Issue date:        January 13, 2016
        Publication year:        2015
        Pages:        341-344
        Article number:        7383070
        Language:        English
        ISBN-13:        9781467393225
        Document type:        Conference article (CA)
        Conference name:        10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
        Conference date:        November 24, 2015 - November 27, 2015
        Conference location:        Taipei, Taiwan
        Conference code:        119125
        Sponsor:        Ministry of Science and Technology; National Taiwan University of Science and Technology; Southwest Jiaotong University; University of Technology, Sydney
        Publisher:        Institute of Electrical and Electronics Engineers Inc.
        Abstract:        To improve the ((α, β)-resolution efficiency of intuitionistic fuzzy propositional logic, we apply linear resolution and ordered resolution to ((α, β)-resolution. Provide the concepts of ((α, β)-linear resolution, ((α, β)-ordered resolution and reducible ordered clause. Propose the ((α, β)-ordered linear resolution method based on intuitionistic fuzzy propositional logic. The similar literals and merger rule of ((α, β)-ordered linear resolution are discussed. Finally, the ((α, β)-ordered linear resolution algorithm is presented and an example is given to illustrate the effectiveness of the proposed method. © 2015 IEEE.
        Number of references:        19
        Main heading:        Fuzzy logic
        Controlled terms:        Computer circuits - Formal logic - Fuzzy sets - Intelligent systems - Knowledge engineering - Reconfigurable hardware
        Uncontrolled terms:        Intuitionistic fuzzy - Linear resolutions - Literals - Ordered resolution - Propositional logic - reducible ordered clause
        Classification code:        721.1Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 721.3Computer Circuits - 723.4Artificial Intelligence
        DOI:        10.1109/ISKE.2015.101
        Funding Details:        Number;  Acronym;  Sponsor:  61173100;  NSFC;  National Natural Science Foundation of China  
Number;  Acronym;  Sponsor:  61175055;  NSFC;  National Natural Science Foundation of China  
Number;  Acronym;  Sponsor:  61372187;  NSFC;  National Natural Science Foundation of China  
        Database:        Compendex
                Compilation and indexing terms, © 2017 Elsevier Inc，

可以帮我查一下么？fuzzy spectral partition ensemble based on occasion 谢谢