Publication | Closed Access

Instantiating abstract argumentation with classical logic arguments: Postulates and properties

Abstract ArgumentationEngineeringAutomated ReasoningClassical LogicFormal MethodsFirst-order LogicComputer ScienceFormal SystemSemanticsArgumentation FrameworkLogical Formalism