Von Sarah Gaggl hochgeladene Dateien
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 04:06, 10. Nov. 2024 | 2408.08150v1.pdf (Datei) |  |
736 KB | 1 | |
| 03:59, 10. Nov. 2024 | Full jesse.heyninck 1730540034 1.jpeg (Datei) |  |
302 KB | 1 | |
| 03:52, 10. Nov. 2024 | Gaggl nmr 2024.pdf (Datei) |  |
7,42 MB | 1 | |
| 03:49, 10. Nov. 2024 | Gaggl kr 2024.pdf (Datei) |  |
828 KB | 1 | |
| 03:41, 10. Nov. 2024 | Kr2024-0060-rusovac-et-al.pdf (Datei) |  |
479 KB | 1 | |
| 08:35, 26. Sep. 2024 | Cv gaggl work.pdf (Datei) |  |
5,14 MB | 3 | |
| 09:41, 29. Feb. 2024 | Iascar-incremental-answer-set-counting-by-anytime-refinement-tplp.pdf (Datei) |  |
307 KB | 1 | |
| 15:11, 14. Nov. 2023 | 2311.07233.pdf (Datei) |  |
250 KB | 1 | |
| 07:36, 5. Okt. 2023 | Flex-iccma-descrip.pdf (Datei) |  |
167 KB | 1 | |
| 14:37, 17. Aug. 2023 | BGR2023.pdf (Datei) |  |
341 KB | 1 | |
| 12:47, 21. Okt. 2022 | Aig-hagen-navas.pdf (Datei) |  |
9,21 MB | 1 | |
| 07:31, 11. Okt. 2022 | DGG2022.pdf (Datei) |  |
1,01 MB | 1 | |
| 07:29, 19. Sep. 2022 | 978-3-031-15707-3 17.pdf (Datei) |  |
348 KB | 1 | |
| 15:02, 14. Sep. 2022 | COMMA-2022-NEXAS.pdf (Datei) |  |
3,39 MB | 1 | |
| 15:02, 14. Sep. 2022 | FAIA-353-FAIA220146.pdf (Datei) |  |
557 KB | 1 | |
| 07:58, 30. Aug. 2022 | LPNMR EB.pdf (Datei) |  |
548 KB | 1 | |
| 08:09, 20. Jul. 2022 | S-gaggl-3x2-klein.jpg (Datei) |  |
5,08 MB | 1 | |
| 07:53, 14. Jul. 2022 | Gorczyca MScThesis Signed.pdf (Datei) |  |
1,92 MB | 1 | |
| 07:54, 7. Jul. 2022 | 20506-Article Text-24519-1-2-20220628 (1).pdf (Datei) |  |
176 KB | 1 | |
| 06:52, 1. Jul. 2022 | 13530-Article (PDF)-31028-1-10-20220626.pdf (Datei) |  |
673 KB | 1 | |
| 08:02, 24. Jan. 2022 | FLP-VO12-ASP Solving.mp4 (Datei) |  |
194,23 MB | 1 | |
| 13:22, 19. Jan. 2022 | FLP-VO11-ASP-Stable Models.mp4 (Datei) | |
147,31 MB | 1 | |
| 07:50, 19. Jan. 2022 | 2112.07596.pdf (Datei) |  |
455 KB | 1 | |
| 08:19, 10. Jan. 2022 | FLP-VO10-ASP basics.mp4 (Datei) | |
147,35 MB | 1 | |
| 13:33, 15. Dez. 2021 | FLP-VO9-Termination of Programs.mp4 (Datei) | |
122,42 MB | 1 | |
| 12:09, 11. Dez. 2021 | FLP-VO8-Negation-Declarative Interpretation.mp4 (Datei) | |
202,1 MB | 1 | |
| 12:04, 11. Dez. 2021 | FLP-L7 Negation-Declarative Interpretation.pdf (Datei) |  |
164 KB | 1 | |
| 10:31, 8. Dez. 2021 | FLP-VO7-Declarative Interpretation II.mp4 (Datei) | |
99,15 MB | 1 | |
| 08:09, 22. Nov. 2021 | FLP-VO6-Declarative Interpretation I.mp4 (Datei) | |
124,19 MB | 1 | |
| 08:45, 15. Nov. 2021 | FLP-VO5-Negation-Procedular Interpretation.mp4 (Datei) | |
133,05 MB | 1 | |
| 08:25, 8. Nov. 2021 | FLP-VO4-Pure-Prolog.mp4 (Datei) | |
149,16 MB | 1 | |
| 08:25, 4. Nov. 2021 | BDDGHK2021-Poster.pdf (Datei) |  |
645 KB | BDDGHK2021-Poster | 1 |
| 08:23, 4. Nov. 2021 | BDDGHK2021.pdf (Datei) |  |
401 KB | BDDGHK2021 | 1 |
| 08:21, 1. Nov. 2021 | FLP-VO3-Procedural Interpretation.mp4 (Datei) | |
144,4 MB | 1 | |
| 07:22, 25. Okt. 2021 | FLP-VO2-2-Unification.mp4 (Datei) | |
53,33 MB | 1 | |
| 07:22, 25. Okt. 2021 | FLP-VO2-1-Unification.mp4 (Datei) | |
68,42 MB | 1 | |
| 08:16, 19. Okt. 2021 | Diller2021 Chapter FlexibleDisputeDerivationsWith.pdf (Datei) |  |
527 KB | 1 | |
| 07:20, 18. Okt. 2021 | FLP-VO1-Introduction.mp4 (Datei) | |
118,5 MB | 1 | |
| 08:08, 11. Okt. 2021 | LPArg-Group-Photo.png (Datei) |  |
14,97 MB | 1 | |
| 13:42, 17. Sep. 2020 | Neva demo2020.mp4 (Datei) | |
97,36 MB | 1 | |
| 12:34, 10. Sep. 2020 | Gaggl wiMA eng 260820 w390.pdf (Datei) |  |
94 KB | 1 | |
| 12:33, 10. Sep. 2020 | Gaggl wiMA dt 260820 w390.pdf (Datei) |  |
93 KB | 1 | |
| 09:36, 10. Sep. 2020 | DGRWW2020.pdf (Datei) |  |
150 KB | 1 | |
| 09:25, 10. Sep. 2020 | YGR2020.pdf (Datei) |  |
257 KB | 1 | |
| 12:30, 22. Jun. 2020 | PSSAI2020-L11.mp4 (Datei) | |
103,31 MB | 1 | |
| 12:25, 22. Jun. 2020 | PSSAI2020 L11.pdf (Datei) |  |
1,99 MB | 1 | |
| 11:36, 16. Jun. 2020 | PSSAI2020-L10.mp4 (Datei) | |
147,66 MB | 1 | |
| 11:30, 16. Jun. 2020 | PSSAI2020 L10.pdf (Datei) |  |
965 KB | 1 | |
| 13:16, 9. Jun. 2020 | PSSAI2020-L9.mp4 (Datei) | |
150,05 MB | 1 | |
| 12:58, 9. Jun. 2020 | PSSAI2020 L3.pdf (Datei) |  |
262 KB | error in SA-SAT algorithm corrected | 2 |
