Publications of Ali Elhalawati
From International Center for Computational Logic
Publications of Ali Elhalawati
Proceedings Articles
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), to appear. Springer
Details Download