Recent changes

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 06:01, 18 April 2026

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

17 April 2026

10:06

Algorithmic Game Theory (SS2026) diffhist +165 Hannes Straß talk contribs

			10:06		(Upload log) [Stephan Mennicke; Lukas Gerlach; Hannes Straß]
					10:06 Hannes Straß talk contribs uploaded Datei:AGT2026-02.pdf
					08:22 Stephan Mennicke talk contribs uploaded a new version of Datei:TheoLog2026-Uebung-01.pdf
					06:57 Lukas Gerlach talk contribs uploaded Datei:KR-2026-Camera-Ready-178-Chase-In-Lean.pdf

N 06:58

Inproceedings3464 diffhist +1,840 Lukas Gerlach talk contribs (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Inproceedings |Referiert=1 |Title=The Chase in Lean - Crafting a Formal Library for Existential Rule Research |To appear=1 |Year=2026 |Booktitle=KR 2026 }} {{Publikation Details |Abstract=The chase is a sound, complete, but possibly non-terminating algorithm for reasoning with existential rules (aka. tuple-generating dependencies), a highly expressive knowledge represen…“)

06:54

Inproceedings3430 diffhist +255 Lukas Gerlach talk contribs

16 April 2026

18:21

Vorlage:Publication Report diffhist +392 Markus Krötzsch talk contribs

N 16:19

Benutzer:Markus Krötzsch/KBS publication report/SCaDS diffhist +186 Markus Krötzsch talk contribs (Die Seite wurde neu angelegt: „This page shows publications associated with KBS for internal reporting purposes. {{Publication Report| Forschungsgruppe::Wissensbasierte Systeme Projekt::ScaDS.AI }}“)

16:17

Benutzer:Markus Krötzsch diffhist +57 Markus Krötzsch talk contribs (→Links)

			10:41		Seminar Logic-Based Knowledge Representation (SS2026) 5 changes history +378 [Sarah Gaggl (5×)]
					10:41 (cur \| prev) +284 Sarah Gaggl talk contribs
					10:39 (cur \| prev) 0 Sarah Gaggl talk contribs
					10:28 (cur \| prev) 0 Sarah Gaggl talk contribs
					10:28 (cur \| prev) +8 Sarah Gaggl talk contribs
					10:26 (cur \| prev) +86 Sarah Gaggl talk contribs

15 April 2026

19:41

Theoretische Informatik und Logik (SS2026) diffhist +91 Markus Krötzsch talk contribs

			19:41		(Upload log) [Markus Krötzsch (2×)]
					19:41 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-02-print.pdf
					19:41 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-02-overlay.pdf

N 19:38

TheoLog2026/en diffhist +59 Markus Krötzsch talk contribs (Weiterleitung nach Theoretische Informatik und Logik (SS2026)/en erstellt) Tag: New redirect

N 19:38

TheoLog2026 diffhist +56 Markus Krötzsch talk contribs (Weiterleitung nach Theoretische Informatik und Logik (SS2026) erstellt) Tag: New redirect

N 09:41

Article3122 diffhist +350 Luisa Herrmann talk contribs (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Johannes Osterholzer }} {{Article |Referiert=1 |Title=Non-Global Parikh Tree Automata |To appear=1 |Year=2026 |Journal=Journal of Automata, Languages and Combinatorics }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“)

N 09:40

Article3121 diffhist +1,063 Luisa Herrmann talk contribs (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Richard Mörbitz }} {{Article |Referiert=1 |Title=Global one-counter tree automata |To appear=0 |Year=2026 |Journal=Theoretical Computer Science |Volume=1071 |Publisher=Elsevier }} {{Publikation Details |Abstract=We introduce global one-counter tree automata (GOCTA) which deviate from usual counter tree automata by working on only one counter which is passed…“)