DISJUNCTION

作品数：44被引量：106H指数：6
导出分析报告
相关作者：张明永郭丽秀邓云飞张奠湘郝刚更多>>
相关机构：中国科学院汕头大学闽江学院中国计量学院更多>>
相关期刊：《Asian Herpetological Research》《Journal of Forestry Research》《Asian Journal of Andrology》《海外英语》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家科技支撑计划北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Regular Disjunction-Free Default Theories
《Journal of Computer Science & Technology》2004年第3期329-340,共12页Xi-ShunZhao 
the MOE Project，国家社会科学基金，国家自然科学基金
In this paper, the class of regular disjunction-free default theories is introduced and investigated. A transformation from regular default theories to normal default theories is established. The initial theory and th...
关键词：regular disjunction-free default logic EXTENSION default reasoning ALGORITHM COMPLEXITY 
Fixed—Parameter Tractability of Disjunction—Free Default Reasoning
《Journal of Computer Science & Technology》2003年第1期118-124,共7页赵希顺 丁德成 
the MOE project "Computational Complexity of Intelligent Reasoning"，国家自然科学基金
In this paper, the parameter which is the source of the complexity of disjunctionfree default reasoning is determined. It is shown that when the value of this parameter is fixed, the disjunction-free default reasoning...
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部