Alisa Kovtunova
Technische Universität Dresden
H-index: 9
Europe-Germany
Top articles of Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning
2023/9/18
Franz Baader
H-Index: 29
Stefan Borgwardt
H-Index: 15
Patrick Koopmann
H-Index: 10
Alisa Kovtunova
H-Index: 5
Computing ABox Justifications for Query Answers via Datalog Rewriting
2023
Stefan Borgwardt
H-Index: 15
Alisa Kovtunova
H-Index: 5
In the Head of the Beholder: Comparing Different Proof Representations
2022/9/26
Stefan Borgwardt
H-Index: 15
Alisa Kovtunova
H-Index: 5
First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries
Journal of Artificial Intelligence Research
2022/11/30
Explaining ontology-mediated query answers using proofs over universal models
2022/9/26
Expressivity of planning with horn description logic ontologies
Proceedings of the AAAI Conference on Artificial Intelligence
2022/6/28
Stefan Borgwardt
H-Index: 15
Alisa Kovtunova
H-Index: 5
Markus Krötzsch
H-Index: 28
Bernhard Nebel
H-Index: 27
Classical planning with avoid conditions
Proceedings of the AAAI Conference on Artificial Intelligence
2022/6/28
Alisa Kovtunova
H-Index: 5
Stefan Borgwardt
H-Index: 15
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
arXiv preprint arXiv:2206.09758
2022/6/20
Logic-Guided Message Generation from Raw Real-Time Sensor Data
2022/6
Temporal minimal-world query answering over sparse aboxes
Theory and Practice of Logic Programming
2022/3
Stefan Borgwardt
H-Index: 15
Alisa Kovtunova
H-Index: 5
Classical Planning with Avoid Conditions: Technical Appendix
2022
Alisa Kovtunova
H-Index: 5
Stefan Borgwardt
H-Index: 15
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
CADE
2021/7/5
Franz Baader
H-Index: 29
Stefan Borgwardt
H-Index: 15
Patrick Koopmann
H-Index: 10
Alisa Kovtunova
H-Index: 5
Temporal Minimal-World Semantics for Sparse ABoxes
arXiv preprint arXiv:2105.14369
2021/5/29
Stefan Borgwardt
H-Index: 15
Alisa Kovtunova
H-Index: 5
Logic-Guided Neural Utterance Generation from Drone Sensory Data
2021
In the Hand of the Beholder: Comparing Interactive Proof Visualizations.
2021
Stefan Borgwardt
H-Index: 15
Alisa Kovtunova
H-Index: 5
Why do I have to take over control? Evaluating safe handovers with advance notice and explanations in HAD
2021/10/18
First-order rewritability of ontology-mediated queries in linear temporal logic
Artificial Intelligence
2021/10/1
Safe handover in mixed-initiative control for cyber-physical systems
arXiv preprint arXiv:2010.10967
2020/10/21
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
arXiv preprint arXiv:2004.08311
2020/4/17
Franz Baader
H-Index: 29
Stefan Borgwardt
H-Index: 15
Patrick Koopmann
H-Index: 10
Alisa Kovtunova
H-Index: 5