咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 assumable logic ...
  • 1 篇 stable model sem...
  • 1 篇 reverse reduct
  • 1 篇 minimal negated ...

机构

  • 1 篇 southeast univ p...

作者

  • 1 篇 zhang shutao
  • 1 篇 zhang zhizheng

语言

  • 1 篇 英文
检索条件"主题词=Assumable Logic Programming"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
The Minimal Negated Model Semantics of assumable logic Programs  16th
The Minimal Negated Model Semantics of Assumable Logic Progr...
收藏
分享
引用
16th International Conference on Knowledge Science, Engineering and Management (KSEM)
作者： Zhang, Shutao Zhang, Zhizheng Southeast Univ Nanjing Jiangsu Peoples R China
assumable logic programming (ALP) extends the regular logic programs with an assumption operator C. The intuition of Cp is that it is acceptable to assume p unless it is forced not to. This paper presents the minimal ... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件