Decomposing Abstract Dialectical Frameworks

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Decomposing Abstract Dialectical Frameworks

Sarah Alice GagglSarah Alice Gaggl,  Hannes StraßHannes Straß
Decomposing Abstract Dialectical Frameworks


Slides: Decomposing Abstract Dialectical Frameworks

Sarah Alice Gaggl, Hannes Straß
Decomposing Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 281-292, 2014. IOS Press
  • KurzfassungAbstract
    We introduce a decomposition scheme for abstract dialectical frameworks (ADFs). The decomposition proceeds along the ADF's strongly connected components. For several semantics, the decomposition-based version coincides with the original semantics. For others, the scheme defines new semantics. These new semantics allow us to deal with pertinent problems such as odd-length negative cycles in a more general setting, that for instance also encompasses logic programs.
  • Forschungsgruppe:Research Group: Computational LogicComputational LogicLogische Programmierung und ArgumentationLogic Programming and Argumentation
@inproceedings{GS2014,
  author    = {Sarah Alice Gaggl and Hannes Stra{\ss}},
  title     = {Decomposing Abstract Dialectical Frameworks},
  editor    = {Simon Parsons and Nir Oren and Chris Reed and Federico Cerutti},
  booktitle = {Proceedings of the 5th International Conference on Computational
               Models of Argument (COMMA 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {266},
  publisher = {IOS Press},
  year      = {2014},
  pages     = {281-292},
  doi       = {10.3233/978-1-61499-436-7-281}
}