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
27. Februar 2026
|
|
16:50 | Article3108 2 Änderungen Versionsgeschichte +59 [Stephan Mennicke; Markus Krötzsch] | |||
|
|
16:50 (Aktuell | Vorherige) −16 Markus Krötzsch Diskussion Beiträge | ||||
|
|
09:33 (Aktuell | Vorherige) +75 Stephan Mennicke Diskussion Beiträge | ||||
| 15:45 | Datei-Logbuch Alex Ivliev Diskussion Beiträge lud eine neue Version von Datei:TGD2026.pdf hoch (Paper for the TGD Workshop 2026) | ||||
| 09:13 | Article3119 UnterschiedVersionen +341 Markus Krötzsch Diskussion Beiträge | ||||
| 09:10 | Article3062 UnterschiedVersionen +180 Markus Krötzsch Diskussion Beiträge | ||||
|
|
08:56 | Inproceedings3461 2 Änderungen Versionsgeschichte +923 [Markus Krötzsch (2×)] | |||
|
|
08:56 (Aktuell | Vorherige) −2 Markus Krötzsch Diskussion Beiträge | ||||
|
|
08:55 (Aktuell | Vorherige) +925 Markus Krötzsch Diskussion Beiträge | ||||
26. Februar 2026
| 19:43 | Formale Systeme (WS2025) UnterschiedVersionen +109 Stephan Mennicke Diskussion Beiträge | ||||
| N 14:08 | Inproceedings3462 UnterschiedVersionen +1.154 Alex Ivliev Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Raimund |ErsterAutorNachname=Dachselt |FurtherAuthors=Lukas Gerlach; Philipp Hanisch; Alex Ivliev; Markus Krötzsch; Maximilian Marx; Julián Méndez }} {{Inproceedings |Referiert=1 |Title=Declarative Debugging for Datalog with Aggregation |To appear=1 |Year=2026 |Booktitle=Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026 |Publisher=CEUR…“) | ||||
|
|
14:08 | (Datei-Logbuch) [Tim Lyon; Alex Ivliev] | |||
|
|
14:08 Alex Ivliev Diskussion Beiträge lud Datei:TGD2026.pdf hoch (Paper "Declarative Debugging for Datalog with Aggregation" for the TGD workshop 2026) | ||||
|
|
10:58 Tim Lyon Diskussion Beiträge lud Datei:Thesis Topics Lyon.pdf hoch | ||||
|
|
N 11:29 | Thema3519 13 Änderungen Versionsgeschichte +4.192 [Tim Lyon (13×)] | |||
|
|
11:29 (Aktuell | Vorherige) −192 Tim Lyon Diskussion Beiträge | ||||
|
|
11:29 (Aktuell | Vorherige) −56 Tim Lyon Diskussion Beiträge | ||||
|
|
11:26 (Aktuell | Vorherige) +1.902 Tim Lyon Diskussion Beiträge | ||||
|
|
11:25 (Aktuell | Vorherige) +103 Tim Lyon Diskussion Beiträge | ||||
|
|
11:24 (Aktuell | Vorherige) +39 Tim Lyon Diskussion Beiträge | ||||
|
|
11:22 (Aktuell | Vorherige) −7 Tim Lyon Diskussion Beiträge | ||||
|
|
11:22 (Aktuell | Vorherige) +14 Tim Lyon Diskussion Beiträge | ||||
|
|
11:20 (Aktuell | Vorherige) −53 Tim Lyon Diskussion Beiträge | ||||
|
|
11:19 (Aktuell | Vorherige) −739 Tim Lyon Diskussion Beiträge | ||||
|
|
11:18 (Aktuell | Vorherige) +763 Tim Lyon Diskussion Beiträge | ||||
|
|
11:17 (Aktuell | Vorherige) +1.847 Tim Lyon Diskussion Beiträge | ||||
| K |
|
11:14 (Aktuell | Vorherige) +35 Tim Lyon Diskussion Beiträge | |||
| N |
|
10:59 (Aktuell | Vorherige) +536 Tim Lyon Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Titel EN=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Bitte sehen Sie sich die beigefügte PDF-Datei an, die Sie über den „Download“-Link herunterladen können. |Beschreibung EN=Plea…“) | |||
| 11:02 | Lösch-Logbuch Tim Lyon Diskussion Beiträge löschte die Seite Thema3516 (Inhalt war: „{{Abschlussarbeit |Titel DE=A Simplified Tableau Calculus for Standpoint LTL |Titel EN=A Simplified Tableau Calculus for Standpoint LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Ergebnisse=Thesis Topic Simplified Tableaux for SLTL.pdf |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale L…“. Einziger Bearbeiter: Tim Lyon (Diskussion)) | ||||
25. Februar 2026
|
|
N 12:41 | Inproceedings3461 4 Änderungen Versionsgeschichte +695 [Alex Ivliev (4×)] | |||
|
|
12:41 (Aktuell | Vorherige) +16 Alex Ivliev Diskussion Beiträge | ||||
|
|
12:41 (Aktuell | Vorherige) −10 Alex Ivliev Diskussion Beiträge | ||||
|
|
12:29 (Aktuell | Vorherige) −2 Alex Ivliev Diskussion Beiträge | ||||
| N |
|
12:28 (Aktuell | Vorherige) +691 Alex Ivliev Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Markus Krötzsch; Maximilian Marx }} {{Inproceedings |Referiert=1 |Title=SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs |To appear=1 |Year=2026 |Booktitle=The Semantic Web - 23rd European Semantic Web Conference, {ESWC} 2026, Dubrovnik, Croatia, May 10-14, 2026, Proceedings |Publisher=Springer |Editor=Maribel Acosta, Marieke van Erp, Seb…“) | |||
24. Februar 2026
| N 10:09 | Article3120 UnterschiedVersionen +2.368 Sergei Obiedkov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Ramil |ErsterAutorNachname=Yarullin |FurtherAuthors=Sergei Obiedkov }} {{Article |Referiert=1 |Title=From equivalence queries to PAC learning: The case of implication theories |To appear=0 |Year=2020 |Month=Dezember |Journal=International Journal of Approximate Reasoning |Volume=127 |Pages=1–16 |Publisher=Elsevier }} {{Publikation Details |Abstract=In Angluin's exact-learning framework, equivalence queries…“) | ||||
|
|
10:08 | (Datei-Logbuch) [Sergei Obiedkov (5×)] | |||
|
|
10:08 Sergei Obiedkov Diskussion Beiträge lud Datei:Paper journal approx reasoning v4.pdf hoch | ||||
|
|
10:03 Sergei Obiedkov Diskussion Beiträge lud Datei:2307.01609v1.pdf hoch | ||||
|
|
09:53 Sergei Obiedkov Diskussion Beiträge lud Datei:Paper27.pdf hoch | ||||
|
|
09:40 Sergei Obiedkov Diskussion Beiträge lud Datei:Abstract7.pdf hoch | ||||
|
|
09:32 Sergei Obiedkov Diskussion Beiträge lud Datei:Tutorial.pdf hoch | ||||
| N 10:04 | Techreport3062 UnterschiedVersionen +1.160 Sergei Obiedkov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nikita |ErsterAutorNachname=Remnev |FurtherAuthors=Sergei Obiedkov; Ekaterina Rakhilina; Ivan Smirnov; Anastasia Vyrenkova }} {{Techreport |Title=A Language Model for Grammatical Error Correction in L2 Russian |Year=2023 |Institution=arXiv.org |Archivierungsnummer=arXiv:2307.01609 }} {{Publikation Details |Abstract=Grammatical error correction is one of the fundamental tasks in Natural Language Processing. Fo…“) | ||||
|
|
N 09:55 | Inproceedings3460 2 Änderungen Versionsgeschichte +644 [Sergei Obiedkov (2×)] | |||
|
|
09:55 (Aktuell | Vorherige) −1 Sergei Obiedkov Diskussion Beiträge | ||||
| N |
|
09:54 (Aktuell | Vorherige) +645 Sergei Obiedkov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sergei |ErsterAutorNachname=Obiedkov |FurtherAuthors=Barış Sertkaya }} {{Inproceedings |Referiert=1 |Title=PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract) |To appear=0 |Year=2025 |Month=September |Booktitle=DL 2025: 38th International Workshop on Description Logics |Publisher=CEUR Workshop Proceedings |Editor=Lidia Tendera, Yazmin Ibanez Garcia, Patrick Koopmann…“) | |||
| N 09:41 | Inproceedings3459 UnterschiedVersionen +628 Sergei Obiedkov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sergei |ErsterAutorNachname=Obiedkov |FurtherAuthors=Barış Sertkaya }} {{Inproceedings |Referiert=1 |Title=Probably Approximately Correct Ontology Completion with pacco (Extended Abstract) |To appear=0 |Year=2024 |Month=Juni |Booktitle=DL 2024: 37th International Workshop on Description Logics |Publisher=CEUR Workshop Proceedings |Editor=Laura Giordano, Jean Christoph Jung, Ana Ozaki |Volume=3739 }} {{Publ…“) | ||||
| N 09:32 | Inproceedings3458 UnterschiedVersionen +1.361 Sergei Obiedkov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bernhard |ErsterAutorNachname=Ganter |FurtherAuthors=Tom Hanika; Johannes Hirth; Sergei Obiedkov }} {{Inproceedings |Referiert=1 |Title=Collaborative Hybrid Human AI Learning through Conceptual Exploration |To appear=0 |Year=2024 |Month=Juni |Booktitle=HHAI-WS 2024: Workshops at the Third International Conference on Hybrid Human-Artificial Intelligence (HHAI 2024) |Pages=1–8 |Publisher=CEUR Workshop Proceed…“) | ||||
|
|
N 09:20 | Proceedings3029 3 Änderungen Versionsgeschichte +1.222 [Sergei Obiedkov (3×)] | |||
|
|
09:20 (Aktuell | Vorherige) 0 Sergei Obiedkov Diskussion Beiträge | ||||
|
|
09:19 (Aktuell | Vorherige) −16 Sergei Obiedkov Diskussion Beiträge | ||||
| N |
|
09:19 (Aktuell | Vorherige) +1.238 Sergei Obiedkov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Inma P. |ErsterAutorNachname=Cabrera |FurtherAuthors=Sébastien Ferré; Sergei Obiedkov }} {{Proceedings |Title=Conceptual Knowledge Structures |To appear=0 |Year=2024 |Month=September |Publisher=Springer |Series=Lecture Notes in Computer Science |Volume=14914 }} {{Publikation Details |Abstract=This book constitutes the proceedings of the First International Joint Conference on Conceptual Knowledge Structures…“) | |||
23. Februar 2026
|
|
10:41 | Formale Systeme (WS2025) 3 Änderungen Versionsgeschichte +58 [Stephan Mennicke (3×)] | |||
|
|
10:41 (Aktuell | Vorherige) −4 Stephan Mennicke Diskussion Beiträge | ||||
|
|
10:41 (Aktuell | Vorherige) +1 Stephan Mennicke Diskussion Beiträge | ||||
|
|
10:40 (Aktuell | Vorherige) +61 Stephan Mennicke Diskussion Beiträge (Namen zu Räumen für schriftl. Prüfung) | ||||
22. Februar 2026
| 17:40 | SEMECO-Q2 UnterschiedVersionen −6 Sebastian Rudolph Diskussion Beiträge | ||||
