Letzte Änderungen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.

Anzeigeoptionen Zeige die letzten 50 | 100 | 250 | 500 Änderungen der letzten 1 | 3 | 7 | 14 | 30 Tage.
Registrierte Benutzer ausblenden | Unangemeldete Benutzer ausblenden | Eigene Beiträge ausblenden | Bots anzeigen | Kleine Änderungen ausblenden
Nur Änderungen seit 29. März 2024, 00:06 Uhr zeigen.
   
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)