Sarah Alice Gaggl

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Sarah Alice Gaggl

GruppenleiterinTechnische Universität DresdenInternational Center for Computational Logic Logische Programmierung und Argumentation

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

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Theory and Practice of Logic Programming, 1-28, February 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
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
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Francesco Fabiano, Alessandra Russo, Francesca Toni
Proceedings 39th International Conference on Logic Programming
Volume 385, September 2023. Open Publishing Association
Details
Sarah Alice Gaggl
Scalable Understanding: Navigation Approaches for Answer Sets
Invited talk at the Artificial Intelligence Group (AIG) at the FernUnversität in Hagen, October 2022
Details
Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner
The Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022)
Volume 3236, October 2022. CEUR-WS
Details
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. 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, 177-198, 2022. Springer
Details Download
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation
In Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner, eds., Proceedings of the 4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), volume 3236, 59-72, October 2022. CEUR-WS
Details Download
Komplette Publikationsliste anzeigen

Lehrveranstaltungen



Abgeschlossene Arbeiten

NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets