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
25 June 2026
| 14:23 | Algorithmic Game Theory (SS2026) diffhist +155 Hannes Straß talk contribs | ||||
|
|
14:23 | (Upload log) [Hannes Straß; Alex Ivliev (2×)] | |||
|
|
14:23 Hannes Straß talk contribs uploaded Datei:AGT2026-11.pdf | ||||
|
|
12:03 Alex Ivliev talk contribs uploaded a new version of Datei:ESWC2026-sparqling-datalog.pdf | ||||
|
|
12:00 Alex Ivliev talk contribs uploaded Datei:ESWC2026-sparqling-datalog.pdf (Full version of the paper "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at the European Semantic Web Conference 2026) | ||||
|
|
12:03 | Inproceedings3461 4 changes history −34 [Alex Ivliev (4×)] | |||
|
|
12:03 (cur | prev) −31 Alex Ivliev talk contribs Tag: Manual revert | ||||
|
|
12:03 (cur | prev) +31 Alex Ivliev talk contribs | ||||
|
|
12:01 (cur | prev) −65 Alex Ivliev talk contribs | ||||
|
|
12:00 (cur | prev) +31 Alex Ivliev talk contribs | ||||
| 07:53 | Computational Logic diffhist +173 Sebastian Rudolph talk contribs | ||||
24 June 2026
|
|
13:31 | Theoretische Informatik und Logik (SS2026) 2 changes history +11 [Markus Krötzsch (2×)] | |||
|
|
13:31 (cur | prev) −38 Markus Krötzsch talk contribs | ||||
|
|
13:30 (cur | prev) +49 Markus Krötzsch talk contribs | ||||
23 June 2026
| 10:33 | Algorithmic Game Theory (SS2026) diffhist +72 Hannes Straß talk contribs | ||||
22 June 2026
|
|
11:50 | Algorithmic Game Theory (SS2026) 2 changes history +288 [Hannes Straß (2×)] | |||
|
|
11:50 (cur | prev) +145 Hannes Straß talk contribs | ||||
|
|
08:09 (cur | prev) +143 Hannes Straß talk contribs | ||||
|
|
11:49 | (Upload log) [Markus Krötzsch (2×); Hannes Straß (2×)] | |||
|
|
11:49 Hannes Straß talk contribs uploaded Datei:AGT2026-Problems-09.pdf | ||||
|
|
08:09 Hannes Straß talk contribs uploaded Datei:AGT2026-10.pdf | ||||
|
|
07:31 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-17-print.pdf | ||||
|
|
07:31 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-17-overlay.pdf | ||||
| N 09:33 | TBA16 diffhist +317 Meghna Bhadra talk contribs (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 | Deletion log Meghna Bhadra talk contribs deleted page TBA11/en (Inhalt war: „{{Veranstaltung/en}}“. Einziger Bearbeiter: 172.16.22.57 (Diskussion)) | ||||
| N 08:38 | TBA15 diffhist +315 Meghna Bhadra talk contribs (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 changes history +533 [Meghna Bhadra (4×)] | |||
|
|
08:29 (cur | prev) +21 Meghna Bhadra talk contribs | ||||
|
|
08:27 (cur | prev) 0 Meghna Bhadra talk contribs | ||||
|
|
08:26 (cur | prev) +7 Meghna Bhadra talk contribs | ||||
|
|
08:26 (cur | prev) +505 Meghna Bhadra talk contribs | ||||
| 07:38 | TBA13 diffhist +3,068 Meghna Bhadra talk contribs | ||||
| 07:31 | Theoretische Informatik und Logik (SS2026) diffhist +83 Markus Krötzsch talk contribs | ||||
20 June 2026
| N 19:32 | Inproceedings3471 diffhist +1,976 Sebastian Rudolph talk contribs (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 | Upload log Sebastian Rudolph talk contribs uploaded Datei:LeisegangMeyerRudolph-NMR2026.pdf | ||||
19 June 2026
|
|
14:33 | Vorlage:Projektliste 3 changes history −32 [Johannes Lehmann (3×)] | |||
|
|
14:33 (cur | prev) −51 Johannes Lehmann talk contribs (Bilder wieder vertikal zentrieren (Versuch 2)) | ||||
|
|
14:29 (cur | prev) +22 Johannes Lehmann talk contribs (Bilder wieder vertikal zentrieren) | ||||
|
|
14:27 (cur | prev) −3 Johannes Lehmann talk contribs (Zu Flexbox gewechselt, damit überlange Beschreibungen das Layout nicht kaputtmachen) | ||||
|
|
14:17 | SEMECO-Q1 2 changes history −359 [Andrea Kühn (2×)] | |||
|
|
14:17 (cur | prev) −378 Andrea Kühn talk contribs | ||||
|
|
13:46 (cur | prev) +19 Andrea Kühn talk contribs | ||||
|
|
N 14:11 | SEMECO-Q1 TrustMod 4 changes history +948 [Andrea Kühn (4×)] | |||
|
|
14:11 (cur | prev) +4 Andrea Kühn talk contribs | ||||
|
|
13:58 (cur | prev) +10 Andrea Kühn talk contribs | ||||
|
|
13:56 (cur | prev) +62 Andrea Kühn talk contribs | ||||
| N |
|
13:51 (cur | prev) +872 Andrea Kühn talk contribs (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 | Upload log Andrea Kühn talk contribs uploaded Datei:Semeco trustmod.png | ||||
|
|
07:32 | Proof Theory and Sequent Systems (SS2026) 2 changes history +93 [Tim Lyon (2×)] | |||
|
|
07:32 (cur | prev) +111 Tim Lyon talk contribs | ||||
|
|
07:31 (cur | prev) −18 Tim Lyon talk contribs | ||||
18 June 2026
| 20:27 | Proof Theory and Sequent Systems (SS2026) diffhist +339 Tim Lyon talk contribs | ||||
