| 5 | 1/1 | 返回列表 |
| 查看: 1764 | 回復(fù): 7 | |||
| 當(dāng)前只顯示滿足指定條件的回帖,點(diǎn)擊這里查看本話題的所有回帖 | |||
OX_2650931新蟲(chóng) (初入文壇)
|
[交流]
ISKE2015會(huì)議檢索 已有3人參與
|
||
|
請(qǐng)問(wèn)ISKE2015會(huì)議論文檢索了嗎 ? (α,β)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic 一直沒(méi)檢出來(lái)!有跟我一樣的嗎? |
|
本帖內(nèi)容被屏蔽 |
銀蟲(chóng) (初入文壇)
|
https://ieeexplore.ieee.org/document/7383070/ 你這個(gè)不也是IEEE檢索了么,不過(guò)不知道EI咋樣。 |
銀蟲(chóng) (初入文壇)
|
我?guī)湍憧戳,你這篇文章已經(jīng)被EI收了。。。時(shí)隔兩年。。。終于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. |
新蟲(chóng) (初入文壇)
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 070303一志愿西北大學(xué)學(xué)碩310找調(diào)劑 +6 | d如愿上岸 2026-03-12 | 9/450 |
|
|---|---|---|---|---|
|
[考研] 一志愿武理材料305分求調(diào)劑 +5 | 想上岸的鯉魚(yú) 2026-03-18 | 6/300 |
|
|
[考研] 314求調(diào)劑 +8 | 無(wú)懈可擊的巨人 2026-03-12 | 8/400 |
|
|
[考研] 08工科 320總分 求調(diào)劑 +5 | 梨花珞晚風(fēng) 2026-03-17 | 5/250 |
|
|
[考研] 0703化學(xué)調(diào)劑 +4 | pupcoco 2026-03-17 | 7/350 |
|
|
[考研] 265求調(diào)劑 +3 | 梁梁校校 2026-03-17 | 3/150 |
|
|
[考研] 277調(diào)劑 +5 | 自由煎餅果子 2026-03-16 | 6/300 |
|
|
[考研] 301求調(diào)劑 +4 | A_JiXing 2026-03-16 | 4/200 |
|
|
[考研] 332求調(diào)劑 +6 | Zz版 2026-03-13 | 6/300 |
|
|
[考研] 085600材料與化工求調(diào)劑 +5 | 緒幸與子 2026-03-17 | 5/250 |
|
|
[考研] 藥學(xué)383 求調(diào)劑 +3 | 藥學(xué)chy 2026-03-15 | 4/200 |
|
|
[考研] 304求調(diào)劑 +4 | ahbd 2026-03-14 | 4/200 |
|
|
[考研] 一志愿華中師范071000,325求調(diào)劑 +6 | RuitingC 2026-03-12 | 6/300 |
|
|
[考研] 070303 總分349求調(diào)劑 +3 | LJY9966 2026-03-15 | 5/250 |
|
|
[考研] 327求調(diào)劑 +6 | 拾光任染 2026-03-15 | 11/550 |
|
|
[考研] 求老師收留調(diào)劑 +4 | jiang姜66 2026-03-14 | 5/250 |
|
|
[考研] 085601材料工程315分求調(diào)劑 +3 | yang_0104 2026-03-15 | 3/150 |
|
|
[考研] 304求調(diào)劑 +7 | 7712b 2026-03-13 | 7/350 |
|
|
[考研] 070303一志愿西北大學(xué)學(xué)碩310找調(diào)劑 +3 | d如愿上岸 2026-03-13 | 3/150 |
|
|
[考研] 290求調(diào)劑 +3 | ADT 2026-03-13 | 3/150 |
|