Benutzerbeiträge von „Sarah Gaggl“

1. April 2026

• 10:3310:33, 1. Apr. 2026 Unterschied Versionen +93 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung aktuell

21. Januar 2026

• 12:0812:08, 21. Jan. 2026 Unterschied Versionen +21 Sarah Alice Gaggl Keine Bearbeitungszusammenfassung aktuell

20. Januar 2026

• 15:1115:11, 20. Jan. 2026 Unterschied Versionen 0 Datei:Cv gaggl work.pdf Sarah Gaggl lud eine neue Version von Datei:Cv gaggl work.pdf hoch aktuell
• 15:0515:05, 20. Jan. 2026 Unterschied Versionen 0 Datei:Cv gaggl work.pdf Sarah Gaggl lud eine neue Version von Datei:Cv gaggl work.pdf hoch

16. Januar 2026

• 13:1913:19, 16. Jan. 2026 Unterschied Versionen +39 Inproceedings3091 Keine Bearbeitungszusammenfassung aktuell

16. Dezember 2025

• 12:5412:54, 16. Dez. 2025 Unterschied Versionen +16 Inproceedings3432 Keine Bearbeitungszusammenfassung aktuell

15. Dezember 2025

• 15:0715:07, 15. Dez. 2025 Unterschied Versionen −50 Inproceedings3432 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 15:0615:06, 15. Dez. 2025 Unterschied Versionen +50 Inproceedings3432 Keine Bearbeitungszusammenfassung

17. November 2025

• 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

13. Oktober 2025

• 07:0107:01, 13. Okt. 2025 Unterschied Versionen +37 Inproceedings3432 Keine Bearbeitungszusammenfassung
• 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

23. September 2025

• 08:2508:25, 23. Sep. 2025 Unterschied Versionen +12 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung
• 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

22. September 2025

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

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

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

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

10. Juli 2025

• 11:3111:31, 10. Jul. 2025 Unterschied Versionen +78 APB 2017 Keine Bearbeitungszusammenfassung aktuell
• 11:2911:29, 10. Jul. 2025 Unterschied Versionen +21 Sarah Alice Gaggl Keine Bearbeitungszusammenfassung

14. Mai 2025

• 07:1907:19, 14. Mai 2025 Unterschied Versionen +135 Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung aktuell

25. April 2025

• 06:3206:32, 25. Apr. 2025 Unterschied Versionen +8 NAVAS Keine Bearbeitungszusammenfassung aktuell

24. April 2025

• 07:3507:35, 24. Apr. 2025 Unterschied Versionen −9 Inproceedings3289 Keine Bearbeitungszusammenfassung aktuell

22. April 2025

• 07:3507:35, 22. Apr. 2025 Unterschied Versionen −1.217 Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung

16. April 2025

• 11:3811:38, 16. Apr. 2025 Unterschied Versionen +103 Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung

15. April 2025

• 12:0212:02, 15. Apr. 2025 Unterschied Versionen +4 Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
• 12:0212:02, 15. Apr. 2025 Unterschied Versionen +150 Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung