Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Alisa Kovtunova Ph.D.
Person

Zugehörigkeiten

Seniorprofessor für Automatentheorie
- Wissenschaftliches Personal

Identifizierungsnummern

ORCID	0000-0001-9936-0943
Scopus Autor ID	57003556800

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

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language

Borgwardt, S., Demberg, V., Jobanputra, M., Kovtunova, A. & Nhu, D., 2024, Proceedings of the 37th International Workshop on Description Logics (DL’24). CEUR-WS.org, 12 S. (CEUR Workshop Proceedings, Band 3739).

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

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

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)

Combining Proofs for Description Logic and Concrete Domain Reasoning

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings. Fensel, A., Ozaki, A., Roman, D. & Soylu, A. (Hrsg.). S. 54-69 16 S. (Lecture Notes in Computer Science, Volume 14244).

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

Alle Veröffentlichungen ansehen (55)

Harold Boley Distinguished Paper Award

Alrabbaa, C. (Empfänger:in), Baader, F. (Empfänger:in), Borgwardt, S. (Empfänger:in), Koopmann, P. (Empfänger:in) & Kovtunova, A. (Empfänger:in), 2023

Auszeichnung: Preis › Publikations-/Konferenzpreis

Best Paper Award

Alrabbaa, C. (Empfänger:in), Borgwardt, S. (Empfänger:in), Hirsch, A. (Empfänger:in), Knieriemen, N. (Empfänger:in), Kovtunova, A. (Empfänger:in), Rothermel, A. M. (Empfänger:in) & Wiehr, F. (Empfänger:in), 2022

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (2)