Christian Alrabbaa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | Explaining Reasoning Results for OWL Ontologies with Evee. | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krger, Alexej Popovic, Ida S. R. Siahaan |
| 2022 | CADE | Evonne: Interactive Proof Visualization for Description Logics (System Description). | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julin Mndez |
| 2021 | CADE | Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2021 | KI | Counter Model Transformation for Explaining Non-Subsumption in EL. | Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan |
| 2020 | LPAR | Finding Small Proofs for Description Logic Entailments: Theory and Practice. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |