TUD Logo

TUD Home » ... » Computational Logic » Staff » Sarah Alice Gaggl

Computational Logic

against racism

Sarah Alice Gaggl

portrait
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

Teaching

Winter 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 ]
Last modified: 3rd Mar 2015, 9.50 AM
Author: Dr. Sarah Gaggl

Contact
Dipl.-Ing.
Ramona Behling

Phone: 463 38516
Fax: 463 32827
e-mail contact form