Answer-Set Programming Encodings for Argumentation Frameworks

Uwe EglyUwe Egly, Sarah Alice GagglSarah Alice Gaggl, Stefan WoltranStefan Woltran

Download

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
Technical Report, Technische Universität Wien, volume DBAI-TR-2008-62, 2008

Details
Bibtex

KurzfassungAbstract
We present reductions from Dung’s argumentation framework (AF) and generalizations thereof to logic programs under the answer-set semantics. The reduction is based on a fixed disjunctive datalog program (the interpreter) and its input which is the only part depending on the AF to process. We discuss the reductions, which are the basis for the system ASPARTIX in detail and show their adequacy in terms of computational comple
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

@techreport{EGW2008,
  author      = {Uwe Egly and Sarah Alice Gaggl and Stefan Woltran},
  title       = {Answer-Set Programming Encodings for Argumentation Frameworks},
  institution = {Technische Universit{\"{a}}t Wien},
  year        = {2008}
}