Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
4. Dezember 2025
|
|
17:55 | A Basis for Defeasible Reasoning 3 Änderungen Versionsgeschichte +1.635 [Meghna Bhadra (3×)] | |||
|
|
17:55 (Aktuell | Vorherige) +449 Meghna Bhadra Diskussion Beiträge | ||||
|
|
12:25 (Aktuell | Vorherige) 0 Meghna Bhadra Diskussion Beiträge | ||||
|
|
12:21 (Aktuell | Vorherige) +1.186 Meghna Bhadra Diskussion Beiträge | ||||
|
|
16:53 | Complexity Theory (WS2025) 3 Änderungen Versionsgeschichte −16 [Sergei Obiedkov (3×)] | |||
|
|
16:53 (Aktuell | Vorherige) −21 Sergei Obiedkov Diskussion Beiträge | ||||
|
|
16:51 (Aktuell | Vorherige) +9 Sergei Obiedkov Diskussion Beiträge | ||||
|
|
16:49 (Aktuell | Vorherige) −4 Sergei Obiedkov Diskussion Beiträge | ||||
| 11:52 | Formale Systeme (WS2025) UnterschiedVersionen +73 Markus Krötzsch Diskussion Beiträge | ||||
|
|
11:52 | (Datei-Logbuch) [Markus Krötzsch (2×)] | |||
|
|
11:52 Markus Krötzsch Diskussion Beiträge lud Datei:FS2025-Vorlesung-15-print.pdf hoch | ||||
|
|
11:52 Markus Krötzsch Diskussion Beiträge lud Datei:FS2025-Vorlesung-15-overlay.pdf hoch | ||||
3. Dezember 2025
| 14:40 | Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction UnterschiedVersionen +4 Meghna Bhadra Diskussion Beiträge | ||||
| 14:40 | Defeasible Standpoint Logics UnterschiedVersionen +4 Meghna Bhadra Diskussion Beiträge | ||||
| N 14:38 | A Basis for Defeasible Reasoning UnterschiedVersionen +541 Meghna Bhadra Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=A Basis for Defeasible Reasoning |Titel EN=A Basis for Defeasible Reasoning |Beschreibung DE=TBA BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join |Beschreibung EN=TBA BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join |Veranstaltungsart=Vortrag |Start=2025-12-11 11:00:00 |Ende=2025-12-11 12:00:00 |Raum=APB-2026 |Vortragender=Lucas Carr |Forschungsgrupp…“) | ||||
| 10:11 | Complexity Theory (WS2025) UnterschiedVersionen +69 Sergei Obiedkov Diskussion Beiträge | ||||
|
|
10:11 | (Datei-Logbuch) [Sergei Obiedkov (2×); Philipp Hanisch (2×)] | |||
|
|
10:11 Sergei Obiedkov Diskussion Beiträge lud Datei:CT2025-Lecture-16-print.pdf hoch | ||||
|
|
10:11 Sergei Obiedkov Diskussion Beiträge lud Datei:CT2025-Lecture-16-overlay.pdf hoch | ||||
|
|
10:08 Philipp Hanisch Diskussion Beiträge lud Datei:Philipp-Hanisch-2025.jpg hoch | ||||
|
|
10:06 Philipp Hanisch Diskussion Beiträge lud eine neue Version von Datei:Philipp-Hanisch-2025-10-23.jpg hoch | ||||
|
|
10:08 | Philipp Hanisch 3 Änderungen Versionsgeschichte −6 [Philipp Hanisch (3×)] | |||
|
|
10:08 (Aktuell | Vorherige) −6 Philipp Hanisch Diskussion Beiträge | ||||
|
|
10:07 (Aktuell | Vorherige) −31 Philipp Hanisch Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
|
|
10:06 (Aktuell | Vorherige) +31 Philipp Hanisch Diskussion Beiträge | ||||
2. Dezember 2025
| 09:02 | Formale Systeme (WS2025) UnterschiedVersionen +145 Stephan Mennicke Diskussion Beiträge (sheet 8) | ||||
|
|
09:02 | (Datei-Logbuch) [Hannes Straß; Stephan Mennicke (4×)] | |||
|
|
09:02 Stephan Mennicke Diskussion Beiträge lud Datei:FS2025-Blatt-08.pdf hoch | ||||
|
|
08:44 Hannes Straß Diskussion Beiträge lud Datei:FLP2025-09.pdf hoch | ||||
|
|
06:43 Stephan Mennicke Diskussion Beiträge lud Datei:CT2025-Exercise-06.pdf hoch | ||||
|
|
06:43 Stephan Mennicke Diskussion Beiträge lud Datei:CT2025-Lecture-15-print.pdf hoch | ||||
|
|
06:42 Stephan Mennicke Diskussion Beiträge lud Datei:CT2025-Lecture-15-overlay.pdf hoch | ||||
| 08:45 | Foundations of Logic Programming (WS2025) UnterschiedVersionen +25 Hannes Straß Diskussion Beiträge | ||||
| 06:43 | Complexity Theory (WS2025) UnterschiedVersionen +102 Stephan Mennicke Diskussion Beiträge (lecture 15 + 6th exercise sheet) | ||||
1. Dezember 2025
|
|
09:13 | (Datei-Logbuch) [Hannes Straß; Markus Krötzsch (2×)] | |||
|
|
09:13 Hannes Straß Diskussion Beiträge lud eine neue Version von Datei:FLP2025-08.pdf hoch | ||||
|
|
06:58 Markus Krötzsch Diskussion Beiträge lud Datei:FS2025-Vorlesung-14-print.pdf hoch | ||||
|
|
06:58 Markus Krötzsch Diskussion Beiträge lud Datei:FS2025-Vorlesung-14-overlay.pdf hoch | ||||
| 06:58 | Formale Systeme (WS2025) UnterschiedVersionen +73 Markus Krötzsch Diskussion Beiträge | ||||
30. November 2025
|
|
20:23 | Defeasible Standpoint Logics 2 Änderungen Versionsgeschichte +1.264 [Meghna Bhadra (2×)] | |||
|
|
20:23 (Aktuell | Vorherige) +12 Meghna Bhadra Diskussion Beiträge | ||||
|
|
20:22 (Aktuell | Vorherige) +1.252 Meghna Bhadra Diskussion Beiträge | ||||
|
|
12:11 | (Datei-Logbuch) [Maximilian Marx (2×)] | |||
|
|
12:11 Maximilian Marx Diskussion Beiträge lud eine neue Version von Datei:Kg2025-exercise-05.pdf hoch | ||||
|
|
02:10 Maximilian Marx Diskussion Beiträge lud Datei:Kg2025-exercise-05.pdf hoch | ||||
| 02:10 | Knowledge Graphs (WS2025) UnterschiedVersionen +58 Maximilian Marx Diskussion Beiträge | ||||
29. November 2025
|
|
02:23 | Philipp Hanisch 2 Änderungen Versionsgeschichte +28 [Maximilian Marx (2×)] | |||
|
|
02:23 (Aktuell | Vorherige) −24 Maximilian Marx Diskussion Beiträge | ||||
|
|
02:23 (Aktuell | Vorherige) +52 Maximilian Marx Diskussion Beiträge | ||||
|
|
02:23 | (Datei-Logbuch) [Maximilian Marx (3×)] | |||
|
|
02:23 Maximilian Marx Diskussion Beiträge lud Datei:Philipp-Hanisch-2025-10-23.jpg hoch | ||||
|
|
02:22 Maximilian Marx Diskussion Beiträge lud Datei:Kati-Domann-2025-10-23.jpg hoch | ||||
|
|
02:21 Maximilian Marx Diskussion Beiträge lud Datei:Christina-Norkus-2025-10-23.jpg hoch | ||||
| 02:22 | Kati Domann UnterschiedVersionen 0 Maximilian Marx Diskussion Beiträge | ||||
| 02:22 | Christina Norkus UnterschiedVersionen +38 Maximilian Marx Diskussion Beiträge | ||||
