Benutzerbeiträge von „Sarah Gaggl“

6. Oktober 2026

• 08:3708:37, 6. Okt. 2026 Unterschied Versionen 0 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung aktuell
• 08:3708:37, 6. Okt. 2026 Unterschied Versionen 0 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 08:3608:36, 6. Okt. 2026 Unterschied Versionen 0 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 06:2806:28, 6. Okt. 2026 Unterschied Versionen 0 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung

24. September 2026

• 12:3212:32, 24. Sep. 2026 Unterschied Versionen +2 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 11:5111:51, 24. Sep. 2026 Unterschied Versionen +58 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 08:5008:50, 24. Sep. 2026 Unterschied Versionen −1 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 08:4908:49, 24. Sep. 2026 Unterschied Versionen +473 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 08:3808:38, 24. Sep. 2026 Unterschied Versionen +812 Advanced Problem Solving and Search (WS2026) Keine Bearbeitungszusammenfassung
• 08:1708:17, 24. Sep. 2026 Unterschied Versionen +4.077 N Advanced Problem Solving and Search (WS2026) 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=Hannes Straß; Tim Lyon |Term=WS |Year=2026 |Module=CMS-CE-EL1, CMS-CE-EL2, CMS-CLS-ELG, CMS-CLS-ELV, CMS-EE-EL1, CMS-EE-EL2, CMS-VC-ELV2, INF-25-MA-FTK-APSS |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur, nach Modulbeschreibung |Description=Problem solving and search is…“

11. Mai 2026

• 11:4311:43, 11. Mai 2026 Unterschied Versionen +106 Advanced Problem Solving and Search (WS2025) Keine Bearbeitungszusammenfassung aktuell

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

• 06:1306:13, 20. Apr. 2026 Unterschied Versionen +7 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung aktuell

16. April 2026

• 10:4110:41, 16. Apr. 2026 Unterschied Versionen +284 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung
• 10:3910:39, 16. Apr. 2026 Unterschied Versionen 0 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung
• 10:2810:28, 16. Apr. 2026 Unterschied Versionen 0 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung
• 10:2810:28, 16. Apr. 2026 Unterschied Versionen +8 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung
• 10:2610:26, 16. Apr. 2026 Unterschied Versionen +86 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung

13. April 2026

• 15:1415:14, 13. Apr. 2026 Unterschied Versionen +33 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung
• 15:1415:14, 13. Apr. 2026 Unterschied Versionen 0 N Datei:SeminarLBKR2026 L1.pdf Keine Bearbeitungszusammenfassung aktuell

10. April 2026

• 06:4906:49, 10. Apr. 2026 Unterschied Versionen +89 Seminar Logic-Based Knowledge Representation (SS2026) Keine Bearbeitungszusammenfassung

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

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

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