Benutzerbeiträge von „Sarah Gaggl“

Suche nach BenutzerbeiträgenAusklappenEinklappen

⧼contribs-top⧽

IP-Adresse oder Benutzername:

Namensraum:

Auswahl umkehren

Zugehöriger Namensraum

Markierungs-Filter:

Auswahl umkehren

Nur aktuelle Versionen zeigen

Nur Seitenerstellungen anzeigen

Kleine Änderungen ausblenden

⧼contribs-date⧽

Von Datum:

Bis Datum:

09:2409:24, 17. Nov. 2025 Unterschied Versionen +1.130 Inproceedings3419 Keine Bearbeitungszusammenfassung aktuell
09:2209:22, 17. Nov. 2025 Unterschied Versionen +39 Inproceedings3419 Keine Bearbeitungszusammenfassung
09:2209:22, 17. Nov. 2025 Unterschied Versionen 0 N Datei:Kr2025-0028-diller-et-al.pdf Keine Bearbeitungszusammenfassung aktuell
09:1809:18, 17. Nov. 2025 Unterschied Versionen +315 Inproceedings3419 Keine Bearbeitungszusammenfassung
09:1509:15, 17. Nov. 2025 Unterschied Versionen +359 Inproceedings3420 Keine Bearbeitungszusammenfassung aktuell
09:1109:11, 17. Nov. 2025 Unterschied Versionen 0 N Datei:KR2025-Interactive-Plan-spaces-Gaggl.pdf Keine Bearbeitungszusammenfassung aktuell

07:0107:01, 13. Okt. 2025 Unterschied Versionen +37 Inproceedings3432 Keine Bearbeitungszusammenfassung aktuell
07:0007:00, 13. Okt. 2025 Unterschied Versionen +33 Inproceedings3432 Keine Bearbeitungszusammenfassung
07:0007:00, 13. Okt. 2025 Unterschied Versionen 0 N Datei:ICAPS25-Demo paper 3-2.pdf Keine Bearbeitungszusammenfassung aktuell

08:2508:25, 23. Sep. 2025 Unterschied Versionen +12 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung aktuell
08:2408:24, 23. Sep. 2025 Unterschied Versionen +103 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung
08:1608:16, 23. Sep. 2025 Unterschied Versionen +59 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung

07:4007:40, 22. Sep. 2025 Unterschied Versionen +1 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung
07:3707:37, 22. Sep. 2025 Unterschied Versionen 0 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung
07:3607:36, 22. Sep. 2025 Unterschied Versionen +10.928 N Advanced Problem Solving and Search (WS2025) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Advanced Problem Solving and Search |Research group=Computational Logic; Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Tutors=Sarah Alice Gaggl; Hannes Straß |Term=WS |Year=2025 |Module=CMS-CE-EL1, CMS-CE-EL2, CMS-CLS-ELG, CMS-CLS-ELV, CMS-COR-FAI, CMS-EE-EL1, CMS-EE-EL2, CMS-VC-ELV2, INF-25-MA-FTK-APSS, INF-BAS2, INF-VERT2, MCL-AI, MCL-KR, MCL-PI |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=nach Mo…“

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…“

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…“

10:0210:02, 18. Aug. 2025 Unterschied Versionen +1.287 Inproceedings3420 Keine Bearbeitungszusammenfassung
09:5709:57, 18. Aug. 2025 Unterschied Versionen 0 N Datei:GHGRSF2025-preprint.pdf Keine Bearbeitungszusammenfassung aktuell
09:4809:48, 18. Aug. 2025 Unterschied Versionen +24 Techreport3060 Keine Bearbeitungszusammenfassung
09:4709:47, 18. Aug. 2025 Unterschied Versionen +30 Techreport3060 Keine Bearbeitungszusammenfassung
09:4709:47, 18. Aug. 2025 Unterschied Versionen 0 N Datei:DGHMR2025 arxiv.pdf Keine Bearbeitungszusammenfassung aktuell
09:4509:45, 18. Aug. 2025 Unterschied Versionen +26 Techreport3060 Keine Bearbeitungszusammenfassung
09:4409:44, 18. Aug. 2025 Unterschied Versionen +1.826 N Techreport3060 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Sarah Alice Gaggl; Philipp Hanisch; Giuseppina Monterosso; Fritz Rauschenbach }} {{Techreport |Title=Grounding Rule-Based Argumentation Using Datalog |Year=2025 |Month=August |Institution=arXiv.org |Type=To appear in Proceedings of KR 2025 }} {{Publikation Details |Abstract=ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Alth…“

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

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…“
10:1410:14, 18. Jul. 2025 Unterschied Versionen +5 Inproceedings3419 Keine Bearbeitungszusammenfassung
10:1410:14, 18. Jul. 2025 Unterschied Versionen +501 N Inproceedings3419 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Sarah Alice Gaggl; Philipp Hanisch; Giuseppina Monterosso; Fritz Rauschenbach }} {{Inproceedings |Referiert=1 |Title=Grounding Rule-Based Argumentation Using Datalog |To appear=1 |Year=2025 |Booktitle=KR }} {{Publikation Details |Projekt=SECAI |Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme }} {{Forschungsgebiet Auswahl |F…“