Publication | Closed Access

Dialectic proof procedures for assumption-based, admissible argumentation

EngineeringArgumentation FrameworkAutomated ReasoningVerificationFormal MethodsLawProof AssistantProof SystemFormal VerificationAdmissible Argumentation