机构

• 计算技术研究所 [10]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [10]
• 成果 [1]

发表日期

• 2017 [1]
• 2016 [2]
• 2014 [1]
• 2012 [1]
• 2008 [1]
• 2006 [4]
• 更多

学科主题

筛选

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