咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 proof-theory for...
  • 1 篇 guarded resoluti...

机构

  • 1 篇 univ calif san d...
  • 1 篇 univ calif san d...
  • 1 篇 univ kentucky de...

作者

  • 1 篇 remmel j. b.
  • 1 篇 marek v. w.

语言

  • 1 篇 英文
检索条件"主题词=proof-theory for Answer Set Programming"
1 条 记 录,以下是1-10 订阅
Guarded resolution for answer set programming
收藏 引用
theory AND PRACTICE OF LOGIC programming 2011年 第1期11卷 111-123页
作者: Marek, V. W. Remmel, J. B. Univ Kentucky Dept Comp Sci Lexington KY 40506 USA Univ Calif San Diego Dept Math La Jolla CA 92903 USA Univ Calif San Diego Dept Comp Sci La Jolla CA 92903 USA
We investigate a proof system based on a guarded resolution rule and show its adequacy for the stable semantics of normal logic programs. As a consequence, we show that Gelfond-Lifschitz operator can be viewed as a pr... 详细信息
来源: 评论