New pages
From International Center for Computational Logic
4 March 2026
- 21:0721:07, 4 March 2026 Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP (hist | edit) [2,649 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP |Titel EN=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP |Beschreibung DE=Static filtering is a data-independent optimisation method for Datalog, which generalises algebraic query rewriting techniques from relational databases. In spite of its early discovery by Kifer and Lozinskii in 1986, the method has been overlooked…“)
2 March 2026
- 14:5814:58, 2 March 2026 Algorithmic Game Theory (SS2026) (hist | edit) [3,077 bytes] Hannes Straß (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Algorithmic Game Theory |Research group=Computational Logic |Lecturers=Hannes Straß |Tutors=Sarah Alice Gaggl |Term=SS |Year=2026 |Module=INF-B-510, INF-B-520, INF-PM-FOR |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur, mündliche Prüfung |Description=Game Theory is a multi-disciplinary and pervasive field that is concerned with how strategic decision making can be formally modelled and mathematically analysed. In t…“)
26 February 2026
- 14:0814:08, 26 February 2026 Inproceedings3462 (hist | edit) [1,154 bytes] 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…“)
- 10:5910:59, 26 February 2026 Thema3519 (hist | edit) [4,192 bytes] 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…“)
25 February 2026
- 12:2812:28, 25 February 2026 Inproceedings3461 (hist | edit) [1,724 bytes] 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
- 10:0910:09, 24 February 2026 Article3120 (hist | edit) [2,368 bytes] 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:0410:04, 24 February 2026 Techreport3062 (hist | edit) [1,160 bytes] 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…“)
- 09:5409:54, 24 February 2026 Inproceedings3460 (hist | edit) [644 bytes] 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…“)
- 09:4109:41, 24 February 2026 Inproceedings3459 (hist | edit) [628 bytes] 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…“)
- 09:3209:32, 24 February 2026 Inproceedings3458 (hist | edit) [1,361 bytes] 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…“)
- 09:1909:19, 24 February 2026 Proceedings3029 (hist | edit) [1,222 bytes] 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…“)
19 February 2026
- 16:1016:10, 19 February 2026 Article3119 (hist | edit) [1,500 bytes] Nils Küchenmeister (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Markus Krötzsch }} {{Article |Referiert=1 |Title=Towards Mass Spectrum Analysis with ASP |To appear=0 |Year=2026 |Month=Februar |Journal=Theory and Practice of Logic Programming |Volume=First View |Pages=pp. 1 - 23 }} {{Publikation Details |Abstract=We present a new use of Answer Set Programming (ASP) to discover the molecular structure of…“)
27 January 2026
- 13:1613:16, 27 January 2026 HÜL S386 (hist | edit) [87 bytes] Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/hül/03/raum/145403.0460 }}“)
22 January 2026
- 13:4613:46, 22 January 2026 Inproceedings3457 (hist | edit) [808 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann }} {{Inproceedings |Referiert=1 |Title=Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) |To appear=0 |Year=2025 |Month=September |Booktitle=Proceedings of the 38th International Workshop on Description Logics (DL'25) |Pages=5 |Publisher=CEUR-WS.org |Editor…“)
16 January 2026
- 10:5910:59, 16 January 2026 Misc3092 (hist | edit) [613 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Complexity and Expressive Power of Description Logics with Numerical Constraints |Year=2026 |Month=Januar |Howpublished=Talk }} {{Publikation Details |Download=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Slides=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Projekt=QuantLA, ScaDS.AI |Forschungsgruppe=Computational Logic }} {{Forschungsgeb…“)
13 January 2026
- 11:5311:53, 13 January 2026 News109 (hist | edit) [1,742 bytes] Tim Lyon (talk | contribs) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten |Titel EN=Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic |Beschreibung DE=Tim Lyon, Postdoktorand am ICCL, ist in das Herausgebergremium des Bulletin of the Section of Logic (BSL) aufgenommen worden. Die Zeitschrift ist eine hervorragende Adresse für Forschungsarbeiten im Bereich Logik, und interessierte Wissenschaft…“)
12 January 2026
- 16:1016:10, 12 January 2026 Muhammed Saeed (hist | edit) [240 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Muhammed |Nachname=Saeed |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 |Projekte anzeigen=1 }}“)
- 16:0916:09, 12 January 2026 Ruth Eckardt (hist | edit) [217 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Ruth |Nachname=Eckardt |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Sekretär |Ehemaliger=0 |Publikationen anzeigen=0 |Abschlussarbeiten anzeigen=0 |Projekte anzeigen=0 }}“)
- 16:0616:06, 12 January 2026 Inproceedings3456 (hist | edit) [445 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luca |ErsterAutorNachname=Giordano |FurtherAuthors=Simon Razniewski }} {{Inproceedings |Referiert=1 |Title=Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness |To appear=0 |Year=2026 |Booktitle=EACL Findings }} {{Publikation Details |Link=https://arxiv.org/pdf/2510.06780 |Projekt=CPEC, GPTKB, ScaDS.AI |Forschungsgruppe=Knowledge-aware Artificial Intelligence }}“)
8 January 2026
- 09:5809:58, 8 January 2026 TBA9 (hist | edit) [4,399 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-02-19 11:00:00 |Ende=2026-02-19 12:00:00 |Raum=APB-2026 |Vortragender=Lydia Blümel |Forschungsgruppe=Logische Programmierung und Argumentation |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
- 09:5609:56, 8 January 2026 News from Knowledge-aware AI (hist | edit) [1,562 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=News from Knowledge-aware AI |Titel EN=News from Knowledge-aware AI |Beschreibung DE=In this talk, the speaker will summarize developments from last year, in particular, GPTKB version v1.5 (won the ISWC best demo award), and the EACL 2026 paper "Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness". The talk will also give an outlook on recent research towards statistical estimation of the scale…“)
- 09:5209:52, 8 January 2026 Interactive Exploration of Plan Spaces (hist | edit) [3,071 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Interactive Exploration of Plan Spaces |Titel EN=Interactive Exploration of Plan Spaces |Beschreibung DE=Many planning applications require not only a single solution but benefit substantially from having a set of possible plans from which users can select, for example, when explaining plans. For decades, research in classical AI planning has primarily focused on quickly finding single plans. Only recently researchers have starte…“)
- 09:4909:49, 8 January 2026 TBA8 (hist | edit) [2,407 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-01-15 11:00:00 |Ende=2026-01-15 12:00:00 |Raum=APB-2026 |Vortragender=Sebastian Rudolph |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
6 January 2026
- 16:1716:17, 6 January 2026 Inproceedings3455 (hist | edit) [632 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Meghna |ErsterAutorNachname=Bhadra }} {{Inproceedings |Referiert=1 |Title=Disentangling Belief and Inference: Adaptive Algorithms for Individual Human Reasoning |To appear=0 |Year=2025 |Month=Oktober |Booktitle=28th European Conference on Artificial Intelligence |Pages=1454-1461 |Publisher=IOS Press |Editor=Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omic…“)
- 11:0711:07, 6 January 2026 Techreport3054 (hist | edit) [556 bytes] Tim Lyon (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Omar |ErsterAutorNachname=Taher |FurtherAuthors=Tim Lyon }} {{Techreport |Title=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Year=2025 |Institution=TU Dresden |Note=Report from Master's Project }} {{Publikation Details |Abstract=This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hyperseque…“)
31 December 2025
- 21:5321:53, 31 December 2025 Veröffentlichungen/2026/en (hist | edit) [99 bytes] Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Wiki Seite Veröffentlichungen nach Jahr|langsuffix=/en|year={{#titleparts:{{PAGENAME}}|-1|-2}}}}“)
- 21:5221:52, 31 December 2025 Veröffentlichungen/2026 (hist | edit) [82 bytes] Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Wiki Seite Veröffentlichungen nach Jahr|year={{#titleparts:{{PAGENAME}}||-1}}}}“)
17 December 2025
- 12:1412:14, 17 December 2025 Aktivitaet2139 (hist | edit) [426 bytes] Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Program Chair "KR in the Wild", 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR'26) |Beschreibung EN=Program Chair "KR in the Wild", 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR'26) |Person=Markus Krötzsch |URL=https://kr.org/KR2026/call_kr_in_the_wild.html |Start(Jahr)=2025 |Ende(Jahr)=2026 |Rank=★★ }}“)
10 December 2025
- 17:0417:04, 10 December 2025 Article3118 (hist | edit) [1,859 bytes] Sebastian Rudolph (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Manuel |ErsterAutorNachname=Bodirsky |FurtherAuthors=Simon Knäuer; Sebastian Rudolph }} {{Article |Referiert=1 |Title=Datalog-Expressibility for Monadic and Guarded Second-Order Logic |To appear=1 |Year=2025 |Journal=ACM Transactions on Computational Logic |Publisher=ACM }} {{Publikation Details |Abstract=We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equiva…“)
9 December 2025
- 15:1315:13, 9 December 2025 Inproceedings3454 (hist | edit) [2,071 bytes] Philipp Hanisch (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Philipp |ErsterAutorNachname=Hanisch |FurtherAuthors=Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP |To appear=1 |Year=2025 |Booktitle=29th International Conference on Database Theory }} {{Publikation Details |Forschungsgruppe=Wissensbasierte Systeme }}“)
