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
27 February 2026
|
|
16:50 | Article3108 2 changes history +59 [Stephan Mennicke; Markus Krötzsch] | |||
|
|
16:50 (cur | prev) −16 Markus Krötzsch talk contribs | ||||
|
|
09:33 (cur | prev) +75 Stephan Mennicke talk contribs | ||||
| 15:45 | Upload log Alex Ivliev talk contribs uploaded a new version of Datei:TGD2026.pdf (Paper for the TGD Workshop 2026) | ||||
| 09:13 | Article3119 diffhist +341 Markus Krötzsch talk contribs | ||||
| 09:10 | Article3062 diffhist +180 Markus Krötzsch talk contribs | ||||
|
|
08:56 | Inproceedings3461 2 changes history +923 [Markus Krötzsch (2×)] | |||
|
|
08:56 (cur | prev) −2 Markus Krötzsch talk contribs | ||||
|
|
08:55 (cur | prev) +925 Markus Krötzsch talk contribs | ||||
26 February 2026
| 19:43 | Formale Systeme (WS2025) diffhist +109 Stephan Mennicke talk contribs | ||||
| N 14:08 | Inproceedings3462 diffhist +1,154 Alex Ivliev talk contribs (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 | (Upload log) [Tim Lyon; Alex Ivliev] | |||
|
|
14:08 Alex Ivliev talk contribs uploaded Datei:TGD2026.pdf (Paper "Declarative Debugging for Datalog with Aggregation" for the TGD workshop 2026) | ||||
|
|
10:58 Tim Lyon talk contribs uploaded Datei:Thesis Topics Lyon.pdf | ||||
|
|
N 11:29 | Thema3519 13 changes history +4,192 [Tim Lyon (13×)] | |||
|
|
11:29 (cur | prev) −192 Tim Lyon talk contribs | ||||
|
|
11:29 (cur | prev) −56 Tim Lyon talk contribs | ||||
|
|
11:26 (cur | prev) +1,902 Tim Lyon talk contribs | ||||
|
|
11:25 (cur | prev) +103 Tim Lyon talk contribs | ||||
|
|
11:24 (cur | prev) +39 Tim Lyon talk contribs | ||||
|
|
11:22 (cur | prev) −7 Tim Lyon talk contribs | ||||
|
|
11:22 (cur | prev) +14 Tim Lyon talk contribs | ||||
|
|
11:20 (cur | prev) −53 Tim Lyon talk contribs | ||||
|
|
11:19 (cur | prev) −739 Tim Lyon talk contribs | ||||
|
|
11:18 (cur | prev) +763 Tim Lyon talk contribs | ||||
|
|
11:17 (cur | prev) +1,847 Tim Lyon talk contribs | ||||
| m |
|
11:14 (cur | prev) +35 Tim Lyon talk contribs | |||
| N |
|
10:59 (cur | prev) +536 Tim Lyon talk contribs (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 | Deletion log Tim Lyon talk contribs deleted page 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 February 2026
|
|
N 12:41 | Inproceedings3461 4 changes history +695 [Alex Ivliev (4×)] | |||
|
|
12:41 (cur | prev) +16 Alex Ivliev talk contribs | ||||
|
|
12:41 (cur | prev) −10 Alex Ivliev talk contribs | ||||
|
|
12:29 (cur | prev) −2 Alex Ivliev talk contribs | ||||
| N |
|
12:28 (cur | prev) +691 Alex Ivliev talk contribs (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 February 2026
| N 10:09 | Article3120 diffhist +2,368 Sergei Obiedkov talk contribs (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 | (Upload log) [Sergei Obiedkov (5×)] | |||
|
|
10:08 Sergei Obiedkov talk contribs uploaded Datei:Paper journal approx reasoning v4.pdf | ||||
|
|
10:03 Sergei Obiedkov talk contribs uploaded Datei:2307.01609v1.pdf | ||||
|
|
09:53 Sergei Obiedkov talk contribs uploaded Datei:Paper27.pdf | ||||
|
|
09:40 Sergei Obiedkov talk contribs uploaded Datei:Abstract7.pdf | ||||
|
|
09:32 Sergei Obiedkov talk contribs uploaded Datei:Tutorial.pdf | ||||
| N 10:04 | Techreport3062 diffhist +1,160 Sergei Obiedkov talk contribs (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 changes history +644 [Sergei Obiedkov (2×)] | |||
|
|
09:55 (cur | prev) −1 Sergei Obiedkov talk contribs | ||||
| N |
|
09:54 (cur | prev) +645 Sergei Obiedkov talk contribs (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 diffhist +628 Sergei Obiedkov talk contribs (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 diffhist +1,361 Sergei Obiedkov talk contribs (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 changes history +1,222 [Sergei Obiedkov (3×)] | |||
|
|
09:20 (cur | prev) 0 Sergei Obiedkov talk contribs | ||||
|
|
09:19 (cur | prev) −16 Sergei Obiedkov talk contribs | ||||
| N |
|
09:19 (cur | prev) +1,238 Sergei Obiedkov talk contribs (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 February 2026
|
|
10:41 | Formale Systeme (WS2025) 3 changes history +58 [Stephan Mennicke (3×)] | |||
|
|
10:41 (cur | prev) −4 Stephan Mennicke talk contribs | ||||
|
|
10:41 (cur | prev) +1 Stephan Mennicke talk contribs | ||||
|
|
10:40 (cur | prev) +61 Stephan Mennicke talk contribs (Namen zu Räumen für schriftl. Prüfung) | ||||
22 February 2026
| 17:40 | SEMECO-Q2 diffhist −6 Sebastian Rudolph talk contribs | ||||
