Sarah Alice Gaggl
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. 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
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 Download
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), to appear
Details
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 1-28, February 2024
Details Download
Proceedings 39th International Conference on Logic Programming
Volume 385, September 2023. Open Publishing Association
Details
Representative Answer Sets: Collecting Something of Everything
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds., Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 271--278, September 2023. IOS Press
Details Download
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Technical Report, arXiv.org, volume arXiv:2311.07233, November 2023. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details Download
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Volume 14281 of Lecture Notes in Computer Science, September 2023. Springer
Details
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download
- Member of the program committee of the ICLP/LPNMR Doctoral Consortium (ICLP/LPNMR-DC 2024)
- Member of the program committee of the 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025)
- Member of the program committee of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024)
- Editorial Advisor for the journal Theory and Practice of Logic Programming (TPLP)
- Workshop Chair of the 10th International Conference on Computational Models of Argument (COMMA 2024)
- Member of the program committee of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
- Member of the Editorial Board of the Argument & Computation Journal
- General Chair of the 18th edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)
- Chair of the Recently Published Research Track of ICLP 2023
- Associate editor for Frontiers in Computer Science (Theoretical Computer Science)
Courses
- Advanced Problem Solving and Search (WS 2024)
- Advanced Problem Solving and Search (WS 2023)
- Advanced Problem Solving and Search (SS 2023)
- Advanced Problem Solving and Search (WS 2022)
- Foundations of Logic Programming (WS 2021)
show further courses
Completed Theses
- 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
NAVAS
Navigation Approaches for Answer Sets