ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.
Uwe EglySarah Alice GagglStefan WoltranPublished in: ICLP (2008)
Keyphrases
- answer set programming
- argumentation frameworks
- strong equivalence
- argumentation semantics
- logic programs
- logic programming
- reasoning tasks
- answer sets
- logical framework
- practical reasoning
- causal theories
- abstract argumentation frameworks
- knowledge representation
- abstract argumentation
- answer set programs
- decision problems
- haplotype inference
- disjunctive logic programming
- knowledge base
- answer set semantics
- default theories
- stable models
- object oriented
- stable model semantics
- update semantics
- fixpoint
- reinforcement learning
- data mining
- defeasible logic programming