Towards a General Argumentation System based on Answer-Set Programming

From International Center for Computational Logic

Toggle side column

Towards a General Argumentation System based on Answer-Set Programming

Sarah Alice GagglSarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming


Slides: Towards a General Argumentation System based on Answer-Set Programming

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
  • 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 LogicLogische 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}
}