Representing Argumentation Frameworks in Answer Set Programming.
Chiaki SakamaTjitze RienstraPublished in: Fundam. Informaticae (2017)
Keyphrases
- answer set programming
- argumentation frameworks
- strong equivalence
- logic programs
- logic programming
- answer sets
- argumentation semantics
- reasoning tasks
- answer set programs
- causal theories
- practical reasoning
- logical framework
- abstract argumentation
- stable models
- haplotype inference
- stable model semantics
- abstract argumentation frameworks
- decision problems
- answer set semantics
- disjunctive logic programming
- defeasible logic programming
- artificial intelligence
- high level
- fixpoint
- preference relations
- computational complexity
- decision making