Letzte Änderungen

Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.

Anzeigeoptionen Zeige die letzten 50 | 100 | 250 | 500 Änderungen der letzten 1 | 3 | 7 | 14 | 30 Tage.
Registrierte Benutzer ausblenden | Unangemeldete Benutzer ausblenden | Eigene Beiträge ausblenden | Bots anzeigen | Kleine Änderungen ausblenden
Nur Änderungen seit 25. Juni 2026, 13:01 Uhr zeigen.

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

25. Juni 2026

			12:03		Inproceedings3461 4 Änderungen Versionsgeschichte −34 [Alex Ivliev (4×)]
					12:03 (Aktuell \| Vorherige) −31 Alex Ivliev Diskussion Beiträge Markierung: Manuelle Zurücksetzung
					12:03 (Aktuell \| Vorherige) +31 Alex Ivliev Diskussion Beiträge
					12:01 (Aktuell \| Vorherige) −65 Alex Ivliev Diskussion Beiträge
					12:00 (Aktuell \| Vorherige) +31 Alex Ivliev Diskussion Beiträge

			12:03		(Datei-Logbuch) [Alex Ivliev (2×)]
					12:03 Alex Ivliev Diskussion Beiträge lud eine neue Version von Datei:ESWC2026-sparqling-datalog.pdf hoch
					12:00 Alex Ivliev Diskussion Beiträge lud Datei:ESWC2026-sparqling-datalog.pdf hoch (Full version of the paper "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at the European Semantic Web Conference 2026)

07:53

Computational Logic UnterschiedVersionen +173 Sebastian Rudolph Diskussion Beiträge

24. Juni 2026

			13:31		Theoretische Informatik und Logik (SS2026) 2 Änderungen Versionsgeschichte +11 [Markus Krötzsch (2×)]
					13:31 (Aktuell \| Vorherige) −38 Markus Krötzsch Diskussion Beiträge
					13:30 (Aktuell \| Vorherige) +49 Markus Krötzsch Diskussion Beiträge

23. Juni 2026

10:33

Algorithmic Game Theory (SS2026) UnterschiedVersionen +72 Hannes Straß Diskussion Beiträge

22. Juni 2026

			11:50		Algorithmic Game Theory (SS2026) 2 Änderungen Versionsgeschichte +288 [Hannes Straß (2×)]
					11:50 (Aktuell \| Vorherige) +145 Hannes Straß Diskussion Beiträge
					08:09 (Aktuell \| Vorherige) +143 Hannes Straß Diskussion Beiträge

			11:49		(Datei-Logbuch) [Markus Krötzsch (2×); Hannes Straß (2×)]
					11:49 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-Problems-09.pdf hoch
					08:09 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-10.pdf hoch
					07:31 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-17-print.pdf hoch
					07:31 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-17-overlay.pdf hoch

N 09:33

TBA16 UnterschiedVersionen +317 Meghna Bhadra Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-30 11:00:00 |Ende=2026-07-30 12:00:00 |Raum=APB-2026 |Vortragender=Lukas Gerlach |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

08:39

Lösch-Logbuch Meghna Bhadra Diskussion Beiträge löschte die Seite TBA11/en (Inhalt war: „{{Veranstaltung/en}}“. Einziger Bearbeiter: 172.16.22.57 (Diskussion))

N 08:38

TBA15 UnterschiedVersionen +315 Meghna Bhadra Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-08-06 11:00:00 |Ende=2026-08-06 12:00:00 |Raum=APB-2026 |Vortragender=Alex Ivliev |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

			08:29		Research Seminar Logic and AI 4 Änderungen Versionsgeschichte +533 [Meghna Bhadra (4×)]
					08:29 (Aktuell \| Vorherige) +21 Meghna Bhadra Diskussion Beiträge
					08:27 (Aktuell \| Vorherige) 0 Meghna Bhadra Diskussion Beiträge
					08:26 (Aktuell \| Vorherige) +7 Meghna Bhadra Diskussion Beiträge
					08:26 (Aktuell \| Vorherige) +505 Meghna Bhadra Diskussion Beiträge

07:38

TBA13 UnterschiedVersionen +3.068 Meghna Bhadra Diskussion Beiträge

07:31

Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +83 Markus Krötzsch Diskussion Beiträge

20. Juni 2026

N 19:32

Inproceedings3471 UnterschiedVersionen +1.976 Sebastian Rudolph Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nicholas |ErsterAutorNachname=Leisegang |FurtherAuthors=Thomas Meyer; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Standpoint Logics with Defeasible Beliefs |To appear=1 |Year=2026 |Booktitle=Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025) |Editor=Ana Ozaki, Nico Potyka |Series=CEUR }} {{Publikation Details |Abstract=In this paper, we integrate the defeasible l…“)

19:31

Datei-Logbuch Sebastian Rudolph Diskussion Beiträge lud Datei:LeisegangMeyerRudolph-NMR2026.pdf hoch

19. Juni 2026

			14:33		Vorlage:Projektliste 3 Änderungen Versionsgeschichte −32 [Johannes Lehmann (3×)]
					14:33 (Aktuell \| Vorherige) −51 Johannes Lehmann Diskussion Beiträge (Bilder wieder vertikal zentrieren (Versuch 2))
					14:29 (Aktuell \| Vorherige) +22 Johannes Lehmann Diskussion Beiträge (Bilder wieder vertikal zentrieren)
					14:27 (Aktuell \| Vorherige) −3 Johannes Lehmann Diskussion Beiträge (Zu Flexbox gewechselt, damit überlange Beschreibungen das Layout nicht kaputtmachen)

			14:17		SEMECO-Q1 2 Änderungen Versionsgeschichte −359 [Andrea Kühn (2×)]
					14:17 (Aktuell \| Vorherige) −378 Andrea Kühn Diskussion Beiträge
					13:46 (Aktuell \| Vorherige) +19 Andrea Kühn Diskussion Beiträge

			N 14:11		SEMECO-Q1 TrustMod 4 Änderungen Versionsgeschichte +948 [Andrea Kühn (4×)]
					14:11 (Aktuell \| Vorherige) +4 Andrea Kühn Diskussion Beiträge
					13:58 (Aktuell \| Vorherige) +10 Andrea Kühn Diskussion Beiträge
					13:56 (Aktuell \| Vorherige) +62 Andrea Kühn Diskussion Beiträge
			N		13:51 (Aktuell \| Vorherige) +872 Andrea Kühn Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Projekt \|Kurzname=SEMECO-Q1 \|Name=Secure Medical Microsystems and Communications: Sichere & Vertrauenswürdige Systemarchitekturen \|Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architectures \|Beschreibung DE=Weitere Informationen finden Sie auf der [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ externen Projektwebsite]. \|Beschreibung EN=For more information, see the [https://semeco.info/…“)

14:11

Datei-Logbuch Andrea Kühn Diskussion Beiträge lud Datei:Semeco trustmod.png hoch

			07:32		Proof Theory and Sequent Systems (SS2026) 2 Änderungen Versionsgeschichte +93 [Tim Lyon (2×)]
					07:32 (Aktuell \| Vorherige) +111 Tim Lyon Diskussion Beiträge
					07:31 (Aktuell \| Vorherige) −18 Tim Lyon Diskussion Beiträge

18. Juni 2026

20:27

Proof Theory and Sequent Systems (SS2026) UnterschiedVersionen +339 Tim Lyon Diskussion Beiträge

Namensraum:	Auswahl umkehren Zugehöriger Namensraum
Markierungs-Filter:	Auswahl umkehren

			12:03		Inproceedings3461 4 Änderungen Versionsgeschichte −34 [Alex Ivliev (4×)]
					12:03 (Aktuell \| Vorherige) −31 Alex Ivliev Diskussion Beiträge Markierung: Manuelle Zurücksetzung
					12:03 (Aktuell \| Vorherige) +31 Alex Ivliev Diskussion Beiträge
					12:01 (Aktuell \| Vorherige) −65 Alex Ivliev Diskussion Beiträge
					12:00 (Aktuell \| Vorherige) +31 Alex Ivliev Diskussion Beiträge

			08:29		Research Seminar Logic and AI 4 Änderungen Versionsgeschichte +533 [Meghna Bhadra (4×)]
					08:29 (Aktuell \| Vorherige) +21 Meghna Bhadra Diskussion Beiträge
					08:27 (Aktuell \| Vorherige) 0 Meghna Bhadra Diskussion Beiträge
					08:26 (Aktuell \| Vorherige) +7 Meghna Bhadra Diskussion Beiträge
					08:26 (Aktuell \| Vorherige) +505 Meghna Bhadra Diskussion Beiträge

			14:33		Vorlage:Projektliste 3 Änderungen Versionsgeschichte −32 [Johannes Lehmann (3×)]
					14:33 (Aktuell \| Vorherige) −51 Johannes Lehmann Diskussion Beiträge (Bilder wieder vertikal zentrieren (Versuch 2))
					14:29 (Aktuell \| Vorherige) +22 Johannes Lehmann Diskussion Beiträge (Bilder wieder vertikal zentrieren)
					14:27 (Aktuell \| Vorherige) −3 Johannes Lehmann Diskussion Beiträge (Zu Flexbox gewechselt, damit überlange Beschreibungen das Layout nicht kaputtmachen)

			N 14:11		SEMECO-Q1 TrustMod 4 Änderungen Versionsgeschichte +948 [Andrea Kühn (4×)]
					14:11 (Aktuell \| Vorherige) +4 Andrea Kühn Diskussion Beiträge
					13:58 (Aktuell \| Vorherige) +10 Andrea Kühn Diskussion Beiträge
					13:56 (Aktuell \| Vorherige) +62 Andrea Kühn Diskussion Beiträge
			N		13:51 (Aktuell \| Vorherige) +872 Andrea Kühn Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Projekt \|Kurzname=SEMECO-Q1 \|Name=Secure Medical Microsystems and Communications: Sichere & Vertrauenswürdige Systemarchitekturen \|Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architectures \|Beschreibung DE=Weitere Informationen finden Sie auf der [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ externen Projektwebsite]. \|Beschreibung EN=For more information, see the [https://semeco.info/…“)