|
|
Sarah Alice Gaggl
- Position
- Postdoctoral research assistant
- Email address
- sarah.gaggl@tu-dresden.de
- Telephone
- +49 (0)351 463 38679
- Office
- Room 2034, Nöthnitzer Straße 46, Dresden-Räcknitz
About me
I did my master studies in Computational Intelligence at the Vienna University of Technology and recieved my diploma in 2009. In March 2013 I recieved my PhD in Computer Science at the Vienna University of Technology. From 2009 to 2012 I was working as a project research assistant in the Database and Artificial Intelligence Group at the WWTF project New Methods for Analyzing, Comparing, and Solving Argumentation Problems under the supervision of Stefan Woltran. Since April 2013 I am a postdoctoral research assistant at the Computational Logic Group at the TU-Dresden.
CV (in English).
Research
Research Interests: Abstract Argumentation, Answer-Set Programming
Software
- Web application of ASPARTIX.
- ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming.
Awards
Doctoral Thesis
In March 2013 I recieved my PhD in Computer Science. The Thesis with the title A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation was supervised by Stefan Woltran. The official version can be downloaded here: Thesis_Gaggl.pdf; and an extended abstract (in German): Thesis_Kurzfassung.pdf.
Reviewing
- PC-Member for ICAART 2015, CLIMA XIV, AAA 2013.
- Journals: Artificial Intelligence Journal, Journal of Logic and Computation.
- Further Reviewing: ICLP 2013, ISWC 2013, ECAI 2012, Reasoning Web Summer School 2012, ICAART 2012, AAAI 2011, LPNMR 2011, TAFA 2011, Tableaux 2011, ECAI 2010.
TeachingWinter Term 2014/15
Summer Term 2014
Winter Term 2013/14
Publications
Forthcoming Papers
2014
|
| [20] |
Decomposing Abstract Dialectical Frameworks.
Sarah Alice Gaggl and Hannes Strass.
In Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications , pages 281-292, IOS Press, 2014. [ paper ]
|
| [19] |
Stage semantics and the SCC-recursive schema for argumentation semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
Journal of Logic and Computation 2014; doi: 10.1093/logcom/exu006. [ paper ]
|
2013
|
| [18] |
The cf2 argumentation semantics revisited.
Sarah Alice Gaggl and Stefan Woltran.
Journal of Logic and Computation, 23(5):925-949, 2013. [ bib | paper ] |
| [17] |
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner and Stefan Woltran.
In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Revised Selected Papers, LNAI 7773, pages 1-20, Springer-Verlag, 2013. [ paper ]
|
2012
|
| [16] |
Computational Aspects of cf2 and stage2 Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Vienna, Austria, September 10-12, 2012, volume 245 of Frontiers in Artificial Intelligence and Applications , pages 273-284. IOS Press, 2012. [ bib | paper ]
|
| [15] |
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), Rome, Italy, June 8-10, 2012. [ bib | paper ]
|
| [14] |
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
Technical Report DBAI-TR-2012-78, Technische Universität Wien, 2012. [ bib | .pdf ] |
| [13] |
The cf2 Argumentation Semantics Revisited.
Sarah Alice Gaggl and Stefan Woltran.
Technical Report DBAI-TR-2012-77, Technische Universität Wien, 2012. [ bib | .pdf ] |
2011
|
| [12] |
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner and Stefan Woltran
INAP 2011 (technical paper) [arXiv:1108.4942] |
| [11] |
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner, and Stefan Woltran.
Technical Report DBAI-TR-2011-70, Technische Universität Wien, 2011. [ bib | .pdf ] |
| [10] |
Strong Equivalence for Argumentation Semantics based on Conflict-free Sets.
Sarah Alice Gaggl and Stefan Woltran.
In Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), 38-49, 2011. [ bib | .pdf ] |
| [9] |
Strong Equivalence for Argumentation Semantics based on Conflict-free Sets.
Sarah Alice Gaggl, and Stefan Woltran.
Technical Report DBAI-TR-2011-68, Technische Universität Wien, 2011. [ bib | .pdf ] |
2010
|
| [8] |
cf2 Semantics Revisited.
Sarah Alice Gaggl and Stefan Woltran.
In Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), Desenzano del Garda, Italy, September 8-10, 2010, volume 216 of Frontiers in Artificial Intelligence and Applications, pages 243–254. IOS Press, 2010. [ bib | .pdf ]
|
| [7] |
ASPARTIX Conquers the Web
Uwe Egly, Sarah Alice Gaggl, Paul Wandl, and Stefan Woltran. Software demonstration at COMMA 2010. [.pdf ]
|
| [6] |
Towards a General Argumentation System based on Answer-Set Programming.
Sarah Alice Gaggl.
In ICLP (Technical Communications). [ bib | .pdf ] |
| [5] |
Answer-Set Programming Encodings for Argumentation Frameworks.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
In Argument and Computation, 1(2): 147 - 177 (2010). [ bib | pdf ] |
2009
|
| [4] |
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming.
Sarah Alice Gaggl.
Poster. ACAI'09 Poster Session [.pdf ] |
2008
|
| [3] |
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
In Maria G. de la Banda and Enrico Pontelli, editors, Proceedings of the Twenty-Fourth International Conference on Logic Programming, (ICLP'08), Udine, Italy, December 9-13, 2008, volume 5366 of Lecture Notes in Computer Science, pages 734–738. Springer, 2008. [ bib | .pdf ] |
| [2] |
Answer-Set Programming Encodings for Argumentation Frameworks.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
In 1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy, 2008 [ bib | .pdf ] |
| [1] |
Answer-Set Programming Encodings for Argumentation Frameworks.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
Technical Report DBAI-TR-2008-62, Technische Universität Wien, 2008 [ bib | .pdf ] |
|
|
e-mail contact form
