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: cl@tu-dresden.de
- Chat (Matrix ): @gaggl:tu-dresden.de
- +49 351 463 38679
- +49 351 463 32827
- APB 2017
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. From 2019 till 2022 I was 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
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 281–292, November 2025. IJCAI Organization
Details Download
Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Jakob Speck, Johannes K. Fichte
Interactive Exploration of Plan Spaces
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild (KR 2025), 599–609, November 2025. IJCAI Organization
Details Download
Michelle Kornherr, Augusto B. Correa, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes K. Fichte, Daniel Gnad
Graphical Navigation in Solution Spaces using PlanPilot
System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Planning and Scheduling), to appear
Details Download
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
Technical Report, arXiv.org, August 2025. Long version of article to appear in Proceedings of KR 2025
Details Download
Daniel Gnad, Augusto B. Correa, Johannes K. Fichte, David Speck, Dominik Rusovac, Sarah Alice Gaggl, Markus Hecher
PlanPilot: Efficient Navigation in Plan Space
Workshop on Explainable Artificial Intelligence (XAI), August 2025
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Theory and Practice of Logic Programming, 24(4):772-789, July 2024
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details
Sarah Alice Gaggl
Navigating ASP Solution Spaces
Invited Talk at the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), November 2024
Details
Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes K. Fichte
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 642–653, November 2024. IJCAI Organization
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 24(3):505-532, May 2024
Details Download
- Co-Chair of the Autumn School on Logic Programming
- Member of the program committee of the 19th European Conference on Logics in Artificial Intelligence (JELIA 2025)
- Editorial Advisor for the journal Theory and Practice of Logic Programming (TPLP)
- Member of the program committee of the 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025)
- Senior Area Chair of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025)
- Member of the Editorial Board of the Argument & Computation Journal
Courses
- Advanced Problem Solving and Search (WS 2025)
- Seminar Logic-Based Knowledge Representation (SS 2025)
- Theoretische Informatik und Logik (SS 2025)
- Advanced Problem Solving and Search (WS 2024)
- Advanced Problem Solving and Search (WS 2023)
show further courses
Completed Theses
- Analysis of Runtime Optimization Approaches for Answer Set Programming
- by Pratistha Kansakar (26 August 2025)
- Supervisor: Sarah Alice Gaggl, Elisa Böhl
- Scheduling in Unit-Aware, Batch-Constrained Job Shops Evaluation of Dispatching Rule Strategies and Simulated Annealing Approaches
- by Tuan Giang Trinh (26 Juli 2025)
- Supervisor: Sarah Alice Gaggl
- External partner: Holger Brandl (Systema)
- Scheduling Complex Oral Exams in Answer Set Programming
- by Pratistha Kansakar (2 April 2024)
- Supervisor: Sarah Alice Gaggl
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation
- by Piotr Gorczyca (5 Juli 2022)
- Supervisor: Sarah Alice Gaggl, Martin Diller
- 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
