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 17. April 2026, 07:05 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

17. April 2026

N 06:58

Inproceedings3464 UnterschiedVersionen +1.840 Lukas Gerlach Diskussion Beiträge (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:57

Datei-Logbuch Lukas Gerlach Diskussion Beiträge lud Datei:KR-2026-Camera-Ready-178-Chase-In-Lean.pdf hoch

06:54

Inproceedings3430 UnterschiedVersionen +255 Lukas Gerlach Diskussion Beiträge

16. April 2026

18:21

Vorlage:Publication Report UnterschiedVersionen +392 Markus Krötzsch Diskussion Beiträge

N 16:19

Benutzer:Markus Krötzsch/KBS publication report/SCaDS UnterschiedVersionen +186 Markus Krötzsch Diskussion Beiträge (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 UnterschiedVersionen +57 Markus Krötzsch Diskussion Beiträge (→Links)

			10:41		Seminar Logic-Based Knowledge Representation (SS2026) 5 Änderungen Versionsgeschichte +378 [Sarah Gaggl (5×)]
					10:41 (Aktuell \| Vorherige) +284 Sarah Gaggl Diskussion Beiträge
					10:39 (Aktuell \| Vorherige) 0 Sarah Gaggl Diskussion Beiträge
					10:28 (Aktuell \| Vorherige) 0 Sarah Gaggl Diskussion Beiträge
					10:28 (Aktuell \| Vorherige) +8 Sarah Gaggl Diskussion Beiträge
					10:26 (Aktuell \| Vorherige) +86 Sarah Gaggl Diskussion Beiträge

15. April 2026

19:41

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

			19:41		(Datei-Logbuch) [Markus Krötzsch (2×)]
					19:41 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-02-print.pdf hoch
					19:41 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-02-overlay.pdf hoch

N 19:38

TheoLog2026/en UnterschiedVersionen +59 Markus Krötzsch Diskussion Beiträge (Weiterleitung nach Theoretische Informatik und Logik (SS2026)/en erstellt) Markierung: Neue Weiterleitung

N 19:38

TheoLog2026 UnterschiedVersionen +56 Markus Krötzsch Diskussion Beiträge (Weiterleitung nach Theoretische Informatik und Logik (SS2026) erstellt) Markierung: Neue Weiterleitung

N 09:41

Article3122 UnterschiedVersionen +350 Luisa Herrmann Diskussion Beiträge (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 UnterschiedVersionen +1.063 Luisa Herrmann Diskussion Beiträge (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…“)