Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings.
Tuomo LehtonenJohannes Peter WallnerMatti JärvisaloPublished in: AAAI (2019)
Keyphrases
- answer set programming
- reasoning tasks
- logical framework
- argumentation frameworks
- strong equivalence
- abstract argumentation
- logic programming
- logic programs
- practical reasoning
- answer sets
- argumentation semantics
- argumentation systems
- modulo theories
- knowledge representation
- answer set semantics
- answer set programs
- stable model semantics
- knowledge representation and reasoning
- stable models
- abstract argumentation frameworks
- disjunctive logic programming
- inference rules
- decision problems
- programming language
- meta level
- default theories
- probabilistic reasoning
- knowledge base