Chase Termination Beyond Polynomial Time
Aus International Center for Computational Logic
Chase Termination Beyond Polynomial Time
Philipp HanischPhilipp Hanisch, Markus KrötzschMarkus Krötzsch
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24), to appear. ACM
Chase Termination Beyond Polynomial Time
Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24), to appear. ACM
- Projekt:Project: Cfaed, CPEC, SECAI, ScaDS.AI
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{HK2024,
author = {Philipp Hanisch and Markus Kr{\"{o}}tzsch},
title = {Chase Termination Beyond Polynomial Time},
booktitle = {Proceedings of the 43rd Symposium on Principles of Database
Systems (PODS’24)},
publisher = {ACM},
year = {2024}
}