Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2016, October 25
Author: Mossakowski, Till; Neuhaus, Fabian
Title: Generalised Substitution Systems

Abstract:

This work discusses the semantics of weighted argumentation graphs, which contain both attacks and support edges, and whose nodes contain a weight representing the intrinsic strength of the node's argument. The work builds on previous work by Amgoud, Ben-Naim et al. [1, 2], which presents and compares several semantics for argumentation graphs that contain only supports or only attacks relationships, respectively.

[1] Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic: Evaluation of Arguments in Weighted Graphs: Axioms and Semantics. Unpublished.
[2] Leila Amgoud, Jonathan Ben-Naim: Evaluation of Arguments from Support Relations: Axioms and Semantics, IJCAI 2016.


Slides


Back to the Oberseminar web page
Webmaster