Benutzerbeiträge von „Markus Krötzsch“
Aus International Center for Computational Logic
Ergebnisse für Markus Krötzsch Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 6.752 Bearbeitungen. Das Konto wurde am 19. September 2014 erstellt.
11. Mai 2026
- 14:2414:24, 11. Mai 2026 Unterschied Versionen +86 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 14:2414:24, 11. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-08-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 14:2314:23, 11. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-08-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
- 12:2012:20, 11. Mai 2026 Unterschied Versionen +60 Inproceedings3461 Keine Bearbeitungszusammenfassung aktuell
7. Mai 2026
- 09:2309:23, 7. Mai 2026 Unterschied Versionen +552 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 09:2009:20, 7. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-07-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 09:2009:20, 7. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-07-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
4. Mai 2026
- 09:1009:10, 4. Mai 2026 Unterschied Versionen +83 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 09:1009:10, 4. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-06-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 09:1009:10, 4. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-06-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
30. April 2026
- 16:3316:33, 30. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-05-print.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-05-print.pdf hoch aktuell
- 16:3316:33, 30. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-05-overlay.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-05-overlay.pdf hoch aktuell
29. April 2026
- 09:5109:51, 29. Apr. 2026 Unterschied Versionen +411 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 09:4909:49, 29. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-05-print.pdf Keine Bearbeitungszusammenfassung
- 09:4909:49, 29. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-05-overlay.pdf Keine Bearbeitungszusammenfassung
23. April 2026
- 13:0613:06, 23. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-04-print.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-04-print.pdf hoch aktuell
- 13:0613:06, 23. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-04-overlay.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-04-overlay.pdf hoch aktuell
- 13:0613:06, 23. Apr. 2026 Unterschied Versionen +4 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 11:0211:02, 23. Apr. 2026 Unterschied Versionen +99 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 11:0211:02, 23. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-04-print.pdf Keine Bearbeitungszusammenfassung
- 11:0211:02, 23. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-04-overlay.pdf Keine Bearbeitungszusammenfassung
22. April 2026
- 11:3611:36, 22. Apr. 2026 Unterschied Versionen +25 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 11:3211:32, 22. Apr. 2026 Unterschied Versionen −10 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 11:2511:25, 22. Apr. 2026 Unterschied Versionen +528 Formale Systeme (WS2025) +link zu WHILE/LOOP
20. April 2026
- 13:5713:57, 20. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-03-print.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-03-print.pdf hoch aktuell
- 13:5613:56, 20. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-03-overlay.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-03-overlay.pdf hoch aktuell
- 08:3808:38, 20. Apr. 2026 Unterschied Versionen 0 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 08:3708:37, 20. Apr. 2026 Unterschied Versionen +349 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 08:3308:33, 20. Apr. 2026 Unterschied Versionen +225 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 08:3308:33, 20. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-03-print.pdf Keine Bearbeitungszusammenfassung
- 08:3308:33, 20. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-03-overlay.pdf Keine Bearbeitungszusammenfassung
16. April 2026
- 18:2118:21, 16. Apr. 2026 Unterschied Versionen +392 Vorlage:Publication Report Keine Bearbeitungszusammenfassung aktuell
- 16:1916:19, 16. Apr. 2026 Unterschied Versionen +186 N Benutzer:Markus Krötzsch/KBS publication report/SCaDS Die Seite wurde neu angelegt: „This page shows publications associated with KBS for internal reporting purposes. {{Publication Report| Forschungsgruppe::Wissensbasierte Systeme Projekt::ScaDS.AI }}“ aktuell
- 16:1716:17, 16. Apr. 2026 Unterschied Versionen +57 Benutzer:Markus Krötzsch →Links aktuell
15. April 2026
- 19:4119:41, 15. Apr. 2026 Unterschied Versionen +91 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 19:4119:41, 15. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-02-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 19:4119:41, 15. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-02-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
- 19:3819:38, 15. Apr. 2026 Unterschied Versionen +59 N TheoLog2026/en Weiterleitung nach Theoretische Informatik und Logik (SS2026)/en erstellt aktuell Markierung: Neue Weiterleitung
- 19:3819:38, 15. Apr. 2026 Unterschied Versionen +56 N TheoLog2026 Weiterleitung nach Theoretische Informatik und Logik (SS2026) erstellt aktuell Markierung: Neue Weiterleitung
13. April 2026
- 12:0412:04, 13. Apr. 2026 Unterschied Versionen +255 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
- 12:0312:03, 13. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-01-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 12:0212:02, 13. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-01-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
12. April 2026
- 09:0809:08, 12. Apr. 2026 Unterschied Versionen +210 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
23. März 2026
- 14:0214:02, 23. Mär. 2026 Unterschied Versionen −2 Projekte und Studienarbeiten Wissensbasierte Systeme Keine Bearbeitungszusammenfassung
18. März 2026
- 13:0913:09, 18. Mär. 2026 Unterschied Versionen 0 Inproceedings3454 Keine Bearbeitungszusammenfassung aktuell
6. März 2026
- 07:4207:42, 6. Mär. 2026 Unterschied Versionen 0 Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf Markus Krötzsch lud eine neue Version von Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf hoch aktuell
- 07:1207:12, 6. Mär. 2026 Unterschied Versionen +8 Cfaed Keine Bearbeitungszusammenfassung aktuell
- 07:1107:11, 6. Mär. 2026 Unterschied Versionen +8 KIMEDS Keine Bearbeitungszusammenfassung aktuell
- 07:1007:10, 6. Mär. 2026 Unterschied Versionen +8 InnoSale Keine Bearbeitungszusammenfassung aktuell
- 07:0707:07, 6. Mär. 2026 Unterschied Versionen +106 Inproceedings3461 Keine Bearbeitungszusammenfassung