Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
R. Brochenin, T. Linsbichler, M. Maratea, J. Wallner, S. Woltran:
"Abstract Solvers for Dung's Argumentation Frameworks";
Vortrag: The 2015 International Workshop on Theory and Applications of Formal Argument,
Buenos Aires, Argentinien;
25.07.2015
- 26.07.2015; in: "Theory and Applications of Formal Argumentation",
E. Black, S. Modgil, N. Oren (Hrg.);
Lecture Notes in Computer Science,
9524
(2015),
ISBN: 978-3-319-28459-0;
S. 40
- 58.
Kurzfassung englisch:
Abstract solvers are a quite recent method to uniformly describe algorithms in a rigorous formal way and have proven successful in declarative paradigms such as Propositional Satisfiability and Answer-Set Programming. In this paper, we apply this machinery for the first time to a dedicated AI formalism, namely Dung´s abstract argumentation frameworks. We provide descriptions of several advanced algorithms for the preferred semantics in terms of abstract solvers and, moreover, show how slight adaptions thereof directly lead to new algorithms.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-28460-6_3
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.