no code implementations • 27 Apr 2015 • D. M. Gabbay
We study instantiated abstract argumentation frames of the form $(S, R, I)$, where $(S, R)$ is an abstract argumentation frame and where the arguments $x$ of $S$ are instantiated by $I(x)$ as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas.
no code implementations • 18 Mar 2015 • D. M. Gabbay, O. Rodrigues
In the case where the system is argumentation and the feature is probabilistic we have the following.