Von Lukas Gerlach hochgeladene Dateien
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
---|---|---|---|---|---|
07:54, 9. Jul. 2024 | IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf (Datei) | ![]() |
405 KB | 2 | |
08:30, 18. Apr. 2024 | RestrictedChaseUniversalModelsInLean.pdf (Datei) | ![]() |
241 KB | 2 | |
09:29, 30. Jan. 2024 | CT2023-Lecture-27-print.pdf (Datei) | ![]() |
138 KB | 1 | |
09:29, 30. Jan. 2024 | CT2023-Lecture-27-overlay.pdf (Datei) | ![]() |
154 KB | 1 | |
09:32, 22. Jan. 2024 | CT2023-Lecture-26-print.pdf (Datei) | ![]() |
186 KB | 1 | |
09:32, 22. Jan. 2024 | CT2023-Lecture-26-overlay.pdf (Datei) | ![]() |
243 KB | 1 | |
09:09, 12. Jan. 2024 | CT23-sheet10.pdf (Datei) | ![]() |
302 KB | 1 | |
09:09, 12. Jan. 2024 | CT2023-Lecture-24-print.pdf (Datei) | ![]() |
205 KB | 1 | |
09:08, 12. Jan. 2024 | CT2023-Lecture-24-overlay.pdf (Datei) | ![]() |
267 KB | 1 | |
18:12, 4. Jan. 2024 | CT23-sheet09.pdf (Datei) | ![]() |
265 KB | 1 | |
16:25, 13. Dez. 2023 | CT23-sheet08.pdf (Datei) | ![]() |
291 KB | 1 | |
16:19, 30. Nov. 2023 | CT23-sheet06.pdf (Datei) | ![]() |
261 KB | 1 | |
16:17, 30. Nov. 2023 | CT2023-Lecture-16-print.pdf (Datei) | ![]() |
172 KB | 1 | |
16:17, 30. Nov. 2023 | CT2023-Lecture-16-overlay.pdf (Datei) | ![]() |
205 KB | 1 | |
16:16, 30. Nov. 2023 | CT2023-Lecture-15-print.pdf (Datei) | ![]() |
141 KB | 1 | |
16:15, 30. Nov. 2023 | CT2023-Lecture-15-overlay.pdf (Datei) | ![]() |
197 KB | 1 | |
09:15, 20. Nov. 2023 | CT2023-Lecture-12-print.pdf (Datei) | ![]() |
144 KB | 1 | |
09:15, 20. Nov. 2023 | CT2023-Lecture-12-overlay.pdf (Datei) | ![]() |
193 KB | 1 | |
09:15, 20. Nov. 2023 | CT2023-Lecture-11-print.pdf (Datei) | ![]() |
171 KB | 1 | |
09:15, 20. Nov. 2023 | CT2023-Lecture-11-overlay.pdf (Datei) | ![]() |
196 KB | 1 | |
09:49, 13. Nov. 2023 | CT2023-Lecture-10-print.pdf (Datei) | ![]() |
195 KB | 1 | |
09:49, 13. Nov. 2023 | CT2023-Lecture-10-overlay.pdf (Datei) | ![]() |
301 KB | 1 | |
09:49, 13. Nov. 2023 | CT2023-Lecture-09-print.pdf (Datei) | ![]() |
261 KB | 1 | |
09:48, 13. Nov. 2023 | CT2023-Lecture-09-overlay.pdf (Datei) | ![]() |
301 KB | 1 | |
09:42, 30. Okt. 2023 | CT2023-Lecture-06-overlay.pdf (Datei) | ![]() |
386 KB | 1 | |
09:42, 30. Okt. 2023 | CT2023-Lecture-06-print.pdf (Datei) | ![]() |
347 KB | 1 | |
15:44, 23. Okt. 2023 | DL-2023-Gerlach-Carral-Talk.pdf (Datei) | ![]() |
641 KB | 1 | |
15:43, 23. Okt. 2023 | DL-2023-Submission-4173-Gerlach-Carral.pdf (Datei) | ![]() |
814 KB | 1 | |
14:23, 17. Okt. 2023 | CT2023-Lecture-04-overlay.pdf (Datei) | ![]() |
228 KB | 2 | |
14:23, 17. Okt. 2023 | CT2023-Lecture-04-print.pdf (Datei) | ![]() |
145 KB | 2 | |
13:57, 16. Okt. 2023 | CT2023-Lecture-03-overlay.pdf (Datei) | ![]() |
331 KB | 2 | |
13:57, 16. Okt. 2023 | CT2023-Lecture-03-print.pdf (Datei) | ![]() |
210 KB | 2 | |
08:45, 16. Okt. 2023 | CT2023-Lecture-02-overlay.pdf (Datei) | ![]() |
294 KB | 1 | |
08:45, 16. Okt. 2023 | CT2023-Lecture-01-overlay.pdf (Datei) | ![]() |
385 KB | 1 | |
11:28, 10. Okt. 2023 | CT2023-Lecture-02-print.pdf (Datei) | ![]() |
173 KB | 1 | |
11:28, 10. Okt. 2023 | CT2023-Lecture-01-print.pdf (Datei) | ![]() |
290 KB | 1 | |
14:25, 5. Sep. 2023 | Gerlach-carral-kr-2023-talk.pdf (Datei) | ![]() |
839 KB | 1 | |
16:27, 8. Aug. 2023 | Xlokr-2023-ellmauthaler-gerlach-submission2105.pdf (Datei) | ![]() |
447 KB | 1 | |
09:01, 13. Jul. 2023 | KR-2023-Submission-3571-Gerlach-Carral-Technical-Report.pdf (Datei) | ![]() |
375 KB | 2 | |
08:49, 8. Mär. 2023 | AAAI2023-Gerlach-Carral-Slides.pdf (Datei) | ![]() |
744 KB | 1 | |
08:48, 8. Mär. 2023 | AAAI2023-Gerlach-Carral.pdf (Datei) | ![]() |
381 KB | 4 | |
10:08, 11. Jan. 2023 | Lohrmann-Medal.jpg (Datei) | ![]() |
884 KB | 1 | |
13:57, 1. Apr. 2022 | InnoSale Logo original.png (Datei) | ![]() |
6 KB | 1 | |
11:08, 19. Jan. 2022 | Ifak logo.png (Datei) | ![]() |
23 KB | 2 | |
10:32, 19. Jan. 2022 | Tarakos logo.png (Datei) | ![]() |
13 KB | 2 | |
10:21, 19. Jan. 2022 | Nativ logo.png (Datei) | ![]() |
22 KB | 1 | |
10:17, 19. Jan. 2022 | Iotiq logo.png (Datei) | ![]() |
6 KB | 1 | |
10:15, 19. Jan. 2022 | Em ag logo.png (Datei) | ![]() |
8 KB | 1 | |
10:05, 19. Jan. 2022 | Software ag logo.png (Datei) | ![]() |
12 KB | 1 | |
10:03, 19. Jan. 2022 | Demag logo.svg (Datei) | ![]() |
2 KB | 1 |