Sarah Alice Gaggl
From International Center for Computational Logic
Dr. Sarah Alice Gaggl
Group Leader Logic Programming and Argumentation
- sarah.gaggl@tu-dresden.de
- Secretary: ramona.behling@tu-dresden.de
- Chat (Matrix ): @gaggl:tu-dresden.de
- +49 351 463 38679
- +49 351 463 32827
- APB 2021
Since October 2020 I am the leader of the research group Logic Programming and Argumentation at the Institute of Artificial Intelligence, TU-Dresden. Also since October 2020 I am the project leader of BMBF funded project NAVAS - Navigation Approaches for Answer Sets. Since 2019 I am a principal investigator in the Transregional Collaborative Research Centre 248 Center for Perspicuous Computing (CPEC) which aims at enabling comprehension in a cyber-physical world with the human in the loop. From April 2013 till September 2020 I was a postdoctoral research assistant at the Computational Logic Group at the TU-Dresden.
My research interests are in (but not limmited to)
Before joining the TU Dresden I received my PhD in Computer Science in 2013 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.
For further information have a look at my CV.
Newest Publications
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, to appear
Details Download
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Technical Report, arXiv.org, volume CoRR abs/2112.07596, December 2021
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 87-98, November 2021
Details Download
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
In Pietro Baroni, Christoph Benzmüller, Yì N. Wán, eds., Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021), volume 13040 of LNCS, 147-168, 2021. Springer
Details Download
Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download
Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
Volume 2672, September 2020. CEUR-WS.org
Details
- Member of the program committee of the 9th International Conference on Computational Models of Argument (COMMA 2022)
- Member of the program committee of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022)
- Organisor of the 4th Internationalen Workshops on Systems and Algorithms for Formal Argumentation (SAFA 2022)
- Member of the program committee of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022)
- Associate editor for Frontiers in Computer Science (Theoretical Computer Science)
- Member of the program committee of the 38th International Conference on Logic Programming (ICLP 2022)
- Member of the Editorial Board of the Argument & Computation Journal
- Member of the program committee of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
- President of the ICCMA Steering Committee (since Oktober 2019)
- Member of the ICCMA Steering Committee
- Member of the program committee of the third International Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022)
Courses
- Foundations of Logic Programming (WS 2021)
- Problem Solving and Search in Artificial Intelligence (SS 2020)
- Problem Solving and Search in Artificial Intelligence (WS 2019)
- Seminar Selected Topics of Computational Logic (WS 2019)
- Problem Solving and Search in Artificial Intelligence (SS 2019)
show further courses
Completed Theses
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods
- by Mei Yang (27 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Analysis and Implementation of scf2 Argumentation Semantics
- by Guzel Khuziakhmetova (25 Februar 2021)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- 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
- Combining Belief Revision and Abstract Dialectical Frameworks
- by Umer Mushtaq (13 Oktober 2016)
- Supervisor: Sebastian Rudolph, 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
