机构

• 软件研究所 [11]
• 计算技术研究所 [3]
• 长春光学精密机械与物... [1]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [11]
• 会议论文 [5]

发表日期

• 2020 [1]
• 2017 [1]
• 2014 [1]
• 2013 [1]
• 2011 [2]
• 2010 [5]
• 更多

学科主题

• Computer S... [4]
• Applied [2]
• Artificial... [1]
• Artificial... [1]
• Electrical... [1]
• Interdisci... [1]
• 更多

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2020, 卷号: 209, 页码: 21 作者:  Li, Weizhuo;  Zhang, Songmao   |  收藏  |   Contrary description logic: Gentzen deduction system 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9 作者:  Li, Wei;  Sui, Yuefei;  Luo, Jie;  Chen, Bo   |  收藏  |   D3L（ccy）的属性及分布式Tableaux推理算法的研究 期刊论文  OAI收割 计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570 作者:  赵晓非;  田东平;  张文波;  史忠植   |  收藏  |   Weight-based consistent query answering over inconsistent knowledge bases 期刊论文  OAI收割 KNOWLEDGE AND INFORMATION SYSTEMS, 2013, 卷号: 34, 期号: 2, 页码: 335-371 Du, Jianfeng; Qi, Guilin; Shen, Yi-Dong   |  收藏  |   A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs (EI CONFERENCE) 会议论文  OAI收割 2011 8th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11, July 26, 2011 - July 28, 2011, Shanghai, China 作者:  Sun T.;  Shi L. 收藏  |   probabilistic model checking on propositional projection temporal logic 会议论文  OAI收割 International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16, Yang Xiaoxiao 收藏  |   finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition 期刊论文  OAI收割 Tsinghua Science & Technology, 2010, 卷号: 15, 期号: 6, 页码: 623 - 632 Jianfeng Du; Guilin Qi; Jeff Z. Pan   |  收藏  |   on hierarchically developing reactive systems 期刊论文  OAI收割 INFORMATION AND COMPUTATION, 2010, 卷号: 208, 期号: 9, 页码: 997-1019 Zhan Naijun; Majster-Cederbaum Mila   |  收藏  |   representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies 期刊论文  OAI收割 EXPERT SYSTEMS WITH APPLICATIONS, 2010, 卷号: 37, 期号: 8, 页码: 6052-6060 Jiang Yuncheng; Tang Yong; Wang Ju; Tang Suqin   |  收藏  |   expressive fuzzy description logics over lattices 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2010, 卷号: 23, 期号: 2, 页码: 150-161 Jiang Yuncheng; Tang Yong; Wang Ju; Deng Peimin; Tang Suqin   |  收藏  |