Publication | Closed Access

From visual reasoning to logical necessity through argumentative design

Diagrammatic ReasoningReasoning SystemAutomated ReasoningLogical NecessityDesignSemanticsArgumentation Framework