About the Multi-Head Linear Restricted Chase Termination

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Lukas Gerlach - , Center for Advancing Electronics Dresden (cfaed), Chair of Knowledge-based Systems (cfaed) (Author)
Lucas Larroque - , French National Centre for Scientific Research (CNRS) (Author)
Jerzy Marcinkowski - , University of Wrocław (Author)
Piotr Ostropolski-Nalewaja - , University of Wrocław (Author)

Original language	English
Title of host publication	Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)
Editors	Magdalena Ortiz, Renata Wassermann, Torsten Schaub
Publisher	IJCAI Organization
Pages	346–355
ISBN (electronic)	978-1-956792-08-9
Publication status	Published - 1 Oct 2025
Peer-reviewed	Yes

Series	Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning
ISSN	2334-1025