Sarah Alice Gaggl
Dr. Sarah Alice Gaggl
Research Associate Computational Logic
- sarah.gaggl@tu-dresden.de
- +49 351 463 38679
- +49 351 463 32827
- APB 2034
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.
My research interests are in (but not limmited to)
Currently I am on parental leave till end of 2018!
Newest Publications
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, volume 4 of 8, 2623-2705. College Publications, September 2017
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Volume abs/1611.02439, November 2016. CoRR
Details Download
Sarah Alice Gaggl, Matthias Thimm
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
Volume abs/1608.02441, September 2016. CoRR
Details Download
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation
In Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati, eds., Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), volume 1672, 4-9, September 2016. CEUR-WS
Details Download
Sarah Alice Gaggl, Umer Mushtaq
Intertranslatability of Labeling-based Argumentation Semantics
In Steven Schockaert, Pierre Senellart, eds., Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016), volume 9858 of Lecture Notes in Computer Science, 155-169, September 2016. Springer
Details Download
Sarah Alice Gaggl, Wolfgang Dvořák
Stage semantics and the SCC-recursive schema for argumentation semantics
Journal of Logic and Computation, 26(4):1149-1202, August 2016
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download
- Member of the program committee of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA - 17)
- Member of the program committee of the 33rd International Conference on Logic Programming (ICLP 2017)
- Member of the program committee of the Knowledge Representation and Reasoning (KRR) track of the 18th EPIA - Portuguese Conference on Artificial Intelligence (EPIA 2017)
- Organiser of the 2nd Internationalen Competition on Computational Models of Argumentation (ICCMA 2017)
- Member of the program committee of the Special Track on Applications of Argumentation (APPARG 2017) at the 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2017)
- Guesteditor of the Special Issue on Argumentation and Logic Programming of Fundamenta Informaticae
- Member of the ICCMA Steering Committee
- Member of the program committee of the International Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)
- Member of the program committee of the 6th International Conference on Computational Models of Argument (COMMA 2016)
- Member of the program committee of the International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016)
Courses
- Problem Solving and Search in Artificial Intelligence (SS 2017)
- Seminar Abstract Argumentation (WS 2016)
- Problem Solving and Search in Artificial Intelligence (SS 2016)
- Seminar Abstract Argumentation (WS 2015)
- Problem Solving and Search in Artificial Intelligence (SS 2015)
show further courses
Suggested Thesis Topics
- Implementing the Decomposition Schema for Abstract Dialectical Frameworks
- Supervisor: Sarah Alice Gaggl
- Available as topic for a project thesis
Completed Theses
- Solving Angry Birds with Reinforcement Learning
- by Julius Gonsior (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Richard Kwasnicki (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Visualization of Solutions in Abstract Argumentation Frameworks
- by Rajwardhan Kumar (27 Oktober 2016)
- Supervisor: Sarah Alice Gaggl
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks
- by Umer Mushtaq (7 Oktober 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- On the Computation of Naive-based Argumentation Semantics
- by Javanshir Alammadli (14 März 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Navigation Approaches for Answer Sets
- by Asmaa Afeefi (4 Dezember 2015)
- Supervisor: Sarah Alice Gaggl, Sebastian Rudloph
- Intertranslatability of Labeling-Based Argumentation Semantics
- by Umer Mushtaq (19 November 2015)
- Supervisor: Sarah Alice Gaggl
- Implementing a Labeling-based Algorithm for the cf2 Argumentation Semantics
- by Javanshir Alammadli (20 April 2015)
- Supervisor: Sarah Alice Gaggl
- Solving Product Configuration Problems using Non-standard Reasoning Services
- by Lukas Schweizer (11 Juli 2014)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
