Publications in 2026

Journal Articles

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

Proceedings Articles

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

Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Semantic Web - 23rd International Conference, ESWC 2026, Dubrovnik, Croatia, May 10 - 14, 2026, Proceedings, Lecture Notes in Computer Science, to appear. Springer
Details

Talks and Miscellaneous

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