中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
兼语语义类的分类研究 期刊论文
计算机应用研究, 2017, 卷号: 34.0, 期号: 1.0, 页码: 15
作者:  李婷玉;  王亚;  曹聪;  张再跃;  曹存根
收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04
兼语句式  语义分类  语义组合  
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
收藏  |  浏览/下载：45/0  |  提交时间：2019/12/13
Hoare logic  recursive function  computable function  nonstandard model of Peano arithmetic  
基于语义文法的地理实体位置关系的获取 期刊论文
计算机科学, 2016, 卷号: 43.0, 期号: 007, 页码: 208
作者:  周琦;  陆叶;  李婷玉;  王亚;  张再跃;  曹存根
收藏  |  浏览/下载：14/0  |  提交时间：2023/12/04
地理实体位置关系  语义文法  知识抽取  
汉字种子混淆集的构建方法研究 期刊论文
计算机科学, 2014, 卷号: 41.0, 期号: 008, 页码: 229
作者:  施恒利;  刘亮亮;  王石;  符建辉;  张再跃;  曹存根
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
错别字混淆集  自扩展  开源数据  基于规则和统计  
社会群体角色本体的构建方法研究 期刊论文
计算机科学, 2012, 卷号: 39.0, 期号: 002, 页码: 222
作者:  江利萍;  曹存根;  张再跃
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
社会群体  角色本体  公理  知识获取  知识验证  
Types, structures and theories in NKI 期刊论文
Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 4, 页码: 451
作者:  Xiaoru Zhang;  Zaiyue Zhang;  Yuefei Sui
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
type  ontology  concept  individual  natural object  
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic 期刊论文
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 368, 期号: 1-2, 页码: 149-160
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Cao, Cungen;  Wu, Guohua
收藏  |  浏览/下载：45/0  |  提交时间：2019/12/16
propositional modal logic  duzzy reasoning  formal system  soundness and completeness  
Further study of the fuzzy reasoning based on propositional modal logic 期刊论文
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 162-169
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Ca, Cungen
收藏  |  浏览/下载：46/0  |  提交时间：2019/12/16
propositional modal logic  fuzzy reasoning  formal system  educed set  
A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs 期刊论文
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 588-600
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/16
logic programs  double priority  tree method  
The rough logic and roughness of logical theories 期刊论文
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 610-617
作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue
收藏  |  浏览/下载：44/0  |  提交时间：2019/12/16
rough set theory  logical theories  refinement  logical implication