Reasoning in Assumption-Based Argumentation Using Tree-Decompositions.
Andrei PopescuJohannes Peter WallnerPublished in: JELIA (2023)
Keyphrases
- tree decompositions
- legal reasoning
- argumentation systems
- defeasible reasoning
- tree decomposition
- evidential reasoning
- constraint satisfaction problems
- abstract argumentation
- knowledge representation
- probabilistic reasoning
- automated reasoning
- argumentation schemes
- knowledge base
- practical reasoning
- complexity bounds