Dr. Sarah Alice Gaggl

Wissenschaftliche Mitarbeiterin Computational Logic

sarah.gaggl@tu-dresden.de
+49 351 463 38679
+49 351 463 32827
APB 2034

Ich bin seit April 2013 als Wissenschaftliche Mitarbeiterin in der Computational Logic Gruppe an der TU-Dresden. 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.

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

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

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

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

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
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
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

Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Volume abs/1611.02439, November 2016. CoRR
Details Download

Sarah Alice Gaggl, Matthias Thimm
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
Volume abs/1608.02441, September 2016. CoRR
Details Download

Komplette Publikationsliste anzeigen

Lehrveranstaltungen

Problem Solving and Search in Artificial Intelligence (SS 2020)
Problem Solving and Search in Artificial Intelligence (WS 2019)
Seminar Selected Topics of Computational Logic (WS 2019)
Problem Solving and Search in Artificial Intelligence (SS 2019)
Problem Solving and Search in Artificial Intelligence (SS 2017)

weitere Lehrveranstaltungen anzeigen

Themenvorschläge für Studien- und Abschlussarbeiten

Implementierung des Dekompositionsschemas für Abstract Dialectical Frameworks
Betreuer: Sarah Alice Gaggl
Verfügbar als Thema einer Studienarbeit

Abgeschlossene Arbeiten

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

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

CPEC
Grundlagen verständlicher Softwaresysteme

https://perspicuous-computing.science/

Sarah Alice Gaggl