Sarah Alice Gaggl

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.