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 |
|---|---|---|---|---|---|
| 10:41, 29. Feb. 2024 | Iascar-incremental-answer-set-counting-by-anytime-refinement-tplp.pdf (Datei) |  |
307 KB | 1 | |
| 16:11, 14. Nov. 2023 | 2311.07233.pdf (Datei) |  |
250 KB | 1 | |
| 08:36, 5. Okt. 2023 | Flex-iccma-descrip.pdf (Datei) |  |
167 KB | 1 | |
| 15:37, 17. Aug. 2023 | BGR2023.pdf (Datei) |  |
341 KB | 1 | |
| 14:27, 21. Okt. 2022 | Cv gaggl work.pdf (Datei) |  |
5,13 MB | 2 | |
| 13:47, 21. Okt. 2022 | Aig-hagen-navas.pdf (Datei) |  |
9,21 MB | 1 | |
| 08:31, 11. Okt. 2022 | DGG2022.pdf (Datei) |  |
1,01 MB | 1 | |
| 08:29, 19. Sep. 2022 | 978-3-031-15707-3 17.pdf (Datei) |  |
348 KB | 1 | |
| 16:02, 14. Sep. 2022 | COMMA-2022-NEXAS.pdf (Datei) |  |
3,39 MB | 1 | |
| 16:02, 14. Sep. 2022 | FAIA-353-FAIA220146.pdf (Datei) |  |
557 KB | 1 | |
| 08:58, 30. Aug. 2022 | LPNMR EB.pdf (Datei) |  |
548 KB | 1 | |
| 09:09, 20. Jul. 2022 | S-gaggl-3x2-klein.jpg (Datei) |  |
5,08 MB | 1 | |
| 08:53, 14. Jul. 2022 | Gorczyca MScThesis Signed.pdf (Datei) |  |
1,92 MB | 1 | |
| 08:54, 7. Jul. 2022 | 20506-Article Text-24519-1-2-20220628 (1).pdf (Datei) |  |
176 KB | 1 | |
| 07:52, 1. Jul. 2022 | 13530-Article (PDF)-31028-1-10-20220626.pdf (Datei) |  |
673 KB | 1 | |
| 09:02, 24. Jan. 2022 | FLP-VO12-ASP Solving.mp4 (Datei) |  |
194,23 MB | 1 | |
| 14:22, 19. Jan. 2022 | FLP-VO11-ASP-Stable Models.mp4 (Datei) | |
147,31 MB | 1 | |
| 08:50, 19. Jan. 2022 | 2112.07596.pdf (Datei) |  |
455 KB | 1 | |
| 09:19, 10. Jan. 2022 | FLP-VO10-ASP basics.mp4 (Datei) | |
147,35 MB | 1 | |
| 14:33, 15. Dez. 2021 | FLP-VO9-Termination of Programs.mp4 (Datei) | |
122,42 MB | 1 | |
| 13:09, 11. Dez. 2021 | FLP-VO8-Negation-Declarative Interpretation.mp4 (Datei) | |
202,1 MB | 1 | |
| 13:04, 11. Dez. 2021 | FLP-L7 Negation-Declarative Interpretation.pdf (Datei) |  |
164 KB | 1 | |
| 11:31, 8. Dez. 2021 | FLP-VO7-Declarative Interpretation II.mp4 (Datei) | |
99,15 MB | 1 | |
| 09:09, 22. Nov. 2021 | FLP-VO6-Declarative Interpretation I.mp4 (Datei) | |
124,19 MB | 1 | |
| 09:45, 15. Nov. 2021 | FLP-VO5-Negation-Procedular Interpretation.mp4 (Datei) | |
133,05 MB | 1 | |
| 09:25, 8. Nov. 2021 | FLP-VO4-Pure-Prolog.mp4 (Datei) | |
149,16 MB | 1 | |
| 09:25, 4. Nov. 2021 | BDDGHK2021-Poster.pdf (Datei) |  |
645 KB | BDDGHK2021-Poster | 1 |
| 09:23, 4. Nov. 2021 | BDDGHK2021.pdf (Datei) |  |
401 KB | BDDGHK2021 | 1 |
| 09:21, 1. Nov. 2021 | FLP-VO3-Procedural Interpretation.mp4 (Datei) | |
144,4 MB | 1 | |
| 08:22, 25. Okt. 2021 | FLP-VO2-2-Unification.mp4 (Datei) | |
53,33 MB | 1 | |
| 08:22, 25. Okt. 2021 | FLP-VO2-1-Unification.mp4 (Datei) | |
68,42 MB | 1 | |
| 09:16, 19. Okt. 2021 | Diller2021 Chapter FlexibleDisputeDerivationsWith.pdf (Datei) |  |
527 KB | 1 | |
| 08:20, 18. Okt. 2021 | FLP-VO1-Introduction.mp4 (Datei) | |
118,5 MB | 1 | |
| 09:08, 11. Okt. 2021 | LPArg-Group-Photo.png (Datei) |  |
14,97 MB | 1 | |
| 14:42, 17. Sep. 2020 | Neva demo2020.mp4 (Datei) | |
97,36 MB | 1 | |
| 13:34, 10. Sep. 2020 | Gaggl wiMA eng 260820 w390.pdf (Datei) |  |
94 KB | 1 | |
| 13:33, 10. Sep. 2020 | Gaggl wiMA dt 260820 w390.pdf (Datei) |  |
93 KB | 1 | |
| 10:36, 10. Sep. 2020 | DGRWW2020.pdf (Datei) |  |
150 KB | 1 | |
| 10:25, 10. Sep. 2020 | YGR2020.pdf (Datei) |  |
257 KB | 1 | |
| 13:30, 22. Jun. 2020 | PSSAI2020-L11.mp4 (Datei) | |
103,31 MB | 1 | |
| 13:25, 22. Jun. 2020 | PSSAI2020 L11.pdf (Datei) |  |
1,99 MB | 1 | |
| 12:36, 16. Jun. 2020 | PSSAI2020-L10.mp4 (Datei) | |
147,66 MB | 1 | |
| 12:30, 16. Jun. 2020 | PSSAI2020 L10.pdf (Datei) |  |
965 KB | 1 | |
| 14:16, 9. Jun. 2020 | PSSAI2020-L9.mp4 (Datei) | |
150,05 MB | 1 | |
| 13:58, 9. Jun. 2020 | PSSAI2020 L3.pdf (Datei) |  |
262 KB | error in SA-SAT algorithm corrected | 2 |
| 13:47, 9. Jun. 2020 | PSSAI2020 L9.pdf (Datei) |  |
5,34 MB | 1 | |
| 09:11, 8. Jun. 2020 | Pgorczyca photo.jpg (Datei) |  |
269 KB | 1 | |
| 16:17, 25. Mai 2020 | PSSAI2020-L8.mp4 (Datei) | |
139,45 MB | 1 | |
| 16:08, 25. Mai 2020 | PSSAI2020 L8.pdf (Datei) |  |
604 KB | 1 | |
| 15:45, 18. Mai 2020 | PSSAI2020-L7-2.mp4 (Datei) | |
59,41 MB | 1 |
