位置：成果数据库 > 会议 > 会议详情页
Computing the Extensions of an Argumentation Framework Based on its Strongly Connected Components
  • 所属机构名称：中国舰船研究设计中心
  • 会议名称：Proceedings of ICTAI
  • 时间：2012.11.7
  • 成果类型：会议
  • 相关项目：面向舰船应用的网构式安全关键系统可靠配置研究
同会议论文项目
面向舰船应用的网构式安全关键系统可靠配置研究
期刊论文 8 会议论文 4
同项目会议论文
Computing Preferred Labellings By Exploiting SCCs and Most Sceptically Rejected Arguments
Formulating Semantics of Probabilistic Argumentation By Characterizing Subgraphs
ZJU-ARG: A Decomposition-Based Solver for Abstract Argumentation