Publications in 2026
From International Center for Computational Logic
Publications in 2026
Proceedings Articles
Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Proceedings of the 29th International Conference on Database Theory, LIPIcs, to appear
Details