Towards a General Argumentation System based on Answer-Set Programming
Aus International Center for Computational Logic
Towards a General Argumentation System based on Answer-Set Programming
Sarah Alice GagglSarah Alice Gaggl
Sarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming
In Manuel V. Hermenegildo, Torsten Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of LIPIcs, 265-269, July 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Towards a General Argumentation System based on Answer-Set Programming
In Manuel V. Hermenegildo, Torsten Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of LIPIcs, 265-269, July 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- KurzfassungAbstract
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) to- gether 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. - Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation
@inproceedings{G2010,
author = {Sarah Alice Gaggl},
title = {Towards a General Argumentation System based on Answer-Set
Programming},
editor = {Manuel V. Hermenegildo and Torsten Schaub},
booktitle = {Technical Communications of the 26th International Conference on
Logic Programming (ICLP 2010)},
series = {LIPIcs},
volume = {7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
year = {2010},
month = {July},
pages = {265-269},
doi = {10.4230/LIPIcs.ICLP.2010.265}
}