Answer-set programming encodings for argumentation frameworks.
Uwe EglySarah Alice GagglStefan WoltranPublished in: Argument Comput. (2010)
Keyphrases
- answer set programming
- argumentation frameworks
- strong equivalence
- argumentation semantics
- logic programming
- answer sets
- logic programs
- reasoning tasks
- abstract argumentation frameworks
- answer set programs
- abstract argumentation
- practical reasoning
- preference relations
- stable model semantics
- causal theories
- knowledge representation
- decision problems
- logical framework
- default theories
- stable models
- orders of magnitude