Account
Edit tools
Intern
SucheSearch
English

Von Lukas Gerlach hochgeladene Dateien

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Diese Spezialseite listet alle hochgeladenen Dateien auf.

Dateiliste
Erste SeiteVorherige SeiteNächste SeiteLetzte Seite
Datum Name Vorschaubild Größe Beschreibung Versionen
09:10, 24. Nov. 2025 KR-2025-Verifying-Datalog-Reasoning-with-Lean-Slides.pdf (Datei) 417 KB   1
09:07, 24. Nov. 2025 KR-2025-About-the-Multi-Head-Linear-Restricted-Chase-Termination-Slides.pdf (Datei) 545 KB   1
06:15, 23. Sep. 2025 KR-2025-Linear-Multi-Head-Termination.pdf (Datei) 490 KB   1
06:52, 1. Sep. 2025 2025-DL-Presentation-Paper-5.pdf (Datei) 235 KB   1
06:43, 1. Sep. 2025 DL-2025-Camera-Ready-5.pdf (Datei) 175 KB   1
06:37, 1. Sep. 2025 KR-2025-Camera-Ready-389.pdf (Datei) 123 KB   1
06:31, 16. Jul. 2025 ITP-2025-Paper-116-Camera-Ready.pdf (Datei) 734 KB   4
05:52, 9. Jul. 2025 DBT-2025-Exercise-12-Slides.pdf (Datei) 160 KB   1
14:50, 1. Jul. 2025 DBT-2025-Exercise-12.pdf (Datei) 264 KB   1
14:48, 1. Jul. 2025 DBT-2025-Exercise-11-Slides.pdf (Datei) 144 KB   1
14:48, 1. Jul. 2025 DBT-2025-Exercise-10-Slides.pdf (Datei) 190 KB   2
14:32, 24. Jun. 2025 DBT-2025-Exercise-11.pdf (Datei) 300 KB   1
14:37, 17. Jun. 2025 DBT-2025-Exercise-09-Slides.pdf (Datei) 166 KB   1
11:17, 17. Jun. 2025 DBT-2025-Exercise-10.pdf (Datei) 233 KB   1
09:25, 16. Jun. 2025 2025-PODS-Carral-Gerlach-Larroque-Thomazo-Presentation.pdf (Datei) 235 KB   1
06:58, 4. Jun. 2025 DBT-2025-Exercise-08-Slides.pdf (Datei) 140 KB   1
11:07, 3. Jun. 2025 DBT-2025-Exercise-09.pdf (Datei) 258 KB   1
08:19, 28. Mai 2025 DBT-2025-Exercise-07-Slides.pdf (Datei) 98 KB   1
10:43, 27. Mai 2025 DBT-2025-Exercise-08.pdf (Datei) 257 KB   1
14:47, 20. Mai 2025 DBT-2025-Exercise-07.pdf (Datei) 296 KB   1
14:47, 20. Mai 2025 DBT-2025-Exercise-06-Slides.pdf (Datei) 154 KB   1
14:30, 13. Mai 2025 DBT-2025-Exercise-05-Slides.pdf (Datei) 421 KB   1
08:19, 13. Mai 2025 DBT-2025-Exercise-06.pdf (Datei) 223 KB   1
05:29, 8. Mai 2025 DBT-2025-Exercise-04-Slides.pdf (Datei) 363 KB   1
11:29, 6. Mai 2025 DBT-2025-Exercise-05.pdf (Datei) 464 KB   1
11:23, 6. Mai 2025 DBT-2025-Exercise-04.pdf (Datei) 297 KB   2
14:34, 29. Apr. 2025 DBT-2025-Exercise-03-Slides.pdf (Datei) 220 KB   1
14:24, 22. Apr. 2025 DBT-2025-Exercise-02-Slides.pdf (Datei) 386 KB   1
06:12, 22. Apr. 2025 DBT-2025-Exercise-03.pdf (Datei) 259 KB   1
05:16, 16. Apr. 2025 DBT-2025-Exercise-02.pdf (Datei) 252 KB   1
05:16, 16. Apr. 2025 DBT-2025-Exercise-01-Slides.pdf (Datei) 273 KB   1
06:00, 14. Apr. 2025 2025-04-Gerlach-DL-Seminar.pdf (Datei) 374 KB   2
05:48, 9. Apr. 2025 DBT-2025-Exercise-01.pdf (Datei) 292 KB   1
05:44, 8. Apr. 2025 2025-PODS-Carral-Gerlach-Larroque-Thomazo-Technical-Report.pdf (Datei) 707 KB   1
12:23, 27. Mär. 2025 Gerlach-Leaning-In-2025-Talk-Slides.pdf (Datei) 133 KB   1
09:11, 21. Jan. 2025 NMR2024-Presentation-Gerlach.pdf (Datei) 262 KB   1
05:09, 22. Okt. 2024 IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf (Datei) 676 KB   1
06:05, 27. Sep. 2024 2024-XLoKR-Submission-5-camera-ready.pdf (Datei) 525 KB   1
06:32, 24. Sep. 2024 NMR-2024-Submission-8-camera-ready.pdf (Datei) 840 KB   1
05:54, 9. Jul. 2024 IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf (Datei) 405 KB   2
06:30, 18. Apr. 2024 RestrictedChaseUniversalModelsInLean.pdf (Datei) 241 KB   2
07:29, 30. Jan. 2024 CT2023-Lecture-27-print.pdf (Datei) 138 KB   1
07:29, 30. Jan. 2024 CT2023-Lecture-27-overlay.pdf (Datei) 154 KB   1
07:32, 22. Jan. 2024 CT2023-Lecture-26-print.pdf (Datei) 186 KB   1
07:32, 22. Jan. 2024 CT2023-Lecture-26-overlay.pdf (Datei) 243 KB   1
07:09, 12. Jan. 2024 CT23-sheet10.pdf (Datei) 302 KB   1
07:09, 12. Jan. 2024 CT2023-Lecture-24-print.pdf (Datei) 205 KB   1
07:08, 12. Jan. 2024 CT2023-Lecture-24-overlay.pdf (Datei) 267 KB   1
16:12, 4. Jan. 2024 CT23-sheet09.pdf (Datei) 265 KB   1
14:25, 13. Dez. 2023 CT23-sheet08.pdf (Datei) 291 KB   1
Erste SeiteVorherige SeiteNächste SeiteLetzte Seite
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Dateien/Lukas_Gerlach“