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
20 April 2026
| 18:18 | Proof Theory and Sequent Systems (SS2026) diffhist +113 Tim Lyon talk contribs | ||||
|
|
14:05 | TBA10 2 changes history +3,914 [Meghna Bhadra (2×)] | |||
|
|
14:05 (cur | prev) +172 Meghna Bhadra talk contribs | ||||
|
|
14:04 (cur | prev) +3,742 Meghna Bhadra talk contribs | ||||
|
|
13:57 | (Upload log) [Stephan Mennicke; Hannes Straß (3×); Markus Krötzsch (4×)] | |||
|
|
13:57 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2026-Vorlesung-03-print.pdf | ||||
|
|
13:56 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2026-Vorlesung-03-overlay.pdf | ||||
|
|
13:46 Stephan Mennicke talk contribs uploaded Datei:TheoLog2026-Uebung-02.pdf | ||||
|
|
11:17 Hannes Straß talk contribs uploaded a new version of Datei:AGT2026-02.pdf | ||||
|
|
11:12 Hannes Straß talk contribs uploaded a new version of Datei:AGT2026-02.pdf | ||||
|
|
08:33 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-03-print.pdf | ||||
|
|
08:33 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-03-overlay.pdf | ||||
|
|
08:02 Hannes Straß talk contribs uploaded a new version of Datei:AGT2026-02.pdf | ||||
|
|
13:46 | Theoretische Informatik und Logik (SS2026) 4 changes history +725 [Stephan Mennicke; Markus Krötzsch (3×)] | |||
|
|
13:46 (cur | prev) +151 Stephan Mennicke talk contribs (blatt 2) | ||||
|
|
08:38 (cur | prev) 0 Markus Krötzsch talk contribs | ||||
|
|
08:37 (cur | prev) +349 Markus Krötzsch talk contribs | ||||
|
|
08:33 (cur | prev) +225 Markus Krötzsch talk contribs | ||||
|
|
11:17 | (Deletion log) [Hannes Straß (2×)] | |||
|
|
11:17 Hannes Straß talk contribs deleted page Datei:AGT2026-02.pdf (alte Version 20260420111702!AGT2026-02.pdf gelöscht: Inhalt vor dem Leeren der Seite: „“) | ||||
|
|
11:17 Hannes Straß talk contribs deleted page Datei:AGT2026-02.pdf (alte Version 20260420111220!AGT2026-02.pdf gelöscht: Inhalt vor dem Leeren der Seite: „“) | ||||
| 06:13 | Seminar Logic-Based Knowledge Representation (SS2026) diffhist +7 Sarah Gaggl talk contribs | ||||
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) | ||||
| N 19:38 | TheoLog2026 diffhist +56 Markus Krötzsch talk contribs (Weiterleitung nach Theoretische Informatik und Logik (SS2026) erstellt) | ||||
| 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…“) | ||||
14 April 2026
| 08:14 | Algorithmic Game Theory (SS2026) diffhist +147 Hannes Straß talk contribs | ||||
|
|
08:13 | (Upload log) [Stephan Mennicke; Hannes Straß] | |||
|
|
08:13 Hannes Straß talk contribs uploaded Datei:AGT2026-Problems-01.pdf | ||||
|
|
04:57 Stephan Mennicke talk contribs uploaded Datei:TheoLog2026-Uebung-01.pdf | ||||
| 04:57 | Theoretische Informatik und Logik (SS2026) diffhist +703 Stephan Mennicke talk contribs (Z3 und Blatt 1) | ||||
