Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Alisa Kovtunova Ph.D.
Person

Zugehörigkeiten

Professur für Automatentheorie
- Wissenschaftliches Personal
- alisa.kovtunova@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Auszeichnungen

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

Computing ABox Justifications for Query Answers via Datalog Rewriting

Kovtunova, A., Borgwardt, S. & Breuer, S., 2023, Proceedings of the 36th International Workshop on Description Logics: DL 2023, September 2-4, 2023. Rhodes, Greece

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

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)

Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 30 Aug. 2022, arXiv.

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

Classical Planning with Avoid Conditions

Steinmetz, M., Hoffmann, J., Kovtunova, A. & Borgwardt, S., 2022, Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI). S. 9944-9952 9 S.

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

Alle Veröffentlichungen ansehen (48)

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)