Ali Elhalawati
Aus International Center for Computational Logic
M.Sc. Ali Elhalawati
Ehemaliges Mitglied
- Ehemals Doktorand in Forschungsgruppe Wissensbasierte Systeme
Neueste Publikationen
Komplette Publikationsliste anzeigen
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, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
CPEC
Grundlagen verständlicher Softwaresysteme
