Talks and Poster Presentations (with Proceedings-Entry):
S. Gaggl:
"Towards a General Argumentation System based on Answer-Set Programming";
Talk: 26th International Conference on Logic Programming (ICLP 2010),
Edinburgh, Scotland, United Kingdom;
2010-07-16
- 2010-07-19; in: "Technical Communications of the 26th International Conference on Logic Programming",
M. Hermenegildo, T. Schaub (ed.);
Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
7 / Dagstuhl, Germany
(2010),
ISBN: 978-3-939897-17-0;
265
- 269.
English abstract:
Within the last years, especially since the work proposed by Dung in 1995,
argumentation has emerged as a central issue in Artificial Intelligence. With the so called
argumentation frameworks (AFs) it is possible to represent statements (arguments) together
with a binary attack relation between them. The conflicts between the statements
are solved on a semantical level by selecting acceptable sets of arguments. An increasing
amount of data requires an automated computation of such solutions. Logic Programming
in particular Answer-Set Programming (ASP) turned out to be adequate to solve problems
associated to such AFs. In this work we use ASP to design a sophisticated system for the
evaluation of several types of argumentation frameworks.
Keywords:
abstract argumentation frameworks; answer-set programming; implementation
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.265
Related Projects:
Project Head Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen
Created from the Publication Database of the Vienna University of Technology.