Ali Elhalawati

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

M.Sc. Ali Elhalawati

Ehemaliges Mitglied

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., Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Komplette Publikationsliste anzeigen
CPEC-logo.png

CPEC
Grundlagen verständlicher Softwaresysteme