Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Article3007
Abstract Recently, stage and cf2 semantics for abst
Recently, stage and cf2 semantics for abstract argumentation attracted specific attention. By distancing from the notion of defence, they are capable to select arguments out of odd-length cycles. In case of cf2 semantics, the SCC-recursive schema guarantees that important evaluation criteria for argumentation semantics, like directionality, weak- and CF-reinstatement, are fulfilled. Beside several desirable properties, both stage and cf2 semantics still have some drawbacks. The stage semantics does not satisfy the above mentioned evaluation criteria, whereas cf2 semantics produces some questionable results on frameworks with cycles of length ≥ 6. Therefore, we suggest to combine stage semantics with the SCC-recursive schema of cf2 semantics. The resulting stage2 semantics overcomes the problems regarding cf2 and stage semantics. We study properties of stage2 semantics and its relations to existing semantics, show that it fulfills the mentioned evaluation criteria, study strong equivalence for stage2 semantics and provide a comprehensive complexity analysis of the associated reasoning problems. Besides the analysis of stage2 semantics, we also complement existing complexity results for cf2 by an analysis of tractable fragments and fixed parameter tractability. Furthermore, we provide answer-set programming (ASP) encodings for stage2 semantics and labelling-based algorithms for cf2 and stage2 semantics.
d algorithms for cf2 and stage2 semantics.  +
Author Sarah Alice Gaggl + , Wolfgang Dvořák +
BibTex
@article{DG2016,
  author    = {Wolfgang Dvo{\v{r}}{\'{a}}k and Sarah Alice Gaggl},
  title     = {Stage semantics and the {SCC-recursive} schema for argumentation
               semantics},
  journal   = {Journal of Logic and Computation},
  volume    = {26},
  number    = {4},
  publisher = {Oxford University Press},
  year      = {2016},
  month     = {August},
  pages     = {1149-1202},
  doi       = {10.1093/logcom/exu006}
}
Bibtype Article  +
DOI Name 10.1093/logcom/exu006  +
Download JLC2014 Dvoark Gaggl.pdf  +
ErsterAutorNachname Dvořák  +
ErsterAutorVorname Wolfgang  +
Forschungsgebiet Abstrakte Argumentation + , Answer Set Programming +
Forschungsgruppe Computational Logic +
Journal Journal of Logic and Computation  +
Link http://logcom.oxfordjournals.org/content/26/4/1149.abstract?ct  +
Month August  +
Num 4  +
Pages 1149-1202  +
Publication text Wolfgang Dvořák, Sarah Alice Gaggl<br/&
Wolfgang Dvořák, Sarah Alice Gaggl<br/> '''[[Article3007|Stage semantics and the SCC-recursive schema for argumentation semantics]]''' <br/>__NOTOC__Journal of Logic and Computation, 26(4):1149-1202, August 2016<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3007|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:JLC2014 Dvoark Gaggl.pdf|Download]]
[Media:JLC2014 Dvoark Gaggl.pdf|Download]]  +
Publication text en Wolfgang Dvořák, Sarah Alice Gaggl<br/&
Wolfgang Dvořák, Sarah Alice Gaggl<br/> '''[[Article3007/en|Stage semantics and the SCC-recursive schema for argumentation semantics]]''' <br/>__NOTOC__Journal of Logic and Computation, 26(4):1149-1202, August 2016<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3007|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:JLC2014 Dvoark Gaggl.pdf|Download]]
[Media:JLC2014 Dvoark Gaggl.pdf|Download]]  +
Publisher Oxford University Press  +
Referiert 1  +
Title Stage semantics and the SCC-recursive schema for argumentation semantics  +
To appear 0  +
Type article  +
Volume 26  +
Year 2016  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Article3007 + , Article3007 + , Article3007 + , Article3007 + , Article3007 + , Article3007 +
Kategorien Article , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
18 Januar 2019 12:22:37  +
verstecke Attribute die hierhin verlinken 
Article3007/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.