CONTAINS

作品数：26被引量：55H指数：5
导出分析报告
相关领域：理学更多>>
相关作者：殷明浩吴瑕林海孙吉贵刘磊更多>>
相关机构：吉林大学东北师范大学乐山师范学院武汉大学更多>>
相关期刊：《Science China Chemistry》《Developmental and Reproductive Biology》《World Journal of Gastroenterology》《China Report ASEAN》更多>>
相关基金：国家自然科学基金国家教育部博士点基金北京市自然科学基金吉林省重大科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
EPCCL理论的求交知识编译算法被引量：5
《软件学报》2017年第8期2096-2112,共17页牛当当 刘磊 吕帅 
国家自然科学基金(61300049;61502197;61503044);教育部高等学校博士学科点专项科研基金(20120061120059);吉林省重点科技攻关项目(20130206052GX);吉林省自然科学基金(20140520069JH;20150101054JC;20150520058JH)~~
超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩...
关键词：知识编译 扩展规则 超扩展规则 EPCCL(each pair of CLAUSES CONTAINS COMPLEMENTARY literals)理论 并行知识编译 
可能性扩展规则的推理和知识编译被引量：7
《软件学报》2010年第11期2826-2837,共12页殷明浩 孙吉贵 林海 吴瑕 
国家自然科学基金Nos.60573067;60803102~~
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计...
关键词：扩展规则 可能性逻辑 知识编译 EPPCCCL(each PAIR of possibilistic CLAUSES CONTAINS COMPLEMENTARY literals)理论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部