Improved answer-set programming encodings for abstract argumentation

被引：22
|
作者：
Gaggl, Sarah A. [1 ]
Manthey, Norbert [1 ]
Ronca, Alessandro [2 ]
Wallner, Johannes P. [3 ]
Woltran, Stefan [4 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
[2] Univ Roma La Sapienza, Rome, Italy
[3] Univ Helsinki, Dept Comp Sci, HIIT, FIN-00014 Helsinki, Finland
[4] Vienna Univ Technol, Vienna, Austria
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2015年 / 15卷
基金：
奥地利科学基金会; 芬兰科学院;
关键词：
Answer-Set Programming; Abstract Argumentation; Implementation; ASPARTIX; COMPLEXITY; SEMANTICS;
D O I：
10.1017/S1471068415000149
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.
引用
收藏
页码：434 / 448
页数：15
相关论文
共 50 条
  • [1] Answer-set programming encodings for argumentation frameworks
    Egly, Uwe
    Gaggl, Sarah Alice
    Woltran, Stefan
    ARGUMENT & COMPUTATION, 2010, 1 (02) : 147 - 177
  • [2] ASPARTIX-V19-An Answer-Set Programming Based System for Abstract Argumentation
    Dvorak, Wolfgang
    Rapberger, Anna
    Wallner, Johannes P.
    Woltran, Stefan
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 79 - 89
  • [3] Solving Advanced Argumentation Problems with Answer-Set Programming
    Brewka, Gerhard
    Diller, Martin
    Heissenberger, Georg
    Linsbichler, Thomas
    Woltran, Stefan
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1077 - 1083
  • [4] ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
    Egly, Uwe
    Gaggl, Sarah Alice
    Woltran, Stefan
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 734 - 738
  • [5] TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROGRAMMING
    Gaggl, Sarah Alice
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 265 - 269
  • [6] Explainable Answer-set Programming
    Geibinger, Tobias
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (385): : 423 - 429
  • [7] Answer-Set Programming with Bounded Treewidth
    Jakl, Michael
    Pichler, Reinhard
    Woltran, Stefan
    21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 816 - 822
  • [8] On Solution Correspondences in Answer-Set Programming
    Eiter, Thomas
    Tompits, Hans
    Woltran, Stefan
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 97 - 102
  • [9] DATALOG with constraints - an answer-set programming system
    East, D
    Truszczynski, M
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 163 - 168
  • [10] Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic
    Fandinno, Jorge
    Del Cerro, Luis Farinas
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (02) : 444 - 467
12345