Dateiliste
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Benutzer | Beschreibung | Versionen |
|---|---|---|---|---|---|---|
| 00:11, 5. Aug. 2026 | SR-Concepts2026.pdf (Datei) |  |
1,5 MB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | |
| 13:05, 4. Aug. 2026 | ESWC2026-sparqling-datalog.pdf (Datei) |  |
1,67 MB | Alex Ivliev (Diskussion | Beiträge) | Paper titled "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at ESWC 2026 | 4 |
| 10:00, 4. Aug. 2026 | 2608.00698.pdf (Datei) |  |
722 KB | Martin Diller (Diskussion | Beiträge) | 1 | |
| 17:44, 31. Jul. 2026 | ISWC26-datalog-transformations.pdf (Datei) |  |
556 KB | Alex Ivliev (Diskussion | Beiträge) | Full paper "Recovering Explanations from Transformed Rule-Based Ontologies" published at ISWC'26 | 1 |
| 09:34, 23. Jul. 2026 | TheoLog2026-Vorlesung-25-print.pdf (Datei) |  |
231 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 09:34, 23. Jul. 2026 | TheoLog2026-Vorlesung-25-overlay.pdf (Datei) |  |
251 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 08:24, 22. Jul. 2026 | TheoLog2026-Probeklausur.pdf (Datei) |  |
66 KB | Stephan Mennicke (Diskussion | Beiträge) | Lesefreundlicher Font | 2 |
| 20:41, 21. Jul. 2026 | 2026-KR-Talk-Lukas-Gerlach.pdf (Datei) |  |
746 KB | Lukas Gerlach (Diskussion | Beiträge) | 1 | |
| 15:03, 20. Jul. 2026 | AGT2026-Problems-12.pdf (Datei) |  |
324 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 08:14, 20. Jul. 2026 | TheoLog2026-Vorlesung-24-print.pdf (Datei) |  |
89 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 08:14, 20. Jul. 2026 | TheoLog2026-Vorlesung-24-overlay.pdf (Datei) |  |
107 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 19:29, 17. Jul. 2026 | COMMA26-70.pdf (Datei) |  |
157 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 19:26, 17. Jul. 2026 | COMMA26-9.pdf (Datei) |  |
181 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 15:22, 17. Jul. 2026 | AGT2026-13.pdf (Datei) |  |
284 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 11:26, 17. Jul. 2026 | Closure-argumentation-camera-ready-corrected.pdf (Datei) |  |
306 KB | Sergei Obiedkov (Diskussion | Beiträge) | 1 | |
| 10:58, 16. Jul. 2026 | TheoLog2026-Vorlesung-23-print.pdf (Datei) |  |
134 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 10:58, 16. Jul. 2026 | TheoLog2026-Vorlesung-23-overlay.pdf (Datei) |  |
168 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 10:41, 16. Jul. 2026 | TheoLog2026-Uebung-12.pdf (Datei) |  |
183 KB | Stephan Mennicke (Diskussion | Beiträge) | 1 | |
| 16:02, 13. Jul. 2026 | Alg-in-oberhof.jpg (Datei) |  |
3,41 MB | Johannes Lehmann (Diskussion | Beiträge) | 1 | |
| 13:13, 13. Jul. 2026 | AGT2026-Problems-11.pdf (Datei) |  |
271 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 09:11, 13. Jul. 2026 | TheoLog2026-Vorlesung-22-print.pdf (Datei) |  |
258 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 09:11, 13. Jul. 2026 | TheoLog2026-Vorlesung-22-overlay.pdf (Datei) |  |
296 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 07:53, 13. Jul. 2026 | AGT2026-12.pdf (Datei) |  |
328 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 13:59, 9. Jul. 2026 | Screenshot 2026-07-09 at 15.58.01.png (Datei) |  |
957 KB | Tim Lyon (Diskussion | Beiträge) | 1 | |
| 09:19, 9. Jul. 2026 | TheoLog2026-Vorlesung-21-print.pdf (Datei) |  |
131 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 09:19, 9. Jul. 2026 | TheoLog2026-Vorlesung-21-overlay.pdf (Datei) |  |
177 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 07:25, 9. Jul. 2026 | TheoLog2026-Uebung-11.pdf (Datei) |  |
213 KB | Stephan Mennicke (Diskussion | Beiträge) | 1 | |
| 13:02, 7. Jul. 2026 | 1783214424880.jpg (Datei) |  |
285 KB | Tim Lyon (Diskussion | Beiträge) | 1 | |
| 09:14, 6. Jul. 2026 | TheoLog2026-Vorlesung-20-print.pdf (Datei) |  |
636 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 09:13, 6. Jul. 2026 | TheoLog2026-Vorlesung-20-overlay.pdf (Datei) |  |
681 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 11:10, 2. Jul. 2026 | Pic hannes.jpeg (Datei) |  |
151 KB | Tim Lyon (Diskussion | Beiträge) | 1 | |
| 10:58, 2. Jul. 2026 | TheoLog2026-Vorlesung-19-print.pdf (Datei) |  |
493 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 10:58, 2. Jul. 2026 | TheoLog2026-Vorlesung-19-overlay.pdf (Datei) |  |
542 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 08:45, 30. Jun. 2026 | TheoLog2026-Uebung-10.pdf (Datei) |  |
152 KB | Stephan Mennicke (Diskussion | Beiträge) | 1 | |
| 18:46, 29. Jun. 2026 | AGT2026-Problems-10.pdf (Datei) |  |
142 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 09:12, 29. Jun. 2026 | TheoLog2026-Vorlesung-18-print.pdf (Datei) |  |
148 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 09:12, 29. Jun. 2026 | TheoLog2026-Vorlesung-18-overlay.pdf (Datei) |  |
231 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 08:39, 29. Jun. 2026 | AGT2026-11.pdf (Datei) |  |
352 KB | Hannes Straß (Diskussion | Beiträge) | 2 | |
| 16:55, 25. Jun. 2026 | TheoLog2026-Uebung-09.pdf (Datei) |  |
140 KB | Stephan Mennicke (Diskussion | Beiträge) | 1 | |
| 11:49, 22. Jun. 2026 | AGT2026-Problems-09.pdf (Datei) |  |
159 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 08:09, 22. Jun. 2026 | AGT2026-10.pdf (Datei) |  |
312 KB | Hannes Straß (Diskussion | Beiträge) | 1 | |
| 07:31, 22. Jun. 2026 | TheoLog2026-Vorlesung-17-print.pdf (Datei) |  |
188 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 07:31, 22. Jun. 2026 | TheoLog2026-Vorlesung-17-overlay.pdf (Datei) |  |
246 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 19:31, 20. Jun. 2026 | LeisegangMeyerRudolph-NMR2026.pdf (Datei) |  |
884 KB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | |
| 14:11, 19. Jun. 2026 | Semeco trustmod.png (Datei) |  |
55 KB | Andrea Kühn (Diskussion | Beiträge) | 1 | |
| 11:01, 18. Jun. 2026 | TheoLog2026-Vorlesung-16-print.pdf (Datei) |  |
149 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 11:00, 18. Jun. 2026 | TheoLog2026-Vorlesung-16-overlay.pdf (Datei) |  |
198 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | |
| 08:28, 17. Jun. 2026 | CONCEPTS2026-Rudolph-PCF.pdf (Datei) |  |
1,48 MB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | |
| 15:13, 15. Jun. 2026 | Concepts-26.pdf (Datei) |  |
450 KB | Sergei Obiedkov (Diskussion | Beiträge) | 1 | |
| 15:02, 15. Jun. 2026 | Closure-argumentation-camera-ready.pdf (Datei) |  |
306 KB | Sergei Obiedkov (Diskussion | Beiträge) | 1 |
