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

Mit Oktober 2020 werde ich Leiterin der Gruppe Logische Programmierung und Argumentation am Institut für Künstliche Intelligenz, TU-Dresden. Ebenfalls mit Oktober 2020 werde ich Projektleiterin des BMBF geförderten Projekts NAVAS - Navigation im Lösungsraum von Answer Sets.

Seit 2019 bin 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 hab 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

Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download

Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
Volume 2672, September 2020. CEUR-WS.org
Details

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 461-462, September 2020
Details Download

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation
Technical Report, arXiv.org, volume CoRR abs/1909.00621, September 2019
Details Download

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Summary Report of the Second International Competition on Computational Models of Argumentation
AI Magazine, 39(4):77-79, December 2018
Details Download

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., Handbook on Formal Argumentation, chapter Foundations of implementations for formal argumentation, 688-767. College Publications, February 2018
Details Download

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, 4:2623-2705, September 2017
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl
Stage semantics and the SCC-recursive schema for argumentation semantics
Journal of Logic and Computation, 26(4):1149-1202, August 2016
Details Download

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Themenvorschläge für Studien- und Abschlussarbeiten


Abgeschlossene Arbeiten

Logo CPEC final RGB.svg

CPEC
Grundlagen verständlicher Softwaresysteme

NAVAS
Navigation im Lösungsraum von Answer Sets