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
5 August 2026
|
|
N 13:32 | Inproceedings3475 7 changes history +1,174 [Sebastian Rudolph (7×)] | |||
|
|
13:32 (cur | prev) +2 Sebastian Rudolph talk contribs | ||||
|
|
13:32 (cur | prev) −3 Sebastian Rudolph talk contribs | ||||
|
|
13:31 (cur | prev) −1 Sebastian Rudolph talk contribs | ||||
|
|
00:11 (cur | prev) +30 Sebastian Rudolph talk contribs | ||||
|
|
00:10 (cur | prev) −8 Sebastian Rudolph talk contribs | ||||
|
|
00:09 (cur | prev) −3 Sebastian Rudolph talk contribs | ||||
| N |
|
00:09 (cur | prev) +1,157 Sebastian Rudolph talk contribs (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 | Upload log Sebastian Rudolph talk contribs uploaded Datei:SR-Concepts2026.pdf | ||||
4 August 2026
|
|
13:05 | (Upload log) [Martin Diller; Alex Ivliev (2×)] | |||
|
|
13:05 Alex Ivliev talk contribs uploaded a new version of Datei:ESWC2026-sparqling-datalog.pdf (Paper titled "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at ESWC 2026) | ||||
|
|
13:03 Alex Ivliev talk contribs uploaded a new version of Datei:ESWC2026-sparqling-datalog.pdf (Paper titled "SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs" presented at ESWC 2026) | ||||
|
|
10:00 Martin Diller talk contribs uploaded Datei:2608.00698.pdf | ||||
3 August 2026
|
|
08:38 | TBA15 2 changes history +1,940 [Meghna Bhadra (2×)] | |||
|
|
08:38 (cur | prev) +84 Meghna Bhadra talk contribs | ||||
|
|
08:37 (cur | prev) +1,856 Meghna Bhadra talk contribs | ||||
1 August 2026
|
|
12:55 | Sebastian Rudolph 2 changes history +656 [Sebastian Rudolph (2×)] | |||
|
|
12:55 (cur | prev) −1 Sebastian Rudolph talk contribs | ||||
|
|
12:53 (cur | prev) +657 Sebastian Rudolph talk contribs | ||||
31 July 2026
|
|
17:46 | Inproceedings3474 4 changes history +974 [Alex Ivliev (4×)] | |||
|
|
17:46 (cur | prev) −3 Alex Ivliev talk contribs | ||||
|
|
17:46 (cur | prev) −130 Alex Ivliev talk contribs | ||||
|
|
17:45 (cur | prev) +125 Alex Ivliev talk contribs | ||||
|
|
17:44 (cur | prev) +982 Alex Ivliev talk contribs | ||||
| 17:44 | Upload log Alex Ivliev talk contribs uploaded Datei:ISWC26-datalog-transformations.pdf (Full paper "Recovering Explanations from Transformed Rule-Based Ontologies" published at ISWC'26) | ||||
