Alisa Kovtunova Ph.D.
Person

Affiliations

Chair of Automata Theory
- Academic Staff
- alisa.kovtunova@tu-dresden.de

Identification Numbers

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

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

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

Research output: Preprint/documentation/report › 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). p. 9944-9952

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models

Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). 16 p. (Lecture Notes in Computer Science, Vol. 13752).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Expressivity of Planning with Horn Description Logic Ontologies

Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI). p. 5503-5511

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)

Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022) .

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (44)

Research Portal of the TU Dresden

Alisa Kovtunova Ph.D.
Person

Affiliations

Identification Numbers

Related content

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

Classical Planning with Avoid Conditions

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models

Expressivity of Planning with Horn Description Logic Ontologies

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)