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

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 automated flight...
  • 1 篇 answer set progr...
  • 1 篇 minimal explanat...

机构

  • 1 篇 univ texas dalla...
  • 1 篇 gen elect res ni...

作者

  • 1 篇 meng baoluo
  • 1 篇 borgyos szabolcs
  • 1 篇 alexander christ...
  • 1 篇 varanasi sarat c...

语言

  • 1 篇 英文
检索条件"主题词=Minimal explanation computation"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
UAV Compliance Checking Using Answer Set Programming and minimal explanations Towards Compliance (Application Paper)  25th
UAV Compliance Checking Using Answer Set Programming and Min...
收藏
分享
引用
25th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者： Varanasi, Sarat Chandra Meng, Baoluo Alexander, Christopher Borgyos, Szabolcs Gen Elect Res Niskayuna NY 12309 USA Univ Texas Dallas Richardson TX 75083 USA
We describe a continuation of prior work on automated compliance checking process for Unmanned Aerial Vehicles using Answer Set Programming. We describe a new algorithm to perform minimal explanations for offending co... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件