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
5. August 2026
|
|
N 13:32 | Inproceedings3475 7 Änderungen Versionsgeschichte +1.174 [Sebastian Rudolph (7×)] | |||
|
|
13:32 (Aktuell | Vorherige) +2 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
13:32 (Aktuell | Vorherige) −3 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
13:31 (Aktuell | Vorherige) −1 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
00:11 (Aktuell | Vorherige) +30 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
00:10 (Aktuell | Vorherige) −8 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
00:09 (Aktuell | Vorherige) −3 Sebastian Rudolph Diskussion Beiträge | ||||
| N |
|
00:09 (Aktuell | Vorherige) +1.157 Sebastian Rudolph Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sebastian |ErsterAutorNachname=Rudolph }} {{Inproceedings |Referiert=1 |Title=Pseudo-Closed Family Veri�fication is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |To appear=1 |Year=2026 |Booktitle=Conceptual Knowledge Structures |Publisher=Springer |Series=LNCS |Volume=16811 }} {{Publikation Details |Abstract=Every closure operator on a finite set admits a canonical minimum implication bas…“) | |||
| 00:11 | Datei-Logbuch Sebastian Rudolph Diskussion Beiträge lud Datei:SR-Concepts2026.pdf hoch | ||||
4. August 2026
|
|
13:05 | (Datei-Logbuch) [Martin Diller; Alex Ivliev (2×)] | |||
|
|
13:05 Alex Ivliev Diskussion Beiträge lud eine neue Version von Datei:ESWC2026-sparqling-datalog.pdf hoch (Paper titled "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at ESWC 2026) | ||||
|
|
13:03 Alex Ivliev Diskussion Beiträge lud eine neue Version von Datei:ESWC2026-sparqling-datalog.pdf hoch (Paper titled "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at ESWC 2026) | ||||
|
|
10:00 Martin Diller Diskussion Beiträge lud Datei:2608.00698.pdf hoch | ||||
3. August 2026
|
|
08:38 | TBA15 2 Änderungen Versionsgeschichte +1.940 [Meghna Bhadra (2×)] | |||
|
|
08:38 (Aktuell | Vorherige) +84 Meghna Bhadra Diskussion Beiträge | ||||
|
|
08:37 (Aktuell | Vorherige) +1.856 Meghna Bhadra Diskussion Beiträge | ||||
1. August 2026
|
|
12:55 | Sebastian Rudolph 2 Änderungen Versionsgeschichte +656 [Sebastian Rudolph (2×)] | |||
|
|
12:55 (Aktuell | Vorherige) −1 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
12:53 (Aktuell | Vorherige) +657 Sebastian Rudolph Diskussion Beiträge | ||||
31. Juli 2026
|
|
17:46 | Inproceedings3474 4 Änderungen Versionsgeschichte +974 [Alex Ivliev (4×)] | |||
|
|
17:46 (Aktuell | Vorherige) −3 Alex Ivliev Diskussion Beiträge | ||||
|
|
17:46 (Aktuell | Vorherige) −130 Alex Ivliev Diskussion Beiträge | ||||
|
|
17:45 (Aktuell | Vorherige) +125 Alex Ivliev Diskussion Beiträge | ||||
|
|
17:44 (Aktuell | Vorherige) +982 Alex Ivliev Diskussion Beiträge | ||||
| 17:44 | Datei-Logbuch Alex Ivliev Diskussion Beiträge lud Datei:ISWC26-datalog-transformations.pdf hoch (Full paper "Recovering Explanations from Transformed Rule-Based Ontologies" published at ISWC'26) | ||||
