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
16 July 2026
|
|
10:58 | Theoretische Informatik und Logik (SS2026) 2 changes history +251 [Stephan Mennicke; Markus Krötzsch] | |||
|
|
10:58 (cur | prev) +99 Markus Krötzsch talk contribs | ||||
|
|
10:41 (cur | prev) +152 Stephan Mennicke talk contribs (Blatt 12) | ||||
|
|
10:58 | (Upload log) [Stephan Mennicke; Markus Krötzsch (2×)] | |||
|
|
10:58 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-23-print.pdf | ||||
|
|
10:58 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-23-overlay.pdf | ||||
|
|
10:41 Stephan Mennicke talk contribs uploaded Datei:TheoLog2026-Uebung-12.pdf | ||||
15 July 2026
| 15:28 | News112 diffhist +78 Sebastian Rudolph talk contribs | ||||
13 July 2026
| 16:02 | Algebraische und logische Grundlagen der Informatik diffhist +2 Johannes Lehmann talk contribs | ||||
|
|
16:02 | (Upload log) [Johannes Lehmann; Markus Krötzsch (2×); Hannes Straß (2×)] | |||
|
|
16:02 Johannes Lehmann talk contribs uploaded Datei:Alg-in-oberhof.jpg | ||||
|
|
13:13 Hannes Straß talk contribs uploaded Datei:AGT2026-Problems-11.pdf | ||||
|
|
09:11 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-22-print.pdf | ||||
|
|
09:11 Markus Krötzsch talk contribs uploaded Datei:TheoLog2026-Vorlesung-22-overlay.pdf | ||||
|
|
07:53 Hannes Straß talk contribs uploaded Datei:AGT2026-12.pdf | ||||
|
|
13:13 | Algorithmic Game Theory (SS2026) 2 changes history +320 [Hannes Straß (2×)] | |||
|
|
13:13 (cur | prev) +148 Hannes Straß talk contribs | ||||
|
|
07:54 (cur | prev) +172 Hannes Straß talk contribs | ||||
| 11:01 | Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets diffhist +270 Meghna Bhadra talk contribs | ||||
| 09:11 | Theoretische Informatik und Logik (SS2026) diffhist +83 Markus Krötzsch talk contribs | ||||
| N 07:41 | TBA17 diffhist +325 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-13 11:00:00 |Ende=2026-08-13 12:00:00 |Raum=APB-2026 |Vortragender=Fedor Grigoryevich Pogulskiy |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“) | ||||
10 July 2026
| N 09:59 | Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets diffhist +1,693 Meghna Bhadra talk contribs (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets |Titel EN=Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets |Beschreibung DE=The talk will present a new approach for computing complete, stable, and preferred extensions of abstract argumentation frameworks. Unlike existing approaches that reduce these problems to the propositional satisfiability problem and so…“) | ||||
