Talks and Poster Presentations (with Proceedings-Entry):
M. Giacomin, T. Linsbichler, S. Woltran:
"On the functional completeness of argumentation semantics";
Talk: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016),
Kapstadt;
2016-04-25
- 2016-04-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference",
C. Baral, J. Delgrande, F. Wolter (ed.);
AAAI Press,
(2016),
43
- 52.
English abstract:
Abstract argumentation frameworks (AFs) are one of the central formalisms in AI; equipped with a wide range of semantics, they have proven useful in several application domains. We contribute to the systematic analysis of semantics for AFs by connecting two recent lines of research -- the work on input/output frameworks and the study of the expressiveness of semantics. We do so by considering the following question: given a function describing an input/output behaviour by mapping extensions (resp. labellings) to sets of extensions (resp. labellings), is there an AF with designated input and output arguments realizing this function under a given semantics? For the major semantics we give exact characterizations of the functions which are realizable in this manner.
Electronic version of the publication:
http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12866/12461
Created from the Publication Database of the Vienna University of Technology.