Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Add to Chrome
Add to Firefox
Add to EdgeA Semantic Tableau Method for Argument Construction
Paper and Code
Sep 10, 2022
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.
* Artificial Intelligence and Machine Learning, Communications in
Computer and Information Science 1398 (2021) 122-140 * Post proceedings of the BNAIC 2020
View paper on