Neue Dateien
Aus International Center for Computational Logic
Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.
-
Gorczyca-strass2025non-monotonic-s4f-standpoint-logic.pdf Piotr Gorczyca
10:11, 25. Nov. 2025
1.275 × 1.650, 9 Seiten; 334 KB
-
KR-2025-Verifying-Datalog-Reasoning-with-Lean-Slides.pdf Lukas Gerlach
09:10, 24. Nov. 2025
1.752 × 985, 51 Seiten; 417 KB
-
KR-2025-About-the-Multi-Head-Linear-Restricted-Chase-Termination-Slides.pdf Lukas Gerlach
09:07, 24. Nov. 2025
1.752 × 985, 66 Seiten; 545 KB