CLAUSES

作品数：32被引量：26H指数：3
导出分析报告
相关作者：肖飒殷明浩吴瑕林海孙吉贵更多>>
相关机构：北京师范大学吉林大学新乡医学院东北师范大学更多>>
相关期刊：《China Standardization》《全国新书目》《中国科技翻译》《China's Foreign Trade》更多>>
相关基金：国家自然科学基金国家社会科学基金吉林省重大科技攻关项目国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报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>
检索报告 对象比较 聚类工具 使用帮助 返回顶部