Follow
Alisa Kovtunova
Title
Cited by
Cited by
Year
Ontology-mediated query answering over temporal data: A survey
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 90, 1-37, 2017
662017
First-order rewritability of temporal ontology-mediated queries
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Proceedings of the Twenty-Fourth International Joint Conference on …, 2015
612015
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
arXiv preprint arXiv:2004.08311, 2020
552020
Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints
A Artale, A Kovtunova, M Montali, WMP van der Aalst
Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019
442019
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
CADE 28, 291-308, 2021
342021
First-order rewritability of ontology-mediated queries in linear temporal logic
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Artificial Intelligence 299, 103536, 2021
212021
On the Complexity of Finding Good Proofs for Description Logic Entailments.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
Description Logics, 2020
182020
Cutting diamonds: A temporal logic with probabilistic distributions
A Kovtunova, R Penaloza Nyssen
Proceedings of the Sixteenth International Conference on Principles of …, 2018
122018
Expressivity of planning with horn description logic ontologies
S Borgwardt, J Hoffmann, A Kovtunova, M Krötzsch, B Nebel, M Steinmetz
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5503-5511, 2022
102022
Finding new diamonds: Temporal minimal-world query answering over sparse aboxes
S Borgwardt, W Forkel, A Kovtunova
Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019
102019
Temporal OBDA with LTL and dl-lite
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
CEUR, 2014
92014
In the Eye of the Beholder: Which Proofs are Best?
S Borgwardt, A Hirsch, A Kovtunova, F Wiehr
Description Logics, 2020
82020
Temporal ontology-mediated querying: A survey
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Proc. of the 24th Int. Symp. on Temporal Representation and Reasoning …, 2017
72017
First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Journal of Artificial Intelligence Research 75, 1223-1291, 2022
62022
In the head of the beholder: Comparing different proof representations
C Alrabbaa, S Borgwardt, A Hirsch, N Knieriemen, A Kovtunova, ...
International Joint Conference on Rules and Reasoning, 211-226, 2022
52022
Temporal minimal-world query answering over sparse aboxes
S Borgwardt, W Forkel, A Kovtunova
Theory and Practice of Logic Programming 22 (2), 193-228, 2022
52022
Safe handover in mixed-initiative control for cyber-physical systems
F Wiehr, A Hirsch, F Daiber, A Kruger, A Kovtunova, S Borgwardt, ...
arXiv preprint arXiv:2010.10967, 2020
52020
Explaining ontology-mediated query answers using proofs over universal models
C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova
International Joint Conference on Rules and Reasoning, 167-182, 2022
42022
Why do I have to take over control? Evaluating safe handovers with advance notice and explanations in HAD
F Wiehr, A Hirsch, L Schmitz, N Knieriemen, A Krüger, A Kovtunova, ...
Proceedings of the 2021 International Conference on Multimodal Interaction …, 2021
42021
Making DL-Lite planning practical
S Borgwardt, J Hoffmann, A Kovtunova, M Steinmetz
Proceedings of the International Conference on Principles of Knowledge …, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–20