Neue Dateien

Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.

AGT2026-02.pdf Hannes Straß
10:06, 17. Apr. 2026
943 × 589, 27 Seiten; 329 KB
TheoLog2026-Uebung-01.pdf Stephan Mennicke
08:22, 17. Apr. 2026
1.239 × 1.752, 3 Seiten; 215 KB
KR-2026-Camera-Ready-178-Chase-In-Lean.pdf Lukas Gerlach
06:57, 17. Apr. 2026
1.275 × 1.650, 11 Seiten; 258 KB
TheoLog2026-Vorlesung-02-print.pdf Markus Krötzsch
19:41, 15. Apr. 2026
943 × 589, 30 Seiten; 159 KB
TheoLog2026-Vorlesung-02-overlay.pdf Markus Krötzsch
19:41, 15. Apr. 2026
943 × 589, 49 Seiten; 192 KB
AGT2026-Problems-01.pdf Hannes Straß
08:13, 14. Apr. 2026
1.239 × 1.752, 2 Seiten; 143 KB
SeminarLBKR2026 L1.pdf Sarah Gaggl
15:14, 13. Apr. 2026
943 × 589, 6 Seiten; 240 KB
AGT2026-01.pdf Hannes Straß
13:21, 13. Apr. 2026
943 × 589, 27 Seiten; 586 KB
TheoLog2026-Vorlesung-01-print.pdf Markus Krötzsch
12:03, 13. Apr. 2026
943 × 589, 30 Seiten; 109 KB
TheoLog2026-Vorlesung-01-overlay.pdf Markus Krötzsch
12:02, 13. Apr. 2026
943 × 589, 43 Seiten; 127 KB
ER-Rudolph-Lecture01-SS26.pdf Sebastian Rudolph
11:09, 12. Apr. 2026
1.500 × 1.125, 39 Seiten; 568 KB
00 organization 26.pdf Sebastian Rudolph
18:00, 11. Apr. 2026
754 × 566, 5 Seiten; 41 KB
20260127 CeTI Logo-Signet RGB-t.svg Johannes Lehmann
13:25, 27. Mär. 2026
512 × 392; 1 KB
Human AI Ranks.pdf Jonas Karge
12:10, 27. Mär. 2026
943 × 589, 35 Seiten; 929 KB
Arxiv TPLP N3.pdf Stephan Mennicke
15:49, 12. Mär. 2026
1.027 × 1.458, 34 Seiten; 650 KB
Iccma25.pdf Sergei Obiedkov
10:01, 11. Mär. 2026
1.275 × 1.650, 2 Seiten; 142 KB
Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf Markus Krötzsch
07:42, 6. Mär. 2026
1.275 × 1.650, 21 Seiten; 1,66 MB
Lukas-Gerlach-Profile-Picture.jpg Lukas Gerlach
07:20, 4. Mär. 2026
225 × 338; 36 KB
TGD2026.pdf Alex Ivliev
15:45, 27. Feb. 2026
1.239 × 1.752, 8 Seiten; 993 KB
Thesis Topics Lyon.pdf Tim Lyon
10:58, 26. Feb. 2026
1.239 × 1.752; 105 KB
Paper journal approx reasoning v4.pdf Sergei Obiedkov
10:08, 24. Feb. 2026
1.275 × 1.650, 33 Seiten; 475 KB
2307.01609v1.pdf Sergei Obiedkov
10:03, 24. Feb. 2026
1.275 × 1.650, 13 Seiten; 178 KB
Paper27.pdf Sergei Obiedkov
09:53, 24. Feb. 2026
1.239 × 1.752, 5 Seiten; 692 KB
Abstract7.pdf Sergei Obiedkov
09:40, 24. Feb. 2026
1.239 × 1.752, 5 Seiten; 653 KB
Tutorial.pdf Sergei Obiedkov
09:32, 24. Feb. 2026
1.239 × 1.752, 8 Seiten; 1,15 MB
Towards-mass-spectrum-analysis-with-asp.pdf Nils Küchenmeister
16:08, 19. Feb. 2026
1.027 × 1.458, 23 Seiten; 5,29 MB
BaBo-LTCS-25-03.pdf Filippo De Bortoli
10:40, 14. Feb. 2026
1.239 × 1.752, 31 Seiten; 760 KB
BaBoBoKo-CADE-25.pdf Filippo De Bortoli
10:26, 14. Feb. 2026
1.239 × 1.752, 19 Seiten; 613 KB
De Bortoli-Dissertation.pdf Filippo De Bortoli
16:44, 13. Feb. 2026
1.239 × 1.752, 147 Seiten; 1,3 MB
BaBo-FroCoS-25 Talk.pdf Filippo De Bortoli
16:40, 13. Feb. 2026
1.652 × 929, 65 Seiten; 2,82 MB
BaBo-FroCoS-25.pdf Filippo De Bortoli
16:38, 13. Feb. 2026
1.239 × 1.752, 18 Seiten; 521 KB
FS2025-Probeklausur-Slides.pdf Stephan Mennicke
08:27, 11. Feb. 2026
943 × 589, 44 Seiten; 336 KB
FS2025-Repetitorium-02.pdf Stephan Mennicke
05:26, 5. Feb. 2026
943 × 589, 24 Seiten; 123 KB
CT2025-Lecture-29-print.pdf Sergei Obiedkov
14:10, 3. Feb. 2026
943 × 589, 25 Seiten; 147 KB
CT2025-Lecture-29-overlay.pdf Sergei Obiedkov
14:10, 3. Feb. 2026
943 × 589, 82 Seiten; 250 KB
Gorczyca-strass-aaai-2026.pdf Piotr Gorczyca
09:39, 2. Feb. 2026
479 × 268, 52 Seiten; 5,11 MB
Kg2025-exercise-12.pdf Maximilian Marx
02:25, 1. Feb. 2026
1.239 × 1.752, 2 Seiten; 229 KB
CT2025-Lecture-28-print.pdf Sergei Obiedkov
16:08, 30. Jan. 2026
943 × 589, 10 Seiten; 121 KB
CT2025-Lecture-28-overlay.pdf Sergei Obiedkov
16:08, 30. Jan. 2026
943 × 589, 24 Seiten; 149 KB
FS2025-Vorlesung-26-print.pdf Markus Krötzsch
13:24, 29. Jan. 2026
943 × 589, 23 Seiten; 97 KB
FS2025-Vorlesung-26-overlay.pdf Markus Krötzsch
13:24, 29. Jan. 2026
943 × 589, 42 Seiten; 121 KB
CT2025-Lecture-27-print.pdf Sergei Obiedkov
10:31, 29. Jan. 2026
943 × 589, 41 Seiten; 296 KB
CT2025-Lecture-27-overlay.pdf Sergei Obiedkov
10:30, 29. Jan. 2026
943 × 589, 160 Seiten; 596 KB
FS2025-Probeklausur.pdf Stephan Mennicke
10:05, 29. Jan. 2026
1.239 × 1.752, 3 Seiten; 251 KB
CT2025-Exercise-11-5-slides.pdf Stephan Mennicke
07:44, 28. Jan. 2026
943 × 589, 10 Seiten; 111 KB
CT2025-Exercise-11.pdf Stephan Mennicke
09:27, 27. Jan. 2026
1.239 × 1.752; 247 KB
CT2025-Lecture-26-print.pdf Stephan Mennicke
09:27, 27. Jan. 2026
943 × 589, 31 Seiten; 182 KB
CT2025-Lecture-26-overlay.pdf Stephan Mennicke
09:26, 27. Jan. 2026
943 × 589, 61 Seiten; 243 KB
CT2025-Lecture-25-print.pdf Stephan Mennicke
09:26, 27. Jan. 2026
943 × 589, 20 Seiten; 154 KB
CT2025-Lecture-25-overlay.pdf Stephan Mennicke
09:26, 27. Jan. 2026
943 × 589, 45 Seiten; 196 KB