Account
Edit tools
Intern
SucheSearch
English

Benutzerbeiträge von „Sarah Gaggl“

Aus International Center for Computational Logic
Ergebnisse für Sarah Gaggl Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Eine Benutzerin mit 1.404 Bearbeitungen. Das Konto wurde am 24. Oktober 2014 erstellt.
Wechseln zu:Navigation, Suche
Suche nach BenutzerbeiträgenAusklappenEinklappen
⧼contribs-top⧽
⧼contribs-date⧽
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

21. April 2026

  • 07:5607:56, 21. Apr. 2026 Unterschied Versionen +3.291 N Thema3516 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Explaining Projected Answer Sets Using Faceted Reasoning |Titel EN=Explaining Projected Answer Sets Using Faceted Reasoning |Vorname=Paramita |Nachname=Choudhury |Abschlussarbeitstyp=Master |Betreuer=Sarah Gaggl |Forschungsgruppe=Logische Programmierung und Argumentation |Abschlussarbeitsstatus=Abgeschlossen |Abgabe=2025-11-27 |Beschreibung DE=Answer Set Programming (ASP) is a declarative paradigm for knowledge representation…“ aktuell

20. April 2026

16. April 2026

13. April 2026

10. April 2026

2. April 2026

  • 12:1812:18, 2. Apr. 2026 Unterschied Versionen +2.390 N Seminar Logic-Based Knowledge Representation (SS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Computational Logic; Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Term=SS |Year=2026 |Module=CMS-SEM-A, INF-04-HS, INF-AQUA, INF-D-940, INF-PM-FOR, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat, nach Modulbeschreibung |Description====Course Description=== This seminar intends to introduce to selected topics of…“

1. April 2026

21. Januar 2026

20. Januar 2026

16. Januar 2026

16. Dezember 2025

15. Dezember 2025

17. November 2025

13. Oktober 2025

23. September 2025

22. September 2025

16. September 2025

  • 11:5411:54, 16. Sep. 2025 Unterschied Versionen +373 N Thema3514 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Explaining Projected Answer Sets Using Faceted Reasoning |Titel EN=Explaining Projected Answer Sets Using Faceted Reasoning |Vorname=Paramita |Nachname=Choudhury |Abschlussarbeitstyp=Master |Betreuer=Sarah Gaggl |Forschungsgruppe=Logische Programmierung und Argumentation |Abschlussarbeitsstatus=Vergeben |Beginn=2025-06-27 |Abgabe=2025-11-28 }}“ aktuell
  • 11:5211:52, 16. Sep. 2025 Unterschied Versionen 0 Thema3515 Keine Bearbeitungszusammenfassung aktuell
  • 11:5011:50, 16. Sep. 2025 Unterschied Versionen +419 N Thema3518 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Analysis of Runtime Optimization Approaches for Answer Set Programming |Titel EN=Analysis of Runtime Optimization Approaches for Answer Set Programming |Vorname=Pratistha |Nachname=Kansakar |Abschlussarbeitstyp=Master |Betreuer=Sarah Gaggl; Elisa Böhl |Forschungsgruppe=Logische Programmierung und Argumentation |Abschlussarbeitsstatus=Abgeschlossen |Beginn=2025-03-12 |Abgabe=2025-08-26 }}“ aktuell
  • 11:4811:48, 16. Sep. 2025 Unterschied Versionen −1 Thema3515 Keine Bearbeitungszusammenfassung
  • 11:4611:46, 16. Sep. 2025 Unterschied Versionen +558 N Thema3515 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Scheduling in Unit-Aware, Batch-Constrained Job Shops Evaluation of Dispatching Rule Strategies and Simulated Annealing Approaches |Titel EN=Scheduling in Unit-Aware, Batch-Constrained Job Shops Evaluation of Dispatching Rule Strategies and Simulated Annealing Approaches |Vorname=Tuan Giang |Nachname=Trinh |Abschlussarbeitstyp=Master |Betreuer=Sarah Gaggl |Partner=Holger Brandl (Systema) |Forschungsgruppe=Logische Programmierun…“

15. September 2025

  • 10:0110:01, 15. Sep. 2025 Unterschied Versionen +1.725 N Inproceedings3432 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Michelle |ErsterAutorNachname=Kornherr |FurtherAuthors=Augusto B. Correa; Sarah Alice Gaggl; Markus Hecher; Dominik Rusovac; David Speck; Johannes K. Fichte; Daniel Gnad }} {{Inproceedings |Referiert=1 |Title=Graphical Navigation in Solution Spaces using PlanPilot |To appear=1 |Year=2025 |Booktitle=System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Plannin…“

18. August 2025

11. August 2025

  • 07:0907:09, 11. Aug. 2025 Unterschied Versionen +1.672 N Inproceedings3422 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Daniel |ErsterAutorNachname=Gnad |FurtherAuthors=Augusto B. Correa; Johannes K. Fichte; David Speck; Dominik Rusovac; Sarah Alice Gaggl; Markus Hecher }} {{Inproceedings |Referiert=1 |Title=PlanPilot: Efficient Navigation in Plan Space |To appear=0 |Year=2025 |Month=August |Booktitle=Workshop on Explainable Artificial Intelligence (XAI) }} {{Publikation Details |Abstract=Many planning applications require not…“ aktuell
  • 07:0807:08, 11. Aug. 2025 Unterschied Versionen 0 N Datei:Facet reason xai2025 crc.pdf Keine Bearbeitungszusammenfassung aktuell

18. Juli 2025

  • 10:1710:17, 18. Jul. 2025 Unterschied Versionen +488 N Inproceedings3420 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Daniel |ErsterAutorNachname=Gnad |FurtherAuthors=Markus Hecher; Sarah Alice Gaggl; Dominik Rusovac; David Jakob Speck; Johannes K. Fichte }} {{Inproceedings |Referiert=1 |Title=Interactive Exploration of Plan Spaces |To appear=1 |Year=2025 |Booktitle=KR in the Wild track at KR 2025 }} {{Publikation Details |Forschungsgruppe=Logische Programmierung und Argumentation }} {{Forschungsgebiet Auswahl |Forschungsgeb…“
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Beiträge/Sarah_Gaggl“