| 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 | 61 | 2017 |
| First-order rewritability of temporal ontology-mediated queries A Artale, A Kovtunova, R Kontchakov, V Ryzhikov, F Wolter, ... AAAI Press, 2015 | 59 | 2015 |
| 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 | 47 | 2020 |
| 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 | 36 | 2019 |
| 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 | 28 | 2021 |
| 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 | 18 | 2021 |
| On the Complexity of Finding Good Proofs for Description Logic Entailments. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova Description Logics, 2020 | 17 | 2020 |
| Cutting diamonds: A temporal logic with probabilistic distributions A Kovtunova, R Penaloza Nyssen Proceedings of the Sixteenth International Conference on Principles of …, 2018 | 11 | 2018 |
| 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 | 10 | 2019 |
| Temporal OBDA with LTL and dl-lite A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ... CEUR, 2014 | 9 | 2014 |
| In the Eye of the Beholder: Which Proofs are Best? S Borgwardt, A Hirsch, A Kovtunova, F Wiehr Description Logics, 2020 | 8 | 2020 |
| 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 | 6 | 2022 |
| 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 | 6 | 2017 |
| 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 | 5 | 2022 |
| 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 | 4 | 2022 |
| 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 | 4 | 2020 |
| Ontology-mediated query answering with lightweight temporal description logics A Kovtunova Free University of Bozen-Bolzano, 2017 | 4 | 2017 |
| 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 | 3 | 2022 |
| 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 | 3 | 2021 |
| Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report) C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova arXiv preprint arXiv:2104.13138, 2021 | 3 | 2021 |
