Skip to content Skip to footer

Research Portal of the TU Dresden

Alisa Kovtunova Ph.D.
Person

Affiliations

Professor (rtd.) for Automata Theory
- Academic Staff

Identification Numbers

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

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. (eds.). Springer, Cham, p. 3-21 19 p. (Lecture Notes in Computer Science, Vol. 15979).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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 p. (CEUR Workshop Proceedings, Vol. 3739).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Explaining Reasoning Results for OWL Ontologies with Evee

Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P. & Kovtunova, A. & 3 others, 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. p. 709–719 11 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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

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

Research output: Preprint/Documentation/Report › 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. (eds.). p. 54-69 16 p. (Lecture Notes in Computer Science, Volume 14244).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (55)

Harold Boley Distinguished Paper Award

Alrabbaa, C. (Recipient), Baader, F. (Recipient), Borgwardt, S. (Recipient), Koopmann, P. (Recipient) & Kovtunova, A. (Recipient), 2023

Prize: Publication/Conference prize

Best Paper Award

Alrabbaa, C. (Recipient), Borgwardt, S. (Recipient), Hirsch, A. (Recipient), Knieriemen, N. (Recipient), Kovtunova, A. (Recipient), Rothermel, A. M. (Recipient) & Wiehr, F. (Recipient), 2022

Prize: Publication/Conference prize

View all prizes (2)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content