Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Christian Alrabbaa Master of Science
Person

Zugehörigkeiten

Seniorprofessor für Automatentheorie
- Wissenschaftliches Personal
Institut für Theoretische Informatik
- Wissenschaftliches Personal
Professur für Automatentheorie
- Doktorand:in
- christian.alrabbaa@tu-dresden.de

Identifizierungsnummern

ORCID	0000-0002-2925-1765
Scopus Autor ID	57203852335

Veröffentlichungen
Auszeichnungen

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.

Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). Springer, Cham, S. 3-21 19 S. (Lecture Notes in Computer Science, Band 15979).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

Alrabbaa, C., Borgwardt, S., Herrmann, P. & Krötzsch, M., 2025, arXiv.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Explaining Reasoning Results for OWL Ontologies with Evee

Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P. & Kovtunova, A. & 3 weitere, Krüger, A., Popovic, A. & Siahaan, I. S. R., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning -- KR in the Wild. S. 709–719 11 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Alrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P. & Kotlov, M., 14 Aug. 2023.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 7 Aug. 2023.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Alle Veröffentlichungen ansehen (39)

Alle Auszeichnungen ansehen (3)

Forschungsportal der TU Dresden

Christian Alrabbaa Master of Science
Person

Zugehörigkeiten

Identifizierungsnummern

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

Explaining Reasoning Results for OWL Ontologies with Evee

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Harold Boley Distinguished Paper Award

Best Paper Award

Best Research Paper