An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog

Ali Elhalawati, Markus Krötzsch, Stephan Mennicke. An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. In Guido Governatori, Anni-Yasmin Turhan, editors, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Volume 13752 of Lecture Notes in Computer Science, pages 146-163, Springer, 2022. [doi]

Authors

Ali Elhalawati

This author has not been identified. Look up 'Ali Elhalawati' in Google

Markus Krötzsch

This author has not been identified. Look up 'Markus Krötzsch' in Google

Stephan Mennicke

This author has not been identified. Look up 'Stephan Mennicke' in Google