Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.
Tuomo LehtonenJohannes Peter WallnerMatti JärvisaloPublished in: Theory Pract. Log. Program. (2021)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- legal reasoning
- defeasible reasoning
- reasoning tasks
- polynomial hierarchy
- answer set semantics
- normal logic programs
- answer set programs
- argumentation systems
- nonmonotonic reasoning
- evidential reasoning
- knowledge base
- reasoning systems
- fixpoint
- computational properties
- automated reasoning
- defeasible logic
- knowledge representation and reasoning
- practical reasoning
- argumentation semantics
- heuristic search
- semantics for logic programs
- knowledge representation