Sarah Alice Gaggl
Aus International Center for Computational Logic
Dr. Sarah Alice Gaggl
Gruppenleiterin Logische Programmierung und Argumentation
- sarah.gaggl@tu-dresden.de
- Sekretariat: cl@tu-dresden.de
- Chat (Matrix ): @gaggl:tu-dresden.de
- +49 351 463 38679
- +49 351 463 32827
- APB 2017
Seit Oktober 2020 bin ich Leiterin der Gruppe Logische Programmierung und Argumentation am Institut für Künstliche Intelligenz, TU-Dresden. Ebenfalls seit Oktober 2020 bin ich Projektleiterin des BMBF geförderten Projekts NAVAS - Navigation im Lösungsraum von Answer Sets.
Von 2019 bis 2022 war ich Principal Investigator im Sonderforschungsbereich 248 Grundlagen verständlicher Softwaresysteme (Center for Perspicuous Computing, CPEC), der darauf abzielt die cyber-physikalische Welt für Menschen nachvollziehbar zu gestalten. Von April 2013 bis September 2020 war ich Wissenschaftliche Mitarbeiterin in der Computational Logic Gruppe an der TU-Dresden.
In meiner Forschung konzentriere ich mich hauptsächlich auf die folgenden Themen:
Bevor ich nach Dresden kam habe ich im März 2013 an der TU Wien promoviert. Von 2009 bis 2012 war ich Projektassistentin in der Database and Artificial Intelligence Gruppe im WWTF Projekt New Methods for Analyzing, Comparing, and Solving Argumentation Problems unter der Leitung von Stefan Woltran.
Weitere Informationen entnehme man meinem CV.
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
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
- Co-Chair der Herbstschule für Logic Programming
- Mitglied des Programmkomitees der 19. European Conference on Logics in Artificial Intelligence (JELIA 2025)
- Editorial Advisor für das Journal Theory and Practice of Logic Programming (TPLP)
- Mitglied des Programmkomitees des 27. International Symposium on Practical Aspects of Declarative Languages (PADL 2025)
- Senior Area Chair der 34. International Joint Conference on Artificial Intelligence (IJCAI 2025)
- Mitglied im Editorial Board des Argument & Computation Journals
Lehrveranstaltungen
- Theoretische Informatik und Logik (SS 2025)
- Seminar Logic-Based Knowledge Representation (SS 2025)
- Advanced Problem Solving and Search (WS 2024)
- Advanced Problem Solving and Search (WS 2023)
- Advanced Problem Solving and Search (SS 2023)
weitere Lehrveranstaltungen anzeigen
Abgeschlossene Arbeiten
- Scheduling Complex Oral Exams in Answer Set Programming
- von Pratistha Kansakar (2 April 2024)
- Betreuer: Sarah Alice Gaggl
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation
- von Piotr Gorczyca (5 Juli 2022)
- Betreuer: Sarah Alice Gaggl, Martin Diller
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods
- von Mei Yang (27 Februar 2021)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Analyse und Implementierung der scf2 Argumentation Semantik
- von Guzel Khuziakhmetova (25 Februar 2021)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Solving Angry Birds with Reinforcement Learning
- von Richard Kwasnicki (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- von Julius Gonsior (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks
- von Rajwardhan Kumar (27 Oktober 2016)
- Betreuer: Sarah Alice Gaggl
- Combining Belief Revision and Abstract Dialectical Frameworks
- von Umer Mushtaq (13 Oktober 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks
- von Umer Mushtaq (7 Oktober 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- On the Computation of Naive-based Argumentation Semantics
- von Javanshir Alammadli (14 März 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Navigation Approaches for Answer Sets
- von Asmaa Afeefi (4 Dezember 2015)
- Betreuer: Sarah Alice Gaggl, Sebastian Rudloph
- Intertranslatability of Labeling-Based Argumentation Semantics
- von Umer Mushtaq (19 November 2015)
- Betreuer: Sarah Alice Gaggl
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik
- von Javanshir Alammadli (20 April 2015)
- Betreuer: Sarah Alice Gaggl
- Solving Product Configuration Problems using Non-standard Reasoning Services
- von Lukas Schweizer (11 Juli 2014)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
