2 papers
cs.AI2017
Reasoning by Cases in Structured Argumentation
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
We extend the framework for structured argumentation so as to allow applications of the reasoning by cases inference scheme for defeasible arguments. Given an argument wi…
cs.AI2016
A structured argumentation framework for detaching conditional obligations
Mathieu Beirlaen, Christian Straßer
We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answ…