| 5 | 1/1 | 返回列表 |
| 查看: 1770 | 回復: 7 | |||
| 當前只顯示滿足指定條件的回帖,點擊這里查看本話題的所有回帖 | |||
[交流]
ISKE2015會議檢索 已有3人參與
|
|||
|
請問ISKE2015會議論文檢索了嗎 ? (α,β)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic 一直沒檢出來!有跟我一樣的嗎? |
|
本帖內容被屏蔽 |
銀蟲 (初入文壇)
銀蟲 (初入文壇)
|
我?guī)湍憧戳,你這篇文章已經(jīng)被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. |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 332求調劑 +4 | ydfyh 2026-03-17 | 4/200 |
|
|---|---|---|---|---|
|
[考研] 求調劑 +3 | Ma_xt 2026-03-17 | 3/150 |
|
|
[考研] 324分 085600材料化工求調劑 +4 | llllkkkhh 2026-03-18 | 4/200 |
|
|
[考研] 317求調劑 +8 | 申子申申 2026-03-19 | 13/650 |
|
|
[考研] 308求調劑 +3 | 阿姐阿姐家啊 2026-03-18 | 3/150 |
|
|
[考研] 329求調劑 +9 | 想上學吖吖 2026-03-19 | 9/450 |
|
|
[考研] 290求調劑 +7 | ^O^乜 2026-03-19 | 7/350 |
|
|
[考研] 0817 化學工程 299分求調劑 有科研經(jīng)歷 有二區(qū)文章 +22 | rare12345 2026-03-18 | 22/1100 |
|
|
[考研] 工科材料085601 279求調劑 +7 | 困于星晨 2026-03-17 | 9/450 |
|
|
[考研] 一志愿中國海洋大學,生物學,301分,求調劑 +5 | 1孫悟空 2026-03-17 | 6/300 |
|
|
[考研] 0703化學調劑 +10 | 妮妮ninicgb 2026-03-15 | 14/700 |
|
|
[考研] 生物學調劑招人!! +3 | 山海天嵐 2026-03-17 | 4/200 |
|
|
[考研] 288求調劑,一志愿華南理工大學071005 +5 | ioodiiij 2026-03-17 | 5/250 |
|
|
[考研] 0703化學調劑 +4 | 18889395102 2026-03-18 | 4/200 |
|
|
[考研] 材料與化工求調劑 +7 | 為學666 2026-03-16 | 7/350 |
|
|
[考研] 328求調劑,英語六級551,有科研經(jīng)歷 +4 | 生物工程調劑 2026-03-16 | 12/600 |
|
|
[考研] 本科鄭州大學物理學院,一志愿華科070200學碩,346求調劑 +4 | 我不是一根蔥 2026-03-18 | 4/200 |
|
|
[考研] 293求調劑 +11 | zjl的號 2026-03-16 | 16/800 |
|
|
[考研] 一志愿蘇州大學材料工程(085601)專碩有科研經(jīng)歷三項國獎兩個實用型專利一項省級立項 +6 | 大火山小火山 2026-03-16 | 8/400 |
|
|
[考研] 0856專碩279求調劑 +5 | 加油加油!? 2026-03-15 | 5/250 |
|