Sarah Gaggl
Sarah Gaggl
TU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation Group
Bestätigte E-Mail-Adresse bei tu-dresden.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Answer-set programming encodings for argumentation frameworks
U Egly, SA Gaggl, S Woltran
Argument & Computation 1 (2), 147-177, 2010
1942010
Methods for solving reasoning problems in abstract argumentation–A survey
G Charwat, W Dvořák, SA Gaggl, JP Wallner, S Woltran
Artificial intelligence 220, 28-63, 2015
1452015
Aspartix: Implementing argumentation frameworks using answer-set programming
U Egly, SA Gaggl, S Woltran
International Conference on Logic Programming, 734-738, 2008
1142008
Benchmark libraries for argumentation
W Dvorák, SA Gaggl, S Szeider, S Woltran
Agreement Technologies 8, 389-393, 0
93*
The added value of argumentation
S Modgil, F Toni, F Bex, I Bratko, CI Chesñevar, W Dvořák, MA Falappa, ...
Agreement Technologies, 357-403, 2013
852013
Making use of advances in answer-set programming for abstract argumentation systems
W Dvořák, SA Gaggl, JP Wallner, S Woltran
Applications of Declarative Programming and Knowledge Management, 114-133, 2011
512011
Improved answer-set programming encodings for abstract argumentation
SA Gaggl, N Manthey, A Ronca, JP Wallner, S Woltran
Theory and Practice of Logic Programming 15 (4-5), 434-448, 2015
462015
Stage semantics and the SCC-recursive schema for argumentation semantics
W Dvořák, SA Gaggl
Journal of Logic and Computation 26 (4), 1149-1202, 2014
452014
The cf2 argumentation semantics revisited
SA Gaggl, S Woltran
Journal of Logic and Computation 23 (5), 925-949, 2013
342013
Design and results of the second international competition on computational models of argumentation
SA Gaggl, T Linsbichler, M Maratea, S Woltran
Artificial Intelligence 279, 103193, 2020
322020
Foundations of implementations for formal argumentation
F Cerutti, SA Gaggl, M Thimm, J Wallner
IfCoLog Journal of Logics and their Applications 4 (8), 2623-2705, 2017
262017
Reduction-based approaches to implement Modgil’s extended argumentation frameworks
W Dvořák, SA Gaggl, T Linsbichler, JP Wallner
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
232015
Foundations of implementations for formal argumentation
F Cerutti, SA Gaggl, M Thimm, JP Wallner
Handbook of Formal Argumentation, 2018
212018
Introducing the Second International Competition on Computational Models of Argumentation.
SA Gaggl, T Linsbichler, M Maratea, S Woltran
SAFA@ COMMA, 4-9, 2016
192016
cf2 Semantics Revisited.
SA Gaggl, S Woltran
COMMA, 243-254, 2010
192010
Implementing abstract argumentation-a survey
G Charwat, W Dvorák, SA Gaggl, JP Wallner, S Woltran
Institut Fur Information Systeme, Tech. Rep., 2013
172013
Incorporating stage semantics in the scc-recursive schema for argumentation semantics
W Dvorák, SA Gaggl
In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning …, 2012
162012
Fixed-domain reasoning for description logics
S Gaggl, S Rudolph, L Schweizer
Proceedings of the Twenty-second European Conference on Artificial …, 2016
142016
On the computational complexity of naive-based semantics for abstract dialectical frameworks
SA Gaggl, S Rudolph, H Strass
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
142015
Decomposing Abstract Dialectical Frameworks.
SA Gaggl, H Strass
COMMA, 281-292, 2014
142014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20