Sarah Alice Gaggl

From International Center for Computational Logic

Dr. Sarah Alice Gaggl

Group LeaderTechnische Universität DresdenInternational Center for Computational Logic Logic Programming and Argumentation

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

View full publication list

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
View full publication list

Courses



Completed Theses

NAVAS-logo.png

NAVAS
Navigation Approaches for Answer Sets