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. 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
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
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
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
Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
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
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Russo, Francesca Toni
Proceedings 39th International Conference on Logic Programming
Volume 385, September 2023. Open Publishing Association
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
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
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz
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
Elisa Böhl, Sarah Alice Gaggl
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 89-102, August 2022. Springer International Publishing
Details Download
- Workshop Chair of the 10th International Conference on Computational Models of Argument (COMMA 2024)
- Editorial Advisor for the journal Theory and Practice of Logic Programming (TPLP)
- 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)
- Senior Area Chair of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025)
- 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
- Chair of the Recently Published Research Track of ICLP 2023
- General Chair of the 18th edition of the European Conference on Logics in Artificial Intelligence (JELIA 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
