Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Kröll, R. Pichler, S. Woltran:
"On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks";
Vortrag: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
Melbourne, Australia;
19.08.2017
- 25.08.2017; in: "Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017",
(2017),
S. 1145
- 1152.
Kurzfassung englisch:
Several computational problems of abstract argumentation frameworks (AFs) such as skeptical and credulous reasoning, existence of a non-empty extension, verification, etc. have been thoroughly analyzed for various semantics. In contrast, the enumeration problem of AFs (i.e., the problem of computing all extensions according to some semantics) has been left unexplored so far. The goal of this paper is to fill this gap. We thus investigate the enumeration complexity of AFs for a large collection of semantics and, in addition, consider the most common structural restrictions on AFs.
Schlagworte:
Knowledge Representation; Reasoning; Logic; Computational; models; Argument;
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.24963/ijcai.2017/159
Zugeordnete Projekte:
Projektleitung Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen
Projektleitung Reinhard Pichler:
Heterogene Information Integration
Projektleitung Stefan Woltran:
Neue Werkzeuge für graphenbasierte formale Argumentation
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.