Aktuelle Version vom 14. Oktober 2020, 10:45 Uhr

Computational Aspects of cf2 and stage2 Argumentation Semantics

Wolfgang DvořákWolfgang Dvořák, Sarah Alice GagglSarah Alice Gaggl

ISBN: 978-1-61499-110-6
Download
DOI Link

Wolfgang Dvořák, Sarah Alice Gaggl
Computational Aspects of cf2 and stage2 Argumentation Semantics
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 273-284, 2012. IOS Press

Details
Bibtex

KurzfassungAbstract
We consider two instantiations of the SCC-recursive schema for argumentation semantics, cf2, using maximal conflict-free sets as base semantics, and stage2, using stage extensions as base semantics. Both of them have been shown to be in general of high complexity. We provide a detailed analysis of possible tractable fragments for these semantics. Moreover we present a labeling based algorithm for computing cf2 extension, which is complexity-sensitive w.r.t. one of the tractable fragments.
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

@inproceedings{DG2012,
  author    = {Wolfgang Dvo{\v{r}}{\'{a}}k and Sarah Alice Gaggl},
  title     = {Computational Aspects of cf2 and stage2 Argumentation Semantics},
  editor    = {Bart Verheij and Stefan Szeider and Stefan Woltran},
  booktitle = {Proceedings of the 4th International Conference on Computational
               Models of Argument (COMMA 2012)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {245},
  publisher = {IOS Press},
  year      = {2012},
  pages     = {273-284},
  doi       = {10.3233/978-1-61499-111-3-273}
}

@@ Zeile 1: / Zeile 1: @@
 {{Publikation Erster Autor
-|ErsterAutorNachname=Dvorák
 |ErsterAutorVorname=Wolfgang
-|FurtherAuthors=
+|ErsterAutorNachname=Dvořák
-Sarah Alice Gaggl;
+|FurtherAuthors=Sarah Alice Gaggl;
 }}
 {{Inproceedings
 |Referiert=1
 |Title=Computational Aspects of cf2 and stage2 Argumentation Semantics
+|To appear=0
 |Year=2012
-|Month=
+|Booktitle=Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012)
-|Booktitle=COMMA
 |Pages=273-284
-|Publisher=
+|Publisher=IOS Press
+|Editor=Bart Verheij, Stefan Szeider, Stefan Woltran
+|Series=Frontiers in Artificial Intelligence and Applications
+|Volume=245
 }}
 {{Publikation Details
-|Abstract=
+|Abstract=We consider two instantiations of the SCC-recursive schema for argumentation semantics, cf2, using maximal conflict-free sets as base semantics, and stage2, using stage extensions as base semantics. Both of them have been shown to be in general of high complexity. We provide a detailed analysis of possible tractable fragments for these semantics. Moreover we present a labeling based algorithm for computing cf2 extension, which is complexity-sensitive w.r.t. one of the tractable fragments.
-|ISSN=
+|ISBN=978-1-61499-110-6
-|Download=
+|Download=comma2012 gaggl dvorak.pdf
+|DOI Name=10.3233/978-1-61499-111-3-273
+|Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation
 |DOI=http://dx.doi.org/10.3233/978-1-61499-111-3-273
-|Projekt=
+}}
-|Forschungsgruppe=Computational Logic
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Abstrakte Argumentation
 }}

Inproceedings4067: Unterschied zwischen den Versionen

Aktuelle Version vom 14. Oktober 2020, 10:45 Uhr

Computational Aspects of cf2 and stage2 Argumentation Semantics

Wolfgang DvořákWolfgang Dvořák, Sarah Alice GagglSarah Alice Gaggl