Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Giacomin, T. Linsbichler, S. Woltran:
"On the functional completeness of argumentation semantics";
Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016),
Kapstadt;
25.04.2016
- 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference",
C. Baral, J. Delgrande, F. Wolter (Hrg.);
AAAI Press,
(2016),
S. 43
- 52.
Kurzfassung englisch:
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.
Elektronische Version der Publikation:
http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12866/12461
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.