Follow
Alisa Kovtunova
Title
Cited by
Cited by
Year
First-order rewritability of temporal ontology-mediated queries
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
552015
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
462017
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
282020
Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints
A Artale, A Kovtunova, M Montali, WMP van der Aalst
International Conference on Business Process Management, 139-156, 2019
252019
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
CADE, 291-308, 2021
152021
Cutting diamonds: A temporal logic with probabilistic distributions
A Kovtunova, R Peñaloza
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
112018
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
92021
On the Complexity of Finding Good Proofs for Description Logic Entailments.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
Description Logics, 2020
82020
Temporal OBDA with LTL and dl-lite
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
CEUR, 2014
82014
Finding new diamonds: Temporal minimal-world query answering over sparse aboxes
S Borgwardt, W Forkel, A Kovtunova
International Joint Conference on Rules and Reasoning, 3-18, 2019
52019
Temporal ontology-mediated querying: A survey
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
24th International Symposium on Temporal Representation and Reasoning …, 2017
52017
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
42020
In the Eye of the Beholder: Which Proofs are Best?
S Borgwardt, A Hirsch, A Kovtunova, F Wiehr
Description Logics, 2020
42020
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
32021
Cutting diamonds: Temporal DLs with probabilistic distributions over data
A Kovtunova, R Peñaloza
arXiv preprint arXiv:1810.01516, 2018
32018
Ontology-mediated query answering with lightweight temporal description logics
A Kovtunova
Free University of Bozen-Bolzano, 2017
32017
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
22022
Expressivity of planning with horn description logic ontologies
S Borgwardt, J Hoffmann, A Kovtunova, M Krötzsch, B Nebel, M Steinmetz
Proc. of AAAI, 2022
22022
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
22021
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
arXiv preprint arXiv:2111.06806, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20