中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

计算技术研究所 [20]

中国科学院大学 [4]

重庆大学 [2]

数学与系统科学研究院 [2]

北京航空航天大学 [1]

金属研究所 [1]

内容类型

期刊论文 [30]

会议论文 [3]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共33条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 13 作者: Cao, Cungen; Hu, Lanxi; Sui, Yuefei 收藏 \| 浏览/下载：8/0 \| 提交时间：2021/12/01 three-valued logic multisequent co-multisequent monotonicity Gentzen deduction system
	HAPE: A programmable big knowledge graph platform 期刊论文 INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103 作者: Lu, Ruqian; Fei, Chaoqun; Wang, Chuanqing; Gao, Shunfeng; Qiu, Han 收藏 \| 浏览/下载：5/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
	HAPE: A programmable big knowledge graph platform 期刊论文 INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103 作者: Lu, Ruqian; Fei, Chaoqun; Wang, Chuanqing; Gao, Shunfeng; Qiu, Han 收藏 \| 浏览/下载：16/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
	Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文 JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144 作者: Cao, Cungen; Zhang, Songmao; Gu, Zhenzhen 收藏 \| 浏览/下载：32/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 期刊论文 JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144 作者: Gu, Zhenzhen; Zhang, Songmao; Cao, Cungen 收藏 \| 浏览/下载：35/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 期刊论文 ACM TRANSACTIONS ON ASIAN AND LOW-RESOURCE LANGUAGE INFORMATION PROCESSING, 2016, 卷号: 16, 期号: 1, 页码: 16 作者: Liu, Liangliang; Cao, Cungen 收藏 \| 浏览/下载：20/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 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725 作者: Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue 收藏 \| 浏览/下载：16/0 \| 提交时间：2019/12/13 Hoare logic recursive function computable function nonstandard model of Peano arithmetic
	The B-4-valued propositional Belnap-Dunn logic 期刊论文 JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713 作者: Cao Cungen; Chen Bo; Sul Yuefei 收藏 \| 浏览/下载：15/0 \| 提交时间：2019/12/13 The Belnap-Dunn logic unary connective the soundness the completeness
	Extracting terms from clinical records of traditional Chinese medicine 期刊论文 FRONTIERS OF MEDICINE, 2014, 卷号: 8, 页码: 347-351 作者: Cao, Cungen; Sun, Meng; Wang, Shi 收藏 \| 浏览/下载：1/0 \| 提交时间：2020/01/06 term extraction rule-based likelihood ratio
	A hybrid approach to outlier detection based on boundary region 期刊论文 PATTERN RECOGNITION LETTERS, 2011, 卷号: 32, 期号: 14, 页码: 1860-1870 作者: Jiang, Feng; Sui, Yuefei; Cao, Cungen 收藏 \| 浏览/下载：10/0 \| 提交时间：2019/12/16 Outlier detection Rough sets Boundary Distance KDD

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace