Sarah Alice Gaggl
Dr. Sarah Alice Gaggl
Gruppenleiterin Logische Programmierung und Argumentation
- sarah.gaggl@tu-dresden.de
- Sekretariat: ramona.behling@tu-dresden.de
- Chat (Matrix ): @gaggl:tu-dresden.de
- +49 351 463 38679
- +49 351 463 32827
- APB 2021
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
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
- Workshop Chair der 10. International Conference on Computational Models of Argument (COMMA 2024)
- Mitglied des Programmkomitees des ICLP/LPNMR Doctoral Consortiums (ICLP/LPNMR-DC 2024)
- Mitglied des Programmkomitees des 27. International Symposium on Practical Aspects of Declarative Languages (PADL 2025)
- Mitglied des Programmkomitees des 22. International Workshop on Nonmonotonic Reasoning (NMR 2024)
- Editorial Advisor für das Journal Theory and Practice of Logic Programming (TPLP)
- Mitglied des Programmkomitees der 38. AAAI Conference on Artificial Intelligence (AAAI 2024)
- Mitglied im Editorial Board des Argument & Computation Journals
- 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)
Lehrveranstaltungen
- 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)
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 Julius Gonsior (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- von Richard Kwasnicki (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
NAVAS
Navigation im Lösungsraum von Answer Sets