8 citations · 15 across the 3 of their papers we have counts for
3 papers
math.LO2023
Presumptive Reasoning in a Paraconsistent Setting
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
We explore presumptive reasoning in the paraconsistent case. Specifically, we provide semantics for non-trivial reasoning with presumptive arguments with contradictory assumptions…
cs.AI2021★ 8 cited
Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning
Cor Steging, Silja Renooij, Bart Verheij
In AI and law, systems that are designed for decision support should be explainable when pursuing justice. In order for these systems to be fair and responsible, they should make c…
cs.AI2002★ 7 cited
On the existence and multiplicity of extensions in dialectical argumentation
Bart Verheij
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant…