Recent changes
From International Center for Computational Logic
Track the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
5 December 2025
| 20:07 | Knowledge Graphs (WS2025) diffhist +46 Maximilian Marx talk contribs | ||||
| 20:07 | Upload log Maximilian Marx talk contribs uploaded Datei:Kg2025-exercise-06.pdf | ||||
4 December 2025
|
|
17:55 | A Basis for Defeasible Reasoning 3 changes history +1,635 [Meghna Bhadra (3×)] | |||
|
|
17:55 (cur | prev) +449 Meghna Bhadra talk contribs | ||||
|
|
12:25 (cur | prev) 0 Meghna Bhadra talk contribs | ||||
|
|
12:21 (cur | prev) +1,186 Meghna Bhadra talk contribs | ||||
|
|
16:53 | Complexity Theory (WS2025) 3 changes history −16 [Sergei Obiedkov (3×)] | |||
|
|
16:53 (cur | prev) −21 Sergei Obiedkov talk contribs | ||||
|
|
16:51 (cur | prev) +9 Sergei Obiedkov talk contribs | ||||
|
|
16:49 (cur | prev) −4 Sergei Obiedkov talk contribs | ||||
| 11:52 | Formale Systeme (WS2025) diffhist +73 Markus Krötzsch talk contribs | ||||
|
|
11:52 | (Upload log) [Markus Krötzsch (2×)] | |||
|
|
11:52 Markus Krötzsch talk contribs uploaded Datei:FS2025-Vorlesung-15-print.pdf | ||||
|
|
11:52 Markus Krötzsch talk contribs uploaded Datei:FS2025-Vorlesung-15-overlay.pdf | ||||
3 December 2025
| 14:40 | Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction diffhist +4 Meghna Bhadra talk contribs | ||||
| 14:40 | Defeasible Standpoint Logics diffhist +4 Meghna Bhadra talk contribs | ||||
| N 14:38 | A Basis for Defeasible Reasoning diffhist +541 Meghna Bhadra talk contribs (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) diffhist +69 Sergei Obiedkov talk contribs | ||||
|
|
10:11 | (Upload log) [Sergei Obiedkov (2×); Philipp Hanisch (2×)] | |||
|
|
10:11 Sergei Obiedkov talk contribs uploaded Datei:CT2025-Lecture-16-print.pdf | ||||
|
|
10:11 Sergei Obiedkov talk contribs uploaded Datei:CT2025-Lecture-16-overlay.pdf | ||||
|
|
10:08 Philipp Hanisch talk contribs uploaded Datei:Philipp-Hanisch-2025.jpg | ||||
|
|
10:06 Philipp Hanisch talk contribs uploaded a new version of Datei:Philipp-Hanisch-2025-10-23.jpg | ||||
|
|
10:08 | Philipp Hanisch 3 changes history −6 [Philipp Hanisch (3×)] | |||
|
|
10:08 (cur | prev) −6 Philipp Hanisch talk contribs | ||||
|
|
10:07 (cur | prev) −31 Philipp Hanisch talk contribs Tag: Manual revert | ||||
|
|
10:06 (cur | prev) +31 Philipp Hanisch talk contribs | ||||
2 December 2025
| 09:02 | Formale Systeme (WS2025) diffhist +145 Stephan Mennicke talk contribs (sheet 8) | ||||
|
|
09:02 | (Upload log) [Hannes Straß; Stephan Mennicke (4×)] | |||
|
|
09:02 Stephan Mennicke talk contribs uploaded Datei:FS2025-Blatt-08.pdf | ||||
|
|
08:44 Hannes Straß talk contribs uploaded Datei:FLP2025-09.pdf | ||||
|
|
06:43 Stephan Mennicke talk contribs uploaded Datei:CT2025-Exercise-06.pdf | ||||
|
|
06:43 Stephan Mennicke talk contribs uploaded Datei:CT2025-Lecture-15-print.pdf | ||||
|
|
06:42 Stephan Mennicke talk contribs uploaded Datei:CT2025-Lecture-15-overlay.pdf | ||||
| 08:45 | Foundations of Logic Programming (WS2025) diffhist +25 Hannes Straß talk contribs | ||||
| 06:43 | Complexity Theory (WS2025) diffhist +102 Stephan Mennicke talk contribs (lecture 15 + 6th exercise sheet) | ||||
1 December 2025
|
|
09:13 | (Upload log) [Hannes Straß; Markus Krötzsch (2×)] | |||
|
|
09:13 Hannes Straß talk contribs uploaded a new version of Datei:FLP2025-08.pdf | ||||
|
|
06:58 Markus Krötzsch talk contribs uploaded Datei:FS2025-Vorlesung-14-print.pdf | ||||
|
|
06:58 Markus Krötzsch talk contribs uploaded Datei:FS2025-Vorlesung-14-overlay.pdf | ||||
| 06:58 | Formale Systeme (WS2025) diffhist +73 Markus Krötzsch talk contribs | ||||
30 November 2025
|
|
20:23 | Defeasible Standpoint Logics 2 changes history +1,264 [Meghna Bhadra (2×)] | |||
|
|
20:23 (cur | prev) +12 Meghna Bhadra talk contribs | ||||
|
|
20:22 (cur | prev) +1,252 Meghna Bhadra talk contribs | ||||
|
|
12:11 | (Upload log) [Maximilian Marx (2×)] | |||
|
|
12:11 Maximilian Marx talk contribs uploaded a new version of Datei:Kg2025-exercise-05.pdf | ||||
|
|
02:10 Maximilian Marx talk contribs uploaded Datei:Kg2025-exercise-05.pdf | ||||
| 02:10 | Knowledge Graphs (WS2025) diffhist +58 Maximilian Marx talk contribs | ||||
