中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共102条，第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
收藏  |  浏览/下载：21/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;  Zhang, Songmao;  Cao, Cungen
收藏  |  浏览/下载：53/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  
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
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
收藏  |  浏览/下载：79/0  |  提交时间：2019/08/16
DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer  
基于语义分类和描述框架的网络攻击知识抽取研究及其应用 期刊论文
中文信息学报, 2019, 卷号: 33.0, 期号: 004, 页码: 48
作者:  方芳;  王亚;  王石;  符建辉;  曹存根
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
语义分类和描述框架  知识抽取  语义文法  遭受语义类  网络安全知识库  
基于等价压缩快速聚类的Web表格知识抽取 期刊论文
中文信息学报, 2019, 卷号: 33.0, 期号: 004, 页码: 75
作者:  吴小龙;  曹存根
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
Web表格  知识抽取  表格聚类  等价压缩  快速聚类  
一种基于聚类与分类结合的汉语隐喻短语识别方法 期刊论文
中文信息学报, 2018, 卷号: 32.0, 期号: 002, 页码: 22
作者:  符建辉;  王石;  曹存根
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
隐喻短语识别  中文隐喻短语  短语聚类  
兼语语义类的分类研究 期刊论文
计算机应用研究, 2017, 卷号: 34.0, 期号: 1.0, 页码: 15
作者:  李婷玉;  王亚;  曹聪;  张再跃;  曹存根
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
兼语句式  语义分类  语义组合  
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
收藏  |  浏览/下载：40/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
收藏  |  浏览/下载：39/0  |  提交时间：2019/12/13
Hoare logic  recursive function  computable function  nonstandard model of Peano arithmetic