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

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

主题

  • 1 篇 justifications
  • 1 篇 small answer set...
  • 1 篇 logic programmin...

机构

  • 1 篇 new mexico state...

作者

  • 1 篇 omar el-khatib
  • 1 篇 enrico pontelli
  • 1 篇 tran cao son

语言

  • 1 篇 英文
检索条件"主题词=small answer set programming"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Justification and debugging of answer set programs in ASP  05
Justification and debugging of answer set programs in ASP
收藏
分享
引用
Proceedings of the sixth international symposium on Automated analysis-driven debugging
作者： Omar El-Khatib Enrico Pontelli Tran Cao Son New Mexico State University
The paper extends the concept of justification to the context of answer set programming---a recent paradigm that builds on the foundations of logic programming, answer set semantics, and non-monotonic reasoning. A jus... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件