Publication | Closed Access

Operators vs. Arguments: The Ins and Outs of Reification

EngineeringAutomated ReasoningFormal MethodsTheoretical ArgumentArgumentation Framework