| 查看: 1956 | 回复: 7 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
ISKE2015会议检索 已有3人参与
|
|||
|
请问ISKE2015会议论文检索了吗 ？ (α,β)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic 一直没检出来啊！有跟我一样的吗？ |
回复此楼» 猜你喜欢
咱们一起用铁证分析2026国家社科基金中标与否
已经有22人回复
-
是这周出结果还是下周出结果？
已经有4人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有5人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有6人回复
-
欢迎发来filecode的Mz6后的代码验证其规律
已经有49人回复
-
哪位老哥知道今年的国自然具体哪一天放榜？
已经有5人回复
-
各位道友，我要去昆明玩几天，回来见。
已经有7人回复
-
filecode
已经有10人回复
-
奇怪，两个人的filecode固定段从头到尾一模一样
已经有11人回复
-
有时候，自然基金真的不能太认真 （我的申报经验）
已经有8人回复
» 本主题相关价值贴推荐，对您同样有帮助:
6楼2017-03-20 21:54:02
EXLsunshine
银虫 (初入文坛)
- 应助: 0 (幼儿园)
- 金币: 433
- 散金: 5
- 帖子: 34
- 在线: 18.1小时
- 虫号: 3821191
- 注册: 2015-04-20
- 性别: GG
- 专业: 计算机软件
2楼2017-03-02 13:16:47
EXLsunshine
银虫 (初入文坛)
- 应助: 0 (幼儿园)
- 金币: 433
- 散金: 5
- 帖子: 34
- 在线: 18.1小时
- 虫号: 3821191
- 注册: 2015-04-20
- 性别: GG
- 专业: 计算机软件
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
小木虫: 金币+0.5, 给个红包，谢谢回帖
|
我帮你看了，你这篇文章已经被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. |
3楼2017-03-02 13:43:12
4楼2017-03-02 14:55:53
