mlsanityData to 14 Oct 2026

A Semantic Tableau Method for Argument Construction

arXiv 2209.04759 ↗First posted 10 Sep 2022cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments, is proposed. First, the derivation of arguments for standard propositional and predicate logic is addressed. Next, an extension that enables reasoning with defeasible rules is presented. Finally, reasoning by cases using an argumentation tableau is discussed.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 2 of its 36 references that are in the map. First posted on arXiv 10 Sep 2022.

Builds on

2 of 36 references.

References · 2

  1. 2017Reasoning by Cases in Structured Argumentationcited by 3
  2. 2019SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Reportcited by 3

Built on by

Not cited yet.