Answer-set programming encodings for argumentation frameworks U Egly, SA Gaggl, S Woltran Argument & Computation 1 (2), 147-177, 2010 | 208 | 2010 |
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 | 194 | 2015 |
Aspartix: Implementing argumentation frameworks using answer-set programming U Egly, SA Gaggl, S Woltran International Conference on Logic Programming, 734-738, 2008 | 127 | 2008 |
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 | 111 | 2013 |
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 | 101 | 2017 |
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 | 71 | 2020 |
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 | 55 | 2014 |
Making use of advances in answer-set programming for abstract argumentation systems W Dvořák, SA Gaggl, JP Wallner, S Woltran International Conference on Applications of Declarative Programming and …, 2011 | 55 | 2011 |
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 | 51 | 2015 |
The cf2 argumentation semantics revisited SA Gaggl, S Woltran Journal of Logic and Computation 23 (5), 925-949, 2013 | 38 | 2013 |
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 | 25 | 2015 |
Fixed-domain reasoning for description logics S Gaggl, S Rudolph, L Schweizer Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 23 | 2016 |
Summary report of the second international competition on computational models of argumentation SA Gaggl, T Linsbichler, M Maratea, S Woltran AI Magazine 39 (4), 73-76, 2018 | 22 | 2018 |
The ASPARTIX system suite W Dvořák, SA Gaggl, A Rapberger, JP Wallner, S Woltran Computational Models of Argument, 461-462, 2020 | 21 | 2020 |
Introducing the Second International Competition on Computational Models of Argumentation. SA Gaggl, T Linsbichler, M Maratea, S Woltran SAFA@ COMMA, 4-9, 2016 | 20 | 2016 |
cf2 semantics revisited SA Gaggl, S Woltran Computational Models of Argument, 243-254, 2010 | 20 | 2010 |
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 | 19 | 2012 |
Rushing and strolling among answer sets–navigation made easy JK Fichte, SA Gaggl, D Rusovac Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5651-5659, 2022 | 18 | 2022 |
Decomposing Abstract Dialectical Frameworks. SA Gaggl, H Strass COMMA, 281-292, 2014 | 18 | 2014 |
Implementing abstract argumentation-a survey G Charwat, W Dvorák, SA Gaggl, JP Wallner, S Woltran Institut Fur Information Systeme, Tech. Rep., 2013 | 18 | 2013 |