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 | 73 | 2017 |
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 | 64 | 2020 |
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 | 62 | 2015 |
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 | 52 | 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 | 40 | 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 | 22 | 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 | 19 | 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 | 14 | 2022 |
Cutting diamonds: A temporal logic with probabilistic distributions A Kovtunova, R Penaloza Nyssen Proceedings of the Sixteenth International Conference on Principles of …, 2018 | 12 | 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 | 10 | 2014 |
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 | 9 | 2022 |
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 | 9 | 2022 |
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 | 9 | 2022 |
In the Eye of the Beholder: Which Proofs are Best? S Borgwardt, A Hirsch, A Kovtunova, F Wiehr Description Logics, 2020 | 8 | 2020 |
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 | 7 | 2021 |
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 | 7 | 2020 |
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 | 7 | 2017 |
Making DL-Lite planning practical S Borgwardt, J Hoffmann, A Kovtunova, M Steinmetz Proceedings of the International Conference on Principles of Knowledge …, 2021 | 6 | 2021 |
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. C Alrabbaa, S Borgwardt, P Koopmann, A Kovtunova Description Logics, 2022 | 5 | 2022 |