首页> 外文会议>Logic programming >ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
【24h】

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming

机译:ASPARTIX:使用答案集编程实现论证框架

获取原文
获取原文并翻译 | 示例

摘要

The system ASPARTIX is a tool for computing acceptable extensions for a broad range of formalizations of Dung's argumentation framework and generalizations thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance of an argumentation framework as input, and uses the answer-set solver DLV for computing the type of extension specified by the user.
机译:系统ASPARTIX是一种工具,用于为Dung的论证框架及其泛化的广泛形式化计算可接受的扩展。 ASPARTIX依赖于固定的析取数据记录程序,该程序将论证框架的实例作为输入,并使用答案集求解器DLV来计算用户指定的扩展类型。

著录项

  • 来源
    《Logic programming》|2008年|734-738|共5页
  • 会议地点 Udine(IT);Udine(IT)
  • 作者单位

    Institut fuer Informationssysteme, Technische Universitaet Wien,Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    Institut fuer Informationssysteme, Technische Universitaet Wien,Favoritenstrasse 9-11, A-1040 Vienna, Austria;

    Institut fuer Informationssysteme, Technische Universitaet Wien,Favoritenstrasse 9-11, A-1040 Vienna, Austria;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 程序设计、软件工程;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号