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.
Improved Answer-Set Programming Encodings for Abstract Argumentation / Gaggl, SARAH A.; Manthey, Norbert; Ronca, Alessandro; Wallner, JOHANNES P.; Woltran, Stefan. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1471-0684. - 15:4–5(2015), pp. 434-448. (Intervento presentato al convegno 31st International Conference on Logic Programming (ICLP 2015) tenutosi a Cork; Ireland) [10.1017/S1471068415000149].
Improved Answer-Set Programming Encodings for Abstract Argumentation
ALESSANDRO RONCA
;
2015
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
ronca_improved-answerset_2015.pdf
solo gestori archivio
Note: Questa è la versione editoriale dell'articolo, ed è disponibile online sul sito della Cambridge University Press all'indirizzo: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/improved-answerset-programming-encodings-for-abstract-argumentation/6DBA1C7B8972C1E3F3F630E731F077C6
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
265.58 kB
Formato
Adobe PDF
|
265.58 kB | Adobe PDF | Contatta l'autore |
|
ronca_postprint_improved-answerset_2015.pdf
accesso aperto
Note: Questa è la versione post-print dell'articolo. La versione editoriale è disponibile online sul sito della Cambridge University Press all'indirizzo: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/improved-answerset-programming-encodings-for-abstract-argumentation/6DBA1C7B8972C1E3F3F630E731F077C6
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
455.93 kB
Formato
Adobe PDF
|
455.93 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
