Neue Dateien
Aus International Center for Computational Logic
Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.
-
Stratified Negation in RDF Rules-Küchenmeister.pdf Nils Küchenmeister
09:31, 4. Nov. 2026
943 × 531, 30 Seiten; 2,09 MB
-
Iswc2026-recovering-explanations-slides.pdf Alex Ivliev
09:29, 4. Nov. 2026
943 × 531, 48 Seiten; 981 KB
-
FKR-2026-exercise-2-HornLogic.pdf Sebastian Rudolph
17:18, 16. Okt. 2026
1.239 × 1.752, 2 Seiten; 141 KB
-
FKR-2026-exercise-1-Logic4KR.pdf Sebastian Rudolph
20:26, 6. Okt. 2026
1.239 × 1.752, 2 Seiten; 87 KB
-
FKR-2026-lecture-1-Introduction.pdf Sebastian Rudolph
11:50, 6. Okt. 2026
1.500 × 1.125, 89 Seiten; 5,2 MB