Benutzerbeiträge von „Sarah Gaggl“
Aus International Center for Computational Logic
Für Sarah Gaggl Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
16. April 2025
- 13:3813:38, 16. Apr. 2025 Unterschied Versionen +103 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung aktuell
15. April 2025
- 14:0214:02, 15. Apr. 2025 Unterschied Versionen +4 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 14:0214:02, 15. Apr. 2025 Unterschied Versionen +150 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
14. April 2025
- 19:5819:58, 14. Apr. 2025 Unterschied Versionen +582 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 19:0319:03, 14. Apr. 2025 Unterschied Versionen +177 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 17:1217:12, 14. Apr. 2025 Unterschied Versionen +230 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
7. April 2025
- 08:4608:46, 7. Apr. 2025 Unterschied Versionen 0 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 08:4408:44, 7. Apr. 2025 Unterschied Versionen +1.293 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 08:3308:33, 7. Apr. 2025 Unterschied Versionen +61 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 08:3208:32, 7. Apr. 2025 Unterschied Versionen +132 Bytes Seminar Logic-Based Knowledge Representation (SS2025) Keine Bearbeitungszusammenfassung
- 08:3008:30, 7. Apr. 2025 Unterschied Versionen +16 Bytes N Seminar Logic-Based Knowledge Representation (SS2025)/en Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2025) aktuell
- 08:3008:30, 7. Apr. 2025 Unterschied Versionen +1.319 Bytes N Seminar Logic-Based Knowledge Representation (SS2025) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Term=SS |Year=2025 |Module=CMS-SEM-A, INF-04-HS, INF-AQUA, INF-D-940, INF-PM-FOR |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat, nach Modulbeschreibung |Description====Course Description=== This seminar intends to introduce to selected topics of an active research areas in t…“
6. Februar 2025
- 13:5113:51, 6. Feb. 2025 Unterschied Versionen +130 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung aktuell
- 13:4913:49, 6. Feb. 2025 Unterschied Versionen −1 Byte Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 13:4013:40, 6. Feb. 2025 Unterschied Versionen +4 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 13:3813:38, 6. Feb. 2025 Unterschied Versionen +29 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 11:4311:43, 6. Feb. 2025 Unterschied Versionen +8 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
- 11:4111:41, 6. Feb. 2025 Unterschied Versionen +220 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
30. Januar 2025
- 10:3010:30, 30. Jan. 2025 Unterschied Versionen +28 Bytes N Aktivitaet2136/en Page created automatically by parser function on page Aktivitaet2136 aktuell Markierung: Neue Weiterleitung
- 10:3010:30, 30. Jan. 2025 Unterschied Versionen +386 Bytes N Aktivitaet2136 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied des Programmkomitees der 19. European Conference on Logics in Artificial Intelligence (JELIA 2025) |Beschreibung EN=Member of the program committee of the 19th European Conference on Logics in Artificial Intelligence (JELIA 2025) |Person=Sarah Gaggl |URL=https://viam.science.tsu.ge/jelia2025/ |Start(Jahr)=2025 |Ende(Jahr)=2025 |Rank=★★★ }}“ aktuell
- 10:2610:26, 30. Jan. 2025 Unterschied Versionen +28 Bytes N Aktivitaet2135/en Page created automatically by parser function on page Aktivitaet2135 aktuell Markierung: Neue Weiterleitung
- 10:2610:26, 30. Jan. 2025 Unterschied Versionen +310 Bytes N Aktivitaet2135 Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Co-Chair der Herbstschule für Logic Programming |Beschreibung EN=Co-Chair of the Autumn School on Logic Programming |Person=Sarah Gaggl |URL=https://iclp25.demacs.unical.it/affiliated-events/autumn-school-on-logic-programming |Start(Jahr)=2025 |Ende(Jahr)=2025 |Rank=★★★ }}“ aktuell
27. Januar 2025
- 12:3212:32, 27. Jan. 2025 Unterschied Versionen −12 Bytes Sarah Alice Gaggl Keine Bearbeitungszusammenfassung aktuell
15. Januar 2025
- 13:1913:19, 15. Jan. 2025 Unterschied Versionen −3 Bytes Inproceedings3387 Keine Bearbeitungszusammenfassung aktuell
- 13:1813:18, 15. Jan. 2025 Unterschied Versionen +71 Bytes Inproceedings3387 Keine Bearbeitungszusammenfassung
- 13:1813:18, 15. Jan. 2025 Unterschied Versionen +70 Bytes Inproceedings3387 Keine Bearbeitungszusammenfassung
19. Dezember 2024
- 15:5915:59, 19. Dez. 2024 Unterschied Versionen +21 Bytes Techreport3052 Keine Bearbeitungszusammenfassung aktuell
- 15:5815:58, 19. Dez. 2024 Unterschied Versionen +1.515 Bytes N Techreport3052 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Elisa |ErsterAutorNachname=Böhl |FurtherAuthors=Stefan Ellmauthaler; Sarah Alice Gaggl }} {{Techreport |Title=Winning Snake: Design Choices in Multi-Shot ASP |Year=2024 |Month=August |Institution=arXiv.org |Type=to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024 |Archivierungsnummer=arXiv:2408.08150 }} {{Publikation Details |Abstract=Answer set programming is a well-unders…“
10. Dezember 2024
- 13:3313:33, 10. Dez. 2024 Unterschied Versionen +14 Bytes Advanced Problem Solving and Search (WS2024) Keine Bearbeitungszusammenfassung
10. November 2024
- 05:1905:19, 10. Nov. 2024 Unterschied Versionen +96 Bytes Misc3083 Keine Bearbeitungszusammenfassung aktuell
- 05:1305:13, 10. Nov. 2024 Unterschied Versionen +28 Bytes N Aktivitaet2134/en Page created automatically by parser function on page Aktivitaet2134 aktuell Markierung: Neue Weiterleitung
- 05:1305: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
- 05:0605:06, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:2408.08150v1.pdf Keine Bearbeitungszusammenfassung aktuell
- 05:0005:00, 10. Nov. 2024 Unterschied Versionen 0 Bytes Inproceedings3396 Keine Bearbeitungszusammenfassung aktuell
- 04:5904:59, 10. Nov. 2024 Unterschied Versionen +42 Bytes Misc3083 Keine Bearbeitungszusammenfassung
- 04:5904:59, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Full jesse.heyninck 1730540034 1.jpeg Keine Bearbeitungszusammenfassung aktuell
- 04:5504:55, 10. Nov. 2024 Unterschied Versionen −23 Bytes Misc3083 Keine Bearbeitungszusammenfassung
- 04:5404:54, 10. Nov. 2024 Unterschied Versionen +37 Bytes Misc3083 Keine Bearbeitungszusammenfassung
- 04:5304:53, 10. Nov. 2024 Unterschied Versionen +22 Bytes N Misc3083/en Page created automatically by parser function on page Misc3083 aktuell Markierung: Neue Weiterleitung
- 04:5304: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…“
- 04:5204:52, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Gaggl nmr 2024.pdf Keine Bearbeitungszusammenfassung aktuell
- 04:4904:49, 10. Nov. 2024 Unterschied Versionen −6 Bytes Inproceedings3396 Keine Bearbeitungszusammenfassung
- 04:4904:49, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Gaggl kr 2024.pdf Keine Bearbeitungszusammenfassung aktuell
- 04:4704:47, 10. Nov. 2024 Unterschied Versionen +350 Bytes Inproceedings3396 Keine Bearbeitungszusammenfassung
- 04:4104:41, 10. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:Kr2024-0060-rusovac-et-al.pdf Keine Bearbeitungszusammenfassung aktuell
15. Oktober 2024
- 12:3412:34, 15. Okt. 2024 Unterschied Versionen +111 Bytes Article3096 Keine Bearbeitungszusammenfassung aktuell
14. Oktober 2024
- 08:5908:59, 14. Okt. 2024 Unterschied Versionen +52 Bytes Article3096 Keine Bearbeitungszusammenfassung
4. Oktober 2024
- 07:3607:36, 4. Okt. 2024 Unterschied Versionen −3 Bytes Aktivitaet2077 Keine Bearbeitungszusammenfassung aktuell
26. September 2024
- 09:3509: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
- 09:3109:31, 26. Sep. 2024 Unterschied Versionen +28 Bytes N Techreport3052/en Page created automatically by parser function on page Techreport3052 aktuell Markierung: Neue Weiterleitung