Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.
Tuomo LehtonenJohannes Peter WallnerMatti JärvisaloPublished in: CoRR (2021)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- reasoning tasks
- argumentation systems
- answer set semantics
- legal reasoning
- knowledge representation
- answer set programs
- polynomial hierarchy
- defeasible reasoning
- computational properties
- normal logic programs
- knowledge base
- evidential reasoning
- automated reasoning
- reasoning systems
- knowledge representation and reasoning
- default reasoning
- nonmonotonic reasoning
- combinatorial optimization
- argumentation schemes
- machine learning