Publication | Closed Access

On the computational complexity of assumption-based argumentation for default reasoning

EngineeringReasoning SystemAutomated ReasoningVerificationDefault LogicFormal MethodsComputational ComplexityFormal Mathematical ReasoningComputer ScienceFormal VerificationComputer-assisted ReasoningArgumentation FrameworkArgumentation