Veröffentlichungen in 2026

Artikel in Fachzeitschriften

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, 27(2):1-42, 2026
Details Download

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
Theory and Practice of Logic Programming, 1-23, February 2026
Details Download

Artikel in Tagungsbänden

Luca Giordano, Simon Razniewski
Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness
EACL Findings, 2026
Details

Piotr Gorczyca, Hannes Straß
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), January 2026
Details Download

Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
In Balder ten Cate, Maurice Funk, eds., Proceedings of the 29th International Conference on Database Theory, volume 365 of LIPIcs, to appear. Dagstuhl Publishing
Details Download

Vorträge und Sonstiges

Filippo De Bortoli
Complexity and Expressive Power of Description Logics with Numerical Constraints
Talk, January 2026
Details