Publikationen von Philipp Hanisch
Aus International Center for Computational Logic
Publikationen von Philipp Hanisch
Artikel in Fachzeitschriften
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Artikel in Tagungsbänden
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 281–292, November 2025. IJCAI Organization
Details Download
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
In Luc De Raedt, eds., Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2634--2640, 2022. ijcai.org
Details Download
Technische Berichte
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
Technical Report, arXiv.org, August 2025. Long version of article to appear in Proceedings of KR 2025
Details Download
Vorträge und Sonstiges
Philipp Hanisch
Indexing for Datalog Materialisation with Leapfrog Triejoin
Diploma Thesis, October 2021
Details Download