# A Semantic Tableau Method for Argument Construction

arXiv: https://arxiv.org/abs/2209.04759 · HTML: https://mlsanity.com/paper/2209.04759/

## 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 (most cited first, 2 of 2)

- [Reasoning by Cases in Structured Argumentation](https://mlsanity.com/paper/1703.08397/) (2017)
- [SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report](https://mlsanity.com/paper/1908.08406/) (2019)

## 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.