Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
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
16. Juli 2026
|
|
10:58 | Theoretische Informatik und Logik (SS2026) 2 Änderungen Versionsgeschichte +251 [Stephan Mennicke; Markus Krötzsch] | |||
|
|
10:58 (Aktuell | Vorherige) +99 Markus Krötzsch Diskussion Beiträge | ||||
|
|
10:41 (Aktuell | Vorherige) +152 Stephan Mennicke Diskussion Beiträge (Blatt 12) | ||||
|
|
10:58 | (Datei-Logbuch) [Stephan Mennicke; Markus Krötzsch (2×)] | |||
|
|
10:58 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-23-print.pdf hoch | ||||
|
|
10:58 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-23-overlay.pdf hoch | ||||
|
|
10:41 Stephan Mennicke Diskussion Beiträge lud Datei:TheoLog2026-Uebung-12.pdf hoch | ||||
15. Juli 2026
| 15:28 | News112 UnterschiedVersionen +78 Sebastian Rudolph Diskussion Beiträge | ||||
13. Juli 2026
| 16:02 | Algebraische und logische Grundlagen der Informatik UnterschiedVersionen +2 Johannes Lehmann Diskussion Beiträge | ||||
|
|
16:02 | (Datei-Logbuch) [Johannes Lehmann; Markus Krötzsch (2×); Hannes Straß (2×)] | |||
|
|
16:02 Johannes Lehmann Diskussion Beiträge lud Datei:Alg-in-oberhof.jpg hoch | ||||
|
|
13:13 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-Problems-11.pdf hoch | ||||
|
|
09:11 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-22-print.pdf hoch | ||||
|
|
09:11 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2026-Vorlesung-22-overlay.pdf hoch | ||||
|
|
07:53 Hannes Straß Diskussion Beiträge lud Datei:AGT2026-12.pdf hoch | ||||
|
|
13:13 | Algorithmic Game Theory (SS2026) 2 Änderungen Versionsgeschichte +320 [Hannes Straß (2×)] | |||
|
|
13:13 (Aktuell | Vorherige) +148 Hannes Straß Diskussion Beiträge | ||||
|
|
07:54 (Aktuell | Vorherige) +172 Hannes Straß Diskussion Beiträge | ||||
| 11:01 | Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets UnterschiedVersionen +270 Meghna Bhadra Diskussion Beiträge | ||||
| 09:11 | Theoretische Informatik und Logik (SS2026) UnterschiedVersionen +83 Markus Krötzsch Diskussion Beiträge | ||||
| N 07:41 | TBA17 UnterschiedVersionen +325 Meghna Bhadra Diskussion Beiträge (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. Juli 2026
| N 09:59 | Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets UnterschiedVersionen +1.693 Meghna Bhadra Diskussion Beiträge (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…“) | ||||
