On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks.
Hannes StrassPublished in: CoRR (2014)
Keyphrases
- argumentation frameworks
- normal logic programs
- argumentation systems
- defeasible reasoning
- abstract argumentation frameworks
- argumentation theory
- logic programs
- stable models
- answer sets
- default reasoning
- logic programming
- argumentation semantics
- preference relations
- desirable properties
- strong equivalence
- expressive power
- abstract argumentation
- high level
- decision problems
- knowledge representation and reasoning
- deductive databases
- practical reasoning
- stable model semantics
- answer set programming
- general purpose
- nonmonotonic reasoning
- default logic
- multi dimensional