Benutzerbeiträge von „Sarah Gaggl“
Aus International Center for Computational Logic
Für Sarah Gaggl Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
10. November 2024
- 04:1904:19, 10. Nov. 2024 Unterschied Versionen +96 Bytes Misc3083 Keine Bearbeitungszusammenfassung aktuell
- 04:1304:13, 10. Nov. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2134/en Page created automatically by parser function on page Aktivitaet2134 aktuell Markierung: Neue Weiterleitung
- 04:1304:13, 10. Nov. 2024 Unterschied Versionen +346 Bytes N Aktivitaet2134 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Senior Area Chair der 34. International Joint Conference on Artificial Intelligence (IJCAI 2025) |Beschreibung EN=Senior Area Chair of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) |Person=Sarah Gaggl |URL=https://2025.ijcai.org |Start(Jahr)=2024 |Ende(Jahr)=2025 |Rank=★★★ }}“ aktuell
- 04:0604:06, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:2408.08150v1.pdf Keine Bearbeitungszusammenfassung aktuell
- 04:0004:00, 10. Nov. 2024 Unterschied Versionen 0 Bytes Inproceedings3396 Keine Bearbeitungszusammenfassung aktuell
- 03:5903:59, 10. Nov. 2024 Unterschied Versionen +42 Bytes Misc3083 Keine Bearbeitungszusammenfassung
- 03:5903:59, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Full jesse.heyninck 1730540034 1.jpeg Keine Bearbeitungszusammenfassung aktuell
- 03:5503:55, 10. Nov. 2024 Unterschied Versionen −23 Bytes Misc3083 Keine Bearbeitungszusammenfassung
- 03:5403:54, 10. Nov. 2024 Unterschied Versionen +37 Bytes Misc3083 Keine Bearbeitungszusammenfassung
- 03:5303:53, 10. Nov. 2024 Unterschied Versionen +22 Bytes N Misc3083/en Page created automatically by parser function on page Misc3083 aktuell Markierung: Neue Weiterleitung
- 03:5303:53, 10. Nov. 2024 Unterschied Versionen +1.749 Bytes N Misc3083 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sarah Alice |ErsterAutorNachname=Gaggl }} {{Misc |Title=Navigating ASP Solution Spaces |Year=2024 |Month=November |Howpublished=Invited Talk }} {{Publikation Details |Abstract=A wide range of combinatorial search problems can be modelled and solved with Answer Set Programming (ASP). While modern ASP solvers allow to quickly enumerate solutions, the user faces the problem of dealing with a possibly exponential…“
- 03:5203:52, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Gaggl nmr 2024.pdf Keine Bearbeitungszusammenfassung aktuell
- 03:4903:49, 10. Nov. 2024 Unterschied Versionen −6 Bytes Inproceedings3396 Keine Bearbeitungszusammenfassung
- 03:4903:49, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Gaggl kr 2024.pdf Keine Bearbeitungszusammenfassung aktuell
- 03:4703:47, 10. Nov. 2024 Unterschied Versionen +350 Bytes Inproceedings3396 Keine Bearbeitungszusammenfassung
- 03:4103:41, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Kr2024-0060-rusovac-et-al.pdf Keine Bearbeitungszusammenfassung aktuell
15. Oktober 2024
- 11:3411:34, 15. Okt. 2024 Unterschied Versionen +111 Bytes Article3096 Keine Bearbeitungszusammenfassung aktuell
14. Oktober 2024
- 07:5907:59, 14. Okt. 2024 Unterschied Versionen +52 Bytes Article3096 Keine Bearbeitungszusammenfassung
4. Oktober 2024
- 06:3606:36, 4. Okt. 2024 Unterschied Versionen −3 Bytes Aktivitaet2077 Keine Bearbeitungszusammenfassung aktuell
26. September 2024
- 08:3508:35, 26. Sep. 2024 Unterschied Versionen 0 Bytes Datei:Cv gaggl work.pdf Sarah Gaggl lud eine neue Version von Datei:Cv gaggl work.pdf hoch aktuell
- 08:3108:31, 26. Sep. 2024 Unterschied Versionen +28 Bytes N Techreport3052/en Page created automatically by parser function on page Techreport3052 aktuell Markierung: Neue Weiterleitung
24. September 2024
- 08:3708:37, 24. Sep. 2024 Unterschied Versionen +34 Bytes GÖR/0226/H Keine Bearbeitungszusammenfassung aktuell
- 08:3608:36, 24. Sep. 2024 Unterschied Versionen +11 Bytes N TOE/317/H/en Page created automatically by parser function on page TOE/317/H aktuell
- 08:3608:36, 24. Sep. 2024 Unterschied Versionen +205 Bytes N TOE/317/H Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/etplan/toe/02/raum/128102.1180 |Beschreibung DE=TOE Toepler-Bau, Mommsenstr. 12, Raum 317 |Beschreibung EN=TOE Toepler-Bau, Mommsenstr. 12, room 317 }}“ aktuell
- 08:3408:34, 24. Sep. 2024 Unterschied Versionen +11 Bytes N GÖR/0226/H/en Page created automatically by parser function on page GÖR/0226/H aktuell
- 08:3408:34, 24. Sep. 2024 Unterschied Versionen +180 Bytes N GÖR/0226/H Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/etplan/g%C3%B6r/01/raum/127101.0810 |Beschreibung DE=GÖR Görges-Bau, Raum 226 |Beschreibung EN=GÖR Görges-Bau, room 226 }}“
16. September 2024
- 16:0316:03, 16. Sep. 2024 Unterschied Versionen +237 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung aktuell
- 16:0116:01, 16. Sep. 2024 Unterschied Versionen +1.743 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 15:5315:53, 16. Sep. 2024 Unterschied Versionen +1.651 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 15:4115:41, 16. Sep. 2024 Unterschied Versionen +387 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 15:1615:16, 16. Sep. 2024 Unterschied Versionen +58 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 14:4614:46, 16. Sep. 2024 Unterschied Versionen +1 Byte Advanced Problem Solving and Search (WS2023) Keine Bearbeitungszusammenfassung aktuell
- 14:4614:46, 16. Sep. 2024 Unterschied Versionen +16 Bytes N Advanced Problem Solving and Search (WS2024)/en Page created automatically by parser function on page Advanced Problem Solving and Search (WS2024) aktuell
- 14:4614:46, 16. Sep. 2024 Unterschied Versionen +4.081 Bytes N Advanced Problem Solving and Search (WS2024) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Advanced Problem Solving and Search |Research group=Computational Logic; Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Term=WS |Year=2024 |Module=INF-BAS2, INF-VERT2, CMS-COR-FAI |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur, mündliche Prüfung |Description=Problem solving and search is a central topic in Artificial Intelligence. This course presents several techniques to solve in general dif…“
10. September 2024
- 12:4012:40, 10. Sep. 2024 Unterschied Versionen +1 Byte Aktivitaet2131 Keine Bearbeitungszusammenfassung aktuell
- 12:3912:39, 10. Sep. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2131/en Page created automatically by parser function on page Aktivitaet2131 aktuell Markierung: Neue Weiterleitung
- 12:3912:39, 10. Sep. 2024 Unterschied Versionen +412 Bytes N Aktivitaet2131 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied des Programmkomitees des 27. International Symposium on Practical Aspects of Declarative Languages (PADL 2025 |Beschreibung EN=Member of the program committee of the 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025) |Person=Sarah Gaggl |URL=https://popl25.sigplan.org/home/PADL-2025 |Start(Jahr)=2024 |Ende(Jahr)=2025 |Rank=★★★ }}“
5. September 2024
- 10:5110:51, 5. Sep. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2130/en Page created automatically by parser function on page Aktivitaet2130 aktuell Markierung: Neue Weiterleitung
- 10:5110:51, 5. Sep. 2024 Unterschied Versionen +353 Bytes N Aktivitaet2130 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Workshop Chair der 10. International Conference on Computational Models of Argument (COMMA 2024) |Beschreibung EN=Workshop Chair of the 10th International Conference on Computational Models of Argument (COMMA 2024) |Person=Sarah Gaggl |URL=http://comma2024.krportal.org |Start(Jahr)=2024 |Ende(Jahr)=2024 |Rank=★★★ }}“ aktuell
- 10:4910:49, 5. Sep. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2129/en Page created automatically by parser function on page Aktivitaet2129 aktuell Markierung: Neue Weiterleitung
- 10:4910:49, 5. Sep. 2024 Unterschied Versionen +418 Bytes N Aktivitaet2129 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Editorial Advisor für das Journal Theory and Practice of Logic Programming (TPLP) |Beschreibung EN=Editorial Advisor for the journal Theory and Practice of Logic Programming (TPLP) |Person=Sarah Gaggl |URL=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/about-this-journal/editorial-board |Start(Jahr)=2024 |Ende(Jahr)=2028 |Rank=★★★ }}“ aktuell
- 10:4410:44, 5. Sep. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2128/en Page created automatically by parser function on page Aktivitaet2128 aktuell Markierung: Neue Weiterleitung
- 10:4410:44, 5. Sep. 2024 Unterschied Versionen +358 Bytes N Aktivitaet2128 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied des Programmkomitees des 22. International Workshop on Nonmonotonic Reasoning (NMR 2024) |Beschreibung EN=Member of the program committee of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) |Person=Sarah Gaggl |URL=https://nmr.krportal.org/2024/ |Start(Jahr)=2024 |Ende(Jahr)=2024 |Rank=★★★ }}“ aktuell
- 10:4110:41, 5. Sep. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2127/en Page created automatically by parser function on page Aktivitaet2127 aktuell Markierung: Neue Weiterleitung
- 10:4110:41, 5. Sep. 2024 Unterschied Versionen +349 Bytes N Aktivitaet2127 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied des Programmkomitees des ICLP/LPNMR Doctoral Consortiums (ICLP/LPNMR-DC 2024) |Beschreibung EN=Member of the program committee of the ICLP/LPNMR Doctoral Consortium (ICLP/LPNMR-DC 2024) |Person=Sarah Gaggl |URL=https://sites.google.com/view/iclplpnmrdc2024 |Start(Jahr)=2024 |Ende(Jahr)=2024 |Rank=★★★ }}“ aktuell
- 10:3910:39, 5. Sep. 2024 Unterschied Versionen +3 Bytes Aktivitaet2126 Keine Bearbeitungszusammenfassung aktuell
- 10:3810:38, 5. Sep. 2024 Unterschied Versionen −3 Bytes Aktivitaet2109 Keine Bearbeitungszusammenfassung aktuell
- 10:3810:38, 5. Sep. 2024 Unterschied Versionen −3 Bytes Aktivitaet2110 Keine Bearbeitungszusammenfassung aktuell
- 10:3710:37, 5. Sep. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2126/en Page created automatically by parser function on page Aktivitaet2126 aktuell Markierung: Neue Weiterleitung
- 10:3710:37, 5. Sep. 2024 Unterschied Versionen +356 Bytes N Aktivitaet2126 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied des Programmkomitees der 38. AAAI Conference on Artificial Intelligence (AAAI 2024) |Beschreibung EN=Member of the program committee of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024) |Person=Sarah Gaggl |URL=https://aaai.org/conference/aaai/aaai-24/ |Start(Jahr)=2023 |Ende(Jahr)=2024 |Rank=★★ }}“