机构

• 计算技术研究所 [21]
• 中国科学院大学 [4]
• 数学与系统科学研究院 [2]
• 金属研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [25]
• iSwitch采集 [4]

内容类型

• 期刊论文 [29]

发表日期

• 2021 [1]
• 2020 [2]
• 2019 [2]
• 2016 [2]
• 2015 [1]
• 2012 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共29条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 13 作者:  Cao, Cungen;  Hu, Lanxi;  Sui, Yuefei   |  收藏  |  浏览/下载：14/0  |  提交时间：2021/12/01 three-valued logic  multisequent  co-multisequent  monotonicity  Gentzen deduction system   HAPE: A programmable big knowledge graph platform 期刊论文  OAI收割 INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103 作者:  Lu, Ruqian;  Fei, Chaoqun;  Wang, Chuanqing;  Gao, Shunfeng;  Qiu, Han   |  收藏  |  浏览/下载：25/0  |  提交时间：2020/05/24 Big knowledge  Big knowledge system  Big knowledge graph  Knowledge graph browser  Knowledge graph operating system  Knowledge scripting language  Big knowledge security   HAPE: A programmable big knowledge graph platform 期刊论文  OAI收割 INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103 作者:  Lu, Ruqian;  Fei, Chaoqun;  Wang, Chuanqing;  Gao, Shunfeng;  Qiu, Han   |  收藏  |  浏览/下载：20/0  |  提交时间：2020/12/10 Big knowledge  Big knowledge system  Big knowledge graph  Knowledge graph browser  Knowledge graph operating system  Knowledge scripting language  Big knowledge security   Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文  OAI收割 JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144 作者:  Cao, Cungen;  Zhang, Songmao;  Gu, Zhenzhen   |  收藏  |  浏览/下载：40/0  |  提交时间：2019/08/16 DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer   Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文  OAI收割 JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144 作者:  Gu, Zhenzhen;  Zhang, Songmao;  Cao, Cungen   |  收藏  |  浏览/下载：40/0  |  提交时间：2020/01/10 DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer   A Seed-Based Method for Generating Chinese Confusion Sets 期刊论文  OAI收割 ACM TRANSACTIONS ON ASIAN AND LOW-RESOURCE LANGUAGE INFORMATION PROCESSING, 2016, 卷号: 16, 期号: 1, 页码: 16 作者:  Liu, Liangliang;  Cao, Cungen   |  收藏  |  浏览/下载：26/0  |  提交时间：2019/12/12 Confusion set  pattern matching  context probability  pinyin similarity  shape similarity   The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725 作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue   |  收藏  |  浏览/下载：22/0  |  提交时间：2019/12/13 Hoare logic  recursive function  computable function  nonstandard model of Peano arithmetic   The B-4-valued propositional Belnap-Dunn logic 期刊论文  OAI收割 JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713 作者:  Cao Cungen;  Chen Bo;  Sul Yuefei   |  收藏  |  浏览/下载：16/0  |  提交时间：2019/12/13 The Belnap-Dunn logic  unary connective  the soundness  the completeness   The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者:  Ma Yue;  Sui Yuefei;  Cao Cungen   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 形式概念分析  对应关系  描述逻辑  知识基础  背景模型  价值观念  逻辑语言  伽罗瓦   A hybrid approach to outlier detection based on boundary region 期刊论文  OAI收割 PATTERN RECOGNITION LETTERS, 2011, 卷号: 32, 期号: 14, 页码: 1860-1870 作者:  Jiang, Feng;  Sui, Yuefei;  Cao, Cungen   |  收藏  |  浏览/下载：15/0  |  提交时间：2019/12/16 Outlier detection  Rough sets  Boundary  Distance  KDD