| 5 | 1/1 | 返回列表 |
| 查看: 1775 | 回復(fù): 7 | |||
| 當(dāng)前只顯示滿足指定條件的回帖,點(diǎn)擊這里查看本話題的所有回帖 | |||
[交流]
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ā)表 | |
|---|---|---|---|---|
|
[考研] 材料求調(diào)劑一志愿哈工大324 +6 | 閆旭東 2026-03-28 | 7/350 |
|
|---|---|---|---|---|
|
[考研] 315分求調(diào)劑 +7 | 26考研上岸版26 2026-03-26 | 7/350 |
|
|
[考研] 求調(diào)劑 +6 | 白QF 2026-03-21 | 7/350 |
|
|
[考研] 085601 材料工程 313分 求調(diào)劑 +5 | Ong3 2026-03-27 | 5/250 |
|
|
[考研] 材料學(xué)碩333求調(diào)劑 +8 | 北道巷 2026-03-24 | 8/400 |
|
|
[考研] 342求調(diào)劑 +3 | 加油a李zs 2026-03-26 | 3/150 |
|
|
[考研] 調(diào)劑求收留 +7 | 果然有我 2026-03-26 | 7/350 |
|
|
[考研] 349求調(diào)劑 +4 | 李木子啊哈哈 2026-03-25 | 4/200 |
|
|
[考研] 324求調(diào)劑 +4 | wysyjs25 2026-03-21 | 4/200 |
|
|
[考研] 081200-11408-276學(xué)碩求調(diào)劑 +3 | 崔wj 2026-03-26 | 3/150 |
|
|
[考研] 281求調(diào)劑 +3 | 亞克西good 2026-03-26 | 5/250 |
|
|
[考研] 生物學(xué) 296 求調(diào)劑 +4 | 朵朵- 2026-03-26 | 6/300 |
|
|
[考研] 一志愿 南京郵電大學(xué) 288分 材料考研 求調(diào)劑 +3 | jl0720 2026-03-26 | 3/150 |
|
|
[考研] 一志愿天津大學(xué)339材料與化工求調(diào)劑 +3 | 江往賣魚 2026-03-26 | 3/150 |
|
|
[考研] 309求調(diào)劑 +4 | gajsj 2026-03-25 | 5/250 |
|
|
[考研] 299求調(diào)劑 +4 | 15188958825 2026-03-25 | 4/200 |
|
|
[考研] 0854AI CV方向招收調(diào)劑 +4 | 章小魚567 2026-03-23 | 4/200 |
|
|
[考研] 化工專碩求調(diào)劑 +3 | question挽風(fēng) 2026-03-24 | 3/150 |
|
|
[考研] 0703化學(xué)調(diào)劑 +4 | 妮妮ninicgb 2026-03-21 | 4/200 |
|
|
[考研] 材料與化工(0856)304求 B區(qū) 調(diào)劑 +3 | 邱gl 2026-03-21 | 3/150 |
|