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
28. März 2024
|
N 14:36 | First-Order Logic – Semantic and Computational Properties (SS2024) 2 Änderungen Versionsgeschichte +910 Bytes [Dörthe Arndt (2×)] | |||
|
14:36 (Aktuell | Vorherige) +59 Bytes Dörthe Arndt Diskussion Beiträge | ||||
N |
|
14:35 (Aktuell | Vorherige) +851 Bytes Dörthe Arndt Diskussion Beiträge Die Seite wurde neu angelegt: „{{Vorlesung |Title=First-Order Logic – Semantic and Computational Properties |Research group=Computational Logic |Lecturers=Dörthe Arndt |Term=SS |Year=2024…“ |
N 14:35 | First-Order Logic – Semantic and Computational Properties (SS2024)/en UnterschiedVersionen +16 Bytes Dörthe Arndt Diskussion Beiträge Page created automatically by parser function on page First-Order Logic – Semantic and Computational Properties (SS2024) |
25. März 2024
N 15:26 | Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en UnterschiedVersionen +20 Bytes Piotr Ostropolski-Nalewaja Diskussion Beiträge Page created automatically by parser function on page Generating molecule graphs from mass spectrometry results using Answer-Set-Programming |
N 15:26 | Generating molecule graphs from mass spectrometry results using Answer-Set-Programming UnterschiedVersionen +1.344 Bytes Piotr Ostropolski-Nalewaja Diskussion Beiträge Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Generating molecule graphs from mass spectrometry results using Answer-Set-Programming |Beschreibung EN=Abstract: Mass spectrometry i…“ |
N 08:06 | Theorem Proving with LEAN (SS2024)/en UnterschiedVersionen +16 Bytes Stephan Mennicke Diskussion Beiträge Page created automatically by parser function on page Theorem Proving with LEAN (SS2024) |
N 08:06 | Theorem Proving with LEAN (SS2024) UnterschiedVersionen +1.606 Bytes Stephan Mennicke Diskussion Beiträge initialized LEAN for summer 2024 |
08:01 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen +33 Bytes Stephan Mennicke Diskussion Beiträge |
24. März 2024
|
N 13:40 | Seminar Logic-Based Knowledge Representation (SS2024) 8 Änderungen Versionsgeschichte +2.181 Bytes [Sebastian Rudolph (8×)] | |||
|
13:40 (Aktuell | Vorherige) 0 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
13:39 (Aktuell | Vorherige) +115 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
13:37 (Aktuell | Vorherige) 0 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
13:35 (Aktuell | Vorherige) 0 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
13:24 (Aktuell | Vorherige) -30 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
12:53 (Aktuell | Vorherige) 0 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
12:53 (Aktuell | Vorherige) -1.107 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
N |
|
12:52 (Aktuell | Vorherige) +3.203 Bytes Sebastian Rudolph Diskussion Beiträge Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2024 |Module=CM…“ |
13:31 | Datei-Logbuch Sebastian Rudolph Diskussion Beiträge lud Datei:LBKR-2024-intro.pdf hoch |
N 12:52 | Seminar Logic-Based Knowledge Representation (SS2024)/en UnterschiedVersionen +16 Bytes Sebastian Rudolph Diskussion Beiträge Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2024) |
|
N 12:15 | Introduction to Existential Rules (SS2024) 4 Änderungen Versionsgeschichte +4.131 Bytes [Sebastian Rudolph (4×)] | |||
|
12:15 (Aktuell | Vorherige) +1.111 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
12:05 (Aktuell | Vorherige) -119 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
|
11:52 (Aktuell | Vorherige) -1 Byte Sebastian Rudolph Diskussion Beiträge | ||||
N |
|
11:45 (Aktuell | Vorherige) +3.140 Bytes Sebastian Rudolph Diskussion Beiträge Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Existential Rules |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2024 |Module=CMS-LM-ADV, C…“ |
N 11:45 | Introduction to Existential Rules (SS2024)/en UnterschiedVersionen +16 Bytes Sebastian Rudolph Diskussion Beiträge Page created automatically by parser function on page Introduction to Existential Rules (SS2024) |