您的位置： 专家智库 > >

国家自然科学基金(NSF6096309)

作品数：1 被引量：2H指数：1
相关作者：杨卓群许欢王以松更多>>
相关机构：贵州大学更多>>
发文基金：国家自然科学基金贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇英文
  • 1篇逻辑程序

机构

  • 1篇贵州大学

作者

  • 1篇王以松
  • 1篇许欢
  • 1篇杨卓群

传媒

  • 1篇贵州大学学报...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
汉密尔顿回路逻辑程序的两个结果(英文)被引量：2
2011年
基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明。本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果。
王以松杨卓群许欢
关键词：逻辑程序
全选 清除 导出
共1页<1>
聚类工具0