咨询与建议

限定检索结果

文献类型

  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 稳定模型
  • 1 篇 丰富更新
  • 1 篇 优先级别的逻辑程...
  • 1 篇 标识更新
  • 1 篇 答案集
  • 1 篇 替换更新

机构

  • 1 篇 武汉大学

作者

  • 1 篇 季卫华

语言

  • 1 篇 中文
检索条件"主题词=优先级别的逻辑程序"
1 条 记 录,以下是1-10 订阅
排序:
逻辑程序的稳定模型与标识更新
逻辑程序的稳定模型与标识更新
收藏 引用
作者: 季卫华 武汉大学
学位级别:硕士
随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级别的研究.该文通过对现有稳定模型语义介绍,结合实例化和非实例化的更新方法在稳定模型(也叫做稳定模型)... 详细信息
来源: 评论