Dateiliste
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Benutzer | Beschreibung | Versionen |
|---|---|---|---|---|---|---|
| 17:23, 22. Okt. 2026 | 2026-10-22-kbs-topics.pdf (Datei) | 1,42 MB | Maximilian Marx (Diskussion | Beiträge) | 1 | ||
| 17:20, 22. Okt. 2026 | Kg2026-exercise-02.pdf (Datei) | 316 KB | Maximilian Marx (Diskussion | Beiträge) | 1 | ||
| 14:33, 20. Okt. 2026 | FLP2026-03.pdf (Datei) | 344 KB | Hannes Straß (Diskussion | Beiträge) | 1 | ||
| 05:40, 20. Okt. 2026 | KG2026-Lecture-02-print.pdf (Datei) | 212 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 05:36, 20. Okt. 2026 | KG2026-Lecture-02-overlay.pdf (Datei) | 238 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 12:51, 19. Okt. 2026 | CT2026-Exercise-02.pdf (Datei) | 265 KB | Lukas Gerlach (Diskussion | Beiträge) | 1 | ||
| 12:44, 19. Okt. 2026 | CT2026-Exercise-01.pdf (Datei) | 306 KB | Lukas Gerlach (Diskussion | Beiträge) | 1 | ||
| 07:36, 19. Okt. 2026 | CT2026-Lecture-04-print.pdf (Datei) | 144 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 07:36, 19. Okt. 2026 | CT2026-Lecture-04-overlay.pdf (Datei) | 230 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 07:36, 19. Okt. 2026 | CT2026-Lecture-03-print.pdf (Datei) | 193 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 07:35, 19. Okt. 2026 | CT2026-Lecture-03-overlay.pdf (Datei) | 277 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 17:18, 16. Okt. 2026 | FKR-2026-exercise-2-HornLogic.pdf (Datei) | 141 KB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | ||
| 17:17, 16. Okt. 2026 | FKR-2026-lecture-3-HornLogic.pdf (Datei) | 202 KB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | ||
| 13:22, 15. Okt. 2026 | FLP2026-02.pdf (Datei) | 322 KB | Hannes Straß (Diskussion | Beiträge) | 1 | ||
| 14:37, 14. Okt. 2026 | Kg2026-exercise-01.pdf (Datei) | 317 KB | Maximilian Marx (Diskussion | Beiträge) | 1 | ||
| 09:33, 13. Okt. 2026 | Ruleml26-eflp.pdf (Datei) | 563 KB | Pascal Kettmann (Diskussion | Beiträge) | 1 | ||
| 09:09, 13. Okt. 2026 | KG2026-Lecture-01-print.pdf (Datei) | 3,31 MB | Markus Krötzsch (Diskussion | Beiträge) | 2 | ||
| 09:09, 13. Okt. 2026 | KG2026-Lecture-01-overlay.pdf (Datei) | 3,34 MB | Markus Krötzsch (Diskussion | Beiträge) | 2 | ||
| 07:21, 12. Okt. 2026 | CT2026-Lecture-02-print.pdf (Datei) | 171 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 07:21, 12. Okt. 2026 | CT2026-Lecture-02-overlay.pdf (Datei) | 290 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 07:21, 12. Okt. 2026 | CT2026-Lecture-01-print.pdf (Datei) | 426 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 07:21, 12. Okt. 2026 | CT2026-Lecture-01-overlay.pdf (Datei) | 526 KB | Markus Krötzsch (Diskussion | Beiträge) | 1 | ||
| 11:37, 8. Okt. 2026 | Eflp-aft-ruleml26.pdf (Datei) | 563 KB | Pascal Kettmann (Diskussion | Beiträge) | 1 | ||
| 20:26, 6. Okt. 2026 | FKR-2026-exercise-1-Logic4KR.pdf (Datei) | 87 KB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | ||
| 17:27, 6. Okt. 2026 | Kg2026-exercise-00.pdf (Datei) | 243 KB | Maximilian Marx (Diskussion | Beiträge) | 1 | ||
| 15:12, 6. Okt. 2026 | FKR-2026-lecture-2-Logic4KR.pdf (Datei) | 257 KB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | ||
| 11:50, 6. Okt. 2026 | FKR-2026-lecture-1-Introduction.pdf (Datei) | 5,2 MB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | ||
| 12:53, 5. Okt. 2026 | GandALF26 Full LyoZen.pdf (Datei) | 426 KB | Tim Lyon (Diskussion | Beiträge) | Full version of "Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents" (published at GandALF 2026) | 1 | |
| 10:45, 5. Okt. 2026 | FLP2026-01.pdf (Datei) | 269 KB | Hannes Straß (Diskussion | Beiträge) | 1 | ||
| 06:43, 2. Okt. 2026 | LIPIcs.CONCUR.2026.15.pdf (Datei) | 1,09 MB | Timm Spork (Diskussion | Beiträge) | 1 | ||
| 09:56, 26. Sep. 2026 | KRR Seminar Talk Outlines and Bibliography.pdf (Datei) | 274 KB | Sebastian Rudolph (Diskussion | Beiträge) | 1 | ||
| 10:09, 23. Sep. 2026 | Best paper award.jpg (Datei) |  |
1,41 MB | Tim Lyon (Diskussion | Beiträge) | Pascal and Hannes Award 2026 | 1 |
| 13:27, 31. Aug. 2026 | Datalog20-sparqling-datalog-talk.pdf (Datei) | 1,16 MB | Alex Ivliev (Diskussion | Beiträge) | 1 | ||
| 13:27, 31. Aug. 2026 | Datalog20-sparqling-datalog.pdf (Datei) | 1,4 MB | Alex Ivliev (Diskussion | Beiträge) | 1 | ||
| 12:11, 25. Aug. 2026 | Logo-2 (1) (1).jpg (Datei) | _(1).jpg) |
2,88 MB | Rajab Aghamov (Diskussion | Beiträge) | 1 | |
| 12:06, 25. Aug. 2026 | Logo-2 (1).jpg (Datei) | .jpg) |
2,94 MB | Rajab Aghamov (Diskussion | Beiträge) | 1 | |
| 11:58, 25. Aug. 2026 | Logo-2.svg (Datei) |  |
5,03 MB | Rajab Aghamov (Diskussion | Beiträge) | 1 | |
| 11:56, 25. Aug. 2026 | Cover.svg (Datei) |  |
2 KB | Rajab Aghamov (Diskussion | Beiträge) | 1 | |
| 11:29, 25. Aug. 2026 | X1751570X.jpg (Datei) |  |
119 KB | Rajab Aghamov (Diskussion | Beiträge) | 1 | |
| 11:12, 25. Aug. 2026 | AAAI26Proceedings-Cover.jpg (Datei) |  |
355 KB | Rajab Aghamov (Diskussion | Beiträge) | 1 | |
| 08:17, 21. Aug. 2026 | ISWC26-chain-stratification.pdf (Datei) | 832 KB | Nils Küchenmeister (Diskussion | Beiträge) | 1 | ||
| 06:26, 21. Aug. 2026 | Kr26argumentation.pdf (Datei) | 1,68 MB | Sergei Obiedkov (Diskussion | Beiträge) | 1 | ||
| 06:24, 21. Aug. 2026 | Concepts-26.pdf (Datei) | 439 KB | Sergei Obiedkov (Diskussion | Beiträge) | 2 | ||
| 12:22, 19. Aug. 2026 | SUM26-3.pdf (Datei) | 535 KB | Jonas Karge (Diskussion | Beiträge) | 1 | ||
| 06:11, 10. Aug. 2026 | Nev-Short-Paper-VIS-2026.pdf (Datei) | 1,01 MB | Lukas Gerlach (Diskussion | Beiträge) | 1 | ||
| 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 |
