Dr. Sarah Alice Gaggl is a Researcher at the International Center for Computational Logic (ICCL) within the Technische Universität Dresden , where she has served as Group Leader for Logical Programming and Argumentation since October 2020. She also leads the BMBF-funded project NAVAS - Navigation in the Solution Space of Answer Sets and was a Principal Investigator in the Collaborative Research Center 248 (CPEC) from 2019 to 2022. Her research centers on Abstract Argumentation , Answer Set Programming (ASP) , and Knowledge Representation . Doctorate in Computer Science, Vienna University of Technology, March 2013 Her work bridges Answer Set Programming with practical applications in Knowledge Representation and Nonmonotonic Reasoning , focusing on navigation in plan spaces, efficient algorithms for ASP, and multi-criteria answer set selection. She has supervised numerous theses on topics like Multi-Shot ASP , Abstract Argumentation Frameworks , and Reinforcement Learning in game environments. Recent publications highlight trends in Answer Set Navigation (e.g., PlanPilot , IASCAR ), Algorithm Refinement (e.g., Winning Snake ), and Rule-Based Argumentation (e.g., Grounding Rule-Based Argumentation ). Her contributions span Computational Logic , Automated Reasoning , and Software Systems . She has held editorial and organizational roles for journals and conferences, including the Argument & Computation journal, KR , IJCAI , and ICLP . Dr. Gaggl leads the Logical Programming and Argumentation group and has been affiliated with the Computational Logic Group at TU Dresden since 2013. Her teaching includes courses like Theoretical Computer Science & Logic and Advanced Problem Solving .






