咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 argumentation
  • 1 篇 ai certification
  • 1 篇 probabilistic lo...
  • 1 篇 rule-based const...
  • 1 篇 autonomic archit...

机构

  • 1 篇 univ evora dept ...
  • 1 篇 univ pantheon so...
  • 1 篇 univ coimbra dep...

作者

  • 1 篇 mazo raul
  • 1 篇 madeira henrique
  • 1 篇 abreu salvador
  • 1 篇 robin jacques
  • 1 篇 diaz daniel
  • 1 篇 barbosa raul

语言

  • 1 篇 英文
检索条件"主题词=Rule-based constraint solving"
1 条 记 录,以下是1-10 订阅
排序:
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence  7th
A Self-certifiable Architecture for Critical Systems Powered...
收藏 引用
SAFECOMP Conference / 7th ASSURE International Workshop / 14th DECSoS Workshop / 8th SASSUR International Workshop / 2nd STRIVE International Workshop / 2nd WAISE International Workshop
作者: Robin, Jacques Mazo, Raul Madeira, Henrique Barbosa, Raul Diaz, Daniel Abreu, Salvador Univ Pantheon Sorbonne Ctr Rech Informat Paris France Univ Coimbra Dept Engn Informat Coimbra Portugal Univ Evora Dept Informat Evora Portugal
We present a versatile architecture for AI-powered self-adaptive self-certifiable critical systems. It aims at supporting semi-automated low-cost recertification for self-adaptive systems after each adaptation of thei... 详细信息
来源: 评论